유한 아벨 확대편집자 확인

유한 확대는 체의 확대체 중에서 그 차원이 유한한 경우를 가리킨다. 체 K의 확대체 L이 K 위의 벡터 공간으로 볼 때, 그 차원이 유한한 경우 L을 K의 유한 확대라고 한다. 이때의 차원을 확대의 차수라고 하며, [L:K]로 표기한다. 예를 들어, 복소수체는 실수체의 2차 유한 확대이며, 유한체 GF(p^n)는 그 소부분체 GF(p)의 n차 유한 확대이다.

유한 확대는 대수적 확대의 특별한 경우이다. 모든 유한 확대는 대수적 확대이지만, 그 역은 일반적으로 성립하지 않는다. 예를 들어, 모든 대수적 수의 체는 유리수체의 대수적 확대이지만, 그 차원은 무한하므로 유한 확대가 아니다. 유한 확대의 가장 기본적인 예시는 이차체나 원분체와 같은 대수적 수체이다.

아벨 확대는 그 갈루아 군이 아벨 군인 갈루아 확대를 가리킨다. 갈루아 군이 교환 법칙을 만족하는, 즉 모든 자기 동형 사상이 서로 교환 가능한 갈루아 확대이다. 이는 갈루아 군의 구조가 비교적 단순하여 그 성질을 분석하기 용이하게 만드는 중요한 확대 유형이다.

아벨 확대의 개념은 갈루아 이론의 핵심적인 연구 대상이다. 갈루아 이론은 체의 확대와 그 자기 동형 군 사이의 대응 관계를 연구하는 분야로, 아벨 확대는 이 대응 관계에서 군 구조가 가장 잘 알려진 경우에 해당한다. 특히, 유한 확대가 아벨 확대일 때, 그 중간체들의 갈루아 대응이 매우 명확하게 기술될 수 있다.

크로네커-베버 정리는 유리수체 위의 모든 유한 아벨 확대가 적당한 원분체에 포함된다는 정리로, 아벨 확대 연구의 출발점이 되는 중요한 결과이다. 이 정리는 대수적 정수론과 류 이론에서 아벨 확대를 체계적으로 이해하는 데 기초를 제공한다.

유한 아벨 확대는 갈루아 이론의 핵심적인 연구 대상 중 하나이다. 갈루아 이론은 체의 확대와 그 자기동형사상 군인 갈루아 군 사이의 대응 관계를 다루는 이론으로, 유한 아벨 확대는 갈루아 군이 아벨 군이며 유한군인 특별한 경우에 해당한다.

이러한 확대에서 갈루아 군과 확대체의 중간체들은 완벽한 갈루아 대응을 이룬다. 즉, 갈루아 군의 모든 부분군은 확대체의 중간체와 일대일로 대응하며, 이 대응은 부분군의 포함 관계와 중간체의 포함 관계를 뒤집는다. 갈루아 군이 아벨 군이라는 조건은 모든 부분군이 정규부분군이 됨을 보장하므로, 대응되는 모든 중간체 또한 갈루아 확대가 된다는 중요한 결론을 낳는다.

갈루아 이론의 관점에서, 유한 아벨 확대의 구조는 그 갈루아 군의 구조에 의해 완전히 결정된다고 말할 수 있다. 갈루아 군이 순환군인 경우를 순환 확대라고 하며, 이는 가장 기본적인 유한 아벨 확대의 예시이다. 보다 일반적인 유한 아벨 군은 순환군들의 직합으로 표현될 수 있으므로, 유한 아벨 확대는 여러 순환 확대들을 합성하여 얻을 수 있다.

따라서 유한 아벨 확대를 연구하는 것은 근본적으로 그 갈루아 군인 유한 아벨 군을 연구하는 것과 같으며, 이는 대수적 정수론에서 이데알 군이나 국소체의 승수군 같은 대수적 구조를 통해 확대를 기술하는 이론으로 이어진다.

유한 아벨 확대의 갈루아 군은 그 이름에서 알 수 있듯이 아벨 군의 구조를 가진다. 이는 갈루아 군이 가환군이므로, 군의 모든 원소가 서로 교환 가능함을 의미한다. 이러한 아벨성은 갈루아 이론의 핵심 정리들을 적용할 때 매우 강력한 도구가 되며, 확대체의 구조를 분석하는 것을 상당히 단순화시켜 준다.

갈루아 군이 유한 아벨 군이라는 사실은, 중간체들과의 대응 관계를 명확하게 해준다. 갈루아 대응에 따르면, 주어진 확대의 모든 중간체는 갈루아 군의 모든 부분군에 일대일 대응된다. 갈루아 군이 아벨 군이면, 그 모든 부분군은 정규 부분군이 된다. 결과적으로, 모든 중간체는 갈루아 확대가 되며, 이는 확대 체계 전체가 매우 규칙적인 층위를 이룬다는 것을 보여준다.

더 나아가, 유한 아벨 군은 순환군들의 직합으로 분해될 수 있다. 따라서 유한 아벨 확대의 갈루아 군은 여러 개의 순환 확대들이 겹쳐져 구성된 것으로 이해할 수 있다. 이는 복잡해 보이는 확대를, 갈루아 군이 소수 거듭제곱 위수의 순환군인 더 기본적인 확대들로 분해하여 연구할 수 있는 길을 열어준다.

이러한 갈루아 군의 성질은 원분체와 그 부분체를 비롯한 구체적인 예시들에서 잘 드러난다. 예를 들어, 유리수 체에 1의 거듭제곱근을 첨가하여 얻는 원분체의 갈루아 군은 가역원 군과 동형인 아벨 군이다. 이 군의 구조를 이해함으로써 원분체의 중간체들을 완전히 분류할 수 있으며, 이는 크로네커-베버 정리와 같은 더 깊은 결과로 이어진다.

유한 아벨 확대의 중간체 구조는 그 갈루아 군의 구조와 직접적으로 대응한다. 갈루아 군이 아벨 군이므로, 중간체와 갈루아 군의 부분군 사이에는 갈루아 대응에 의한 일대일 대응이 성립한다. 이때 각 중간체에 대응하는 부분군은 그 중간체를 고정시키는 자기 동형 사상들로 이루어진다.

이 대응은 구체적으로 다음과 같은 성질을 가진다. 주어진 유한 아벨 확대 L/K에 대해, 만약 E가 L과 K 사이의 중간체라면, 확대 L/E와 E/K 역시 유한 아벨 확대가 된다. 특히, 확대 L/E의 갈루아 군 Gal(L/E)는 원래 갈루아 군 Gal(L/K)의 부분군이며, 확대 E/K의 갈루아 군 Gal(E/K)는 몫군 Gal(L/K)/Gal(L/E)와 동형이다. 이는 갈루아 군의 아벨성 덕분에 부분군이 정규 부분군이 되는 것이 보장되기 때문에 가능하다.

중간체의 구조를 이해하는 데 있어 중요한 도구는 부분체의 격자와 부분군의 격자 사이의 순서를 반대로 하는 대합이다. 이 격자 구조는 갈루아 군이 순환군의 직합으로 표현될 때 특히 명확해진다. 예를 들어, 갈루아 군이 두 순환군의 직합이라면, 중간체는 두 부분군에 대응하는 두 개의 중간체와, 그들의 합체 및 교체로 구성된다.

이러한 중간체의 체계적인 분류는 유한체의 확대나 원분체의 부분 확대와 같은 구체적인 예시에서 그 위력을 발휘한다. 예를 들어, 유리수체 위의 원분체는 갈루아 군이 가역원군과 동형인 아벨 확대이며, 이 군의 부분군에 대응하는 중간체들은 원분체의 부분 확대로 알려져 있다.

분해체와 분기는 대수적 정수론에서 유한 아벨 확대를 연구할 때 핵심적으로 다루는 개념이다. 분해체는 주어진 소 아이디얼이 확대 체에서 어떻게 분해되는지를 결정하는 갈루아 군의 부분군과 연결된다. 구체적으로, 갈루아 군의 특정 부분군에 고정된 중간체가 바로 그 소 아이디얼의 분해체가 된다. 이는 확대의 아벨 군 구조 덕분에 부분군과 중간체 사이의 대응이 명확하게 이루어지기 때문에 가능하다.

한편, 분기는 소 아이디얼이 확대 체에서 완전히 제곱 인자로 분해되는 현상을 말한다. 분기 역시 갈루아 군의 또 다른 부분군, 즉 관성군에 의해 통제된다. 유한 아벨 확대에서는 갈루아 군이 아벨 군이므로, 분해군과 관성군이 모두 정규 부분군이 되며, 이에 대응하는 중간체들을 통해 분해와 분기의 정도를 체계적으로 분석할 수 있다. 이러한 분석은 헨젤 보조정리와 완비화를 통해 국소체의 이론으로 자연스럽게 확장된다.

분해와 분기의 이론은 유한체의 확대나 원분체와 같은 구체적인 예시에서 잘 드러난다. 예를 들어, 원분체의 경우 주어진 유리수 위의 소수가 어떻게 분해되는지는 그 소수가 법에 대한 승법군에서 차지하는 위치에 의해 완전히 결정된다. 이는 유한 아벨 확대의 갈루아 군이 지수를 통해 명시적으로 기술될 수 있기 때문이며, 크로네커-베버 정리와 같은 깊은 결과로 이어진다.

유한체의 확대는 유한 아벨 확대의 가장 기본적이고 중요한 예시 중 하나이다. 모든 유한체는 소수 p에 대한 소체의 유한 확대이며, 그 갈루아 군은 항상 순환군이다. 순환군은 아벨 군의 특별한 경우이므로, 모든 유한체의 확대는 자명하게 유한 아벨 확대가 된다.

구체적으로, 소체 위의 n차 확대체는 유한체이며, 이 확대의 갈루아 군은 프로베니우스 자기동형사상에 의해 생성되는 n차 순환군과 동형이다. 이 군의 구조가 간단하기 때문에, 이러한 확대에서의 분해체와 분기 현상은 매우 명확하게 설명될 수 있다. 특히 유한체 확대에서는 분기 지수가 항상 1이며, 잉여류체 확대는 항상 갈루아 확대가 된다.

이러한 성질은 대수적 정수론에서 국소체 이론을 공부할 때 중요한 모델이 된다. 예를 들어, p진수체 위의 비분기 확대를 다룰 때, 그 잉여류체의 확대는 유한체의 확대가 되며, 이는 전체 확대의 성질을 이해하는 열쇠가 된다. 또한 원분체와 같은 더 복잡한 아벨 확대를 분석하는 기초를 제공한다.

원분체는 유리수체 위의 원분 다항식의 분해체로 정의되며, 1의 거듭제곱근을 첨가하여 얻어지는 대수적 수체이다. 정수 n에 대해, n차 원분체는 1의 n제곱근 중 하나인 원시근 ζ_n을 첨가한 체 Q(ζ_n)을 의미한다. 이 체의 갈루아 군은 가역원들의 군 (Z/nZ)^×와 동형이며, 이는 가환군이므로 원분체의 확대는 항상 아벨 확대가 된다. 따라서 원분체는 유한 아벨 확대의 가장 기본적이고 중요한 예시 중 하나이다.

원분체의 갈루아 군 구조는 구체적으로 기술될 수 있다. 갈루아 군 Gal(Q(ζ_n)/Q)의 각 자기동형사상 σ_a는 원시근 ζ_n을 ζ_n^a로 보내는 사상에 대응되며, 여기서 a는 n과 서로소인 정수이다. 이 대응은 군의 동형 (Z/nZ)^× ≅ Gal(Q(ζ_n)/Q)을 제공한다. 이 명시적인 기술 덕분에 원분체의 모든 중간체는 (Z/nZ)^×의 부분군에 일대일 대응하며, 이는 갈루아 대응의 완벽한 예를 보여준다.

원분체는 대수적 정수론에서 핵심적인 역할을 한다. 그 대수적 정수환은 잘 알려져 있으며, 이데알 유군과 분기 이론을 연구하는 데 있어 표준적인 모델이 된다. 특히, 분기가 오직 n을 나누는 소수에서만 일어난다는 사실은 원분 확대의 아름다운 성질 중 하나이다. 또한, 임의의 유한 아벨 확대는 적당한 원분체에 포함된다는 크로네커-베버 정리는 유리수체 위의 모든 유한 아벨 확대가 원분체의 부분체임을 보장하여, 원분체의 중요성을 더욱 부각시킨다.

원분체의 부분 확대는 유한 아벨 확대의 중요한 예시를 제공한다. 원분체는 유리수체에 1의 거듭제곱근을 첨가하여 얻는 체의 확대이며, 그 갈루아 군은 가역원의 군과 동형인 아벨 군이다. 따라서 원분체 자체는 아벨 확대이다. 원분체의 임의의 부분체는 갈루아 이론의 기본 정리에 의해 원래 갈루아 군의 어떤 부분군에 대응하며, 이 부분체 역시 갈루아 확대이고 그 갈루아 군은 몫군의 구조를 가진다. 몫군 역시 아벨 군이므로, 이 부분체는 유한 아벨 확대가 된다.

이러한 구조 덕분에 원분체의 부분 확대는 구체적으로 완전히 분류될 수 있다. 예를 들어, 크로네커-베버 정리는 유리수체 위의 모든 유한 아벨 확대가 적당한 원분체의 부분체로 실현됨을 보여준다. 즉, 어떤 유한 아벨 확대 K/Q가 주어지면, 항상 충분히 큰 정수 n에 대해 K는 n차 원분체 Q(ζ_n)에 포함된다. 이는 유리수체 위의 아벨 확대 이론을 원분체의 부분 확대라는 구체적인 틀 안에서 연구할 수 있게 하는 강력한 도구이다.

더 나아가, 대수적 정수론에서 중요한 유체 이론은 원분체의 부분 확대를 일반화한 개념으로, 국소체나 대역체 위에서 유한 아벨 확대를 분류하는 이론과 깊이 연관되어 있다. 원분체의 경우, 그 부분 확대는 가역원 군의 부분군에 의해 일대일 대응되며, 이는 아르틴 상호 법칙의 가장 간단하고 명시적인 형태를 보여주는 예시가 된다.

대수적 정수론에서 유한 아벨 확대는 대수적 수체의 확대 중 가장 기본적이고 중요한 구조를 제공한다. 특히 유체론의 핵심 연구 대상으로, 아이디얼 유군이나 이데알 유군과 같은 유군을 통해 아벨 군 구조를 가진 확대체를 완전히 분류할 수 있다. 이는 크로네커-베버 정리의 일반화로 볼 수 있는 유체론의 주요 정리들에 의해 뒷받침된다.

구체적으로, 대수적 수체 K가 주어졌을 때, K의 모든 유한 아벨 확대 L은 K의 어떤 모듈러스 f에 대한 합동 부분군에 대응된다. 이 대응은 아르틴 상호 법칙을 통해 이루어지며, 갈루아 군 갈루아 군 Gal(L/K)이 이데알 유군의 특정 부분군에 대한 몫군과 표준적으로 동형이 된다. 이러한 체계는 국소체나 아델 환을 이용한 현대적인 유체론으로 더욱 추상화되어 발전했다.

이 이론의 강력한 응용은 허베르트 유체론에서 찾아볼 수 있다. 여기서는 소이데알의 분해 양상을 갈루아 군의 원소에 완벽하게 대응시킬 수 있다. 또한, 복소곱셈 이론이나 랑글랜즈 프로그램의 특수한 경우를 연구하는 데도 유한 아벨 확대가 필수적인 토대가 된다.

유한 아벨 확대는 갈루아 코호몰로지 이론의 중요한 적용 대상이다. 갈루아 군이 유한군이자 아벨 군이라는 특수한 구조 덕분에, 그 군 코호몰로지를 계산하고 분석하는 것이 상대적으로 용이해진다. 특히, 국소체나 대역체 위의 유한 아벨 확대를 연구할 때, 코호몰로지 군의 구조는 확대체의 분기나 분해 성질과 밀접하게 연결된다.

대수적 정수론에서 국소체의 아벨 확대를 분류하는 국소 유체론은 코호몰로지적 관점에서 깊이 있게 이해될 수 있다. 여기서 핵심 역할을 하는 아르틴 상호 법칙은 갈루아 군의 코호몰로지와 체의 승군 코호몰로지 사이의 동형사상을 제시한다. 이 동형사상을 통해, 체의 유한 아벨 확대는 그 이데알 군의 특정 열린 부분군에 의해 완전히 분류된다.

더 나아가, 대역체의 경우 유체론은 이데알류군의 코호몰로지를 이용하여 모든 유한 아벨 확대를 기술한다. 이러한 코호몰로지적 접근법은 타원곡선이나 아벨 다양체와 같은 대수기하학적 객체의 유리점으로 생성되는 체의 확대, 즉 가환군의 코호몰로지를 연구하는 쿰머 이론으로 자연스럽게 일반화된다.

크로네커-베버 정리는 대수적 정수론의 근본적인 결과 중 하나로, 유리수체 위의 모든 유한 아벨 확대는 적당한 원분체에 포함된다는 내용을 담고 있다. 이는 레오폴트 크로네커와 하인리히 마르틴 베버의 이름을 딴 정리로, 유리수의 아벨 확대가 모두 원분체의 부분체라는 사실을 보여준다. 이 정리는 유리수의 아벨 확대를 완전히 분류하는 강력한 도구를 제공하며, 대수적 수체의 아벨 확대를 이해하는 데 중요한 초석이 된다.

이 정리의 현대적 진술은 갈루아 이론의 언어를 사용한다. 유리수체 Q의 갈루아 군이 아벨 군인 유한 갈루아 확대 K/Q를 생각할 때, K는 어떤 원분체 Q(ζ_n)의 부분체가 된다. 여기서 ζ_n은 1의 n제곱근이다. 이는 유리수의 모든 아벨 확대가 원분체에서 유래한다는 것을 의미하며, 따라서 원분체의 갈루아 군인 가역 잉여류군 (Z/nZ)^×의 구조를 통해 모든 아벨 확대를 기술할 수 있게 해준다.

크로네커-베버 정리는 유리수에 국한된 현상이지만, 이 아이디어는 유리수가 아닌 다른 대수적 수체로의 일반화를 촉구했으며, 이는 결국 유류체 이론이라는 거대한 이론으로 발전하는 계기가 되었다. 다비트 힐베르트가 제시한 힐베르트의 열두 번째 문제는 크로네커-베버 정리를 임의의 수체로 일반화하는 문제를 다루며, 이는 복소 곱셈 이론과 깊은 연관이 있다.

유한 아벨 확대의 분류는 갈루아 이론의 핵심적인 성과 중 하나로, 갈루아 군이 아벨 군인 유한 확대들이 체의 구조와 아르틴 상호 법칙 같은 도구를 통해 체계적으로 이해될 수 있음을 보여준다. 이 분류는 크게 두 가지 주요한 맥락에서 이루어지는데, 하나는 국소체나 대역체와 같은 특정 기초체 위에서의 분류이고, 다른 하나는 원분체와 같은 구체적인 확대를 통해 모든 유한 아벨 확대를 생성하는 방법을 제시하는 것이다.

대역체의 경우, 유리수체 위의 유한 아벨 확대를 완전히 설명하는 것이 주요 목표이다. 이와 관련된 가장 유명한 결과가 크로네커-베버 정리이다. 이 정리는 유리수체의 모든 유한 아벨 확대가 적당한 원분체에 포함된다는, 즉 원분체의 부분체라는 강력한 진술을 한다. 이는 원분체가 유리수체 위의 모든 유한 아벨 확대를 생성하는 '모든 확대의 근원' 역할을 함을 의미하며, 복잡해 보이는 확대 구조를 비교적 잘 알려진 원분체의 갈루아 군과 부분군의 대응을 통해 투명하게 분석할 수 있는 길을 열어준다.

보다 일반적인 대수적 수체 위에서의 유한 아벨 확대 분류는 이데알 군과 아르틴 상호 법칙을 중심으로 한 유체론의 주제이다. 여기서는 주어진 수체의 이데알 유군의 특정 부분군들과 그 수체의 모든 유한 아벨 확대 사이에 완벽한 일대일 대응이 성립한다. 이 대응을 통해, 확대의 갈루아 군은 해당 이데알 유군을 부분군으로 나눈 몫군과 표준적으로 동형이 된다. 따라서 수체 위의 유한 아벨 확대를 분류하는 문제는 본질적으로 그 수체의 이데알 유군의 구조와 그 부분군들을 분류하는 문제로 귀결된다.

한편, 국소체 예를 들어 p진수체 위에서의 유한 아벨 확대 분류는 국소 유체론에 의해 다루어진다. 이 경우에도 대역체에서와 유사하게, 기초 국소체의 승법 군 내의 노름 군의 부분군들과 그 체의 모든 유한 아벨 확대 사이에 완전한 대응 관계가 성립한다. 이 모든 분류 이론들은 가환 대수와 군론의 깊은 연결을 보여주며, 대수적 정수론의 근간을 이룬다.