갈루아 군

체 확장의 갈루아 군은 기저 체를 고정하는 체 자기동형사상(automorphism)들의 군으로, 다항식의 근의 대칭성을 부호화하고 중간 체(intermediate field)에 색인을 부여합니다.

Definition

체 확장에서 갈루아 군은 기저 체의 모든 원소를 고정하는 더 큰 체의 자기동형사상들의 군입니다. 이 군의 크기가 차수(degree)와 같을 때 확장을 갈루아 확장(Galois extension)이라고 하며, 이는 유한 정규 분리 확장(finite normal and separable extension)에서 정확히 발생합니다.

Scope

이 주제는 체 확장의 자기동형사상, 갈루아 군의 정의, 정규 확장(normal extension) 및 분리 확장(separable extension), 갈루아 이론의 기본 정리, 그리고 다항식의 갈루아 군 계산과 이를 근의 순열군(permutation group)으로 해석하는 방법을 다룹니다.

Core questions

• 체 확장은 어떤 대칭성을 가지고 있습니까?
• 확장이 언제 갈루아 확장이며, 그 자기동형사상 군의 크기는 얼마입니까?
• 갈루아 군은 중간 체와 어떻게 대응됩니까?
• 다항식의 갈루아 군은 그 근의 순열군으로 어떻게 구현됩니까?

Key theories

갈루아 이론의 기본 정리

유한 갈루아 확장의 경우, 중간 체와 갈루아 군의 부분군(subgroup) 사이에는 포함 관계를 뒤집는 전단사 함수(bijection)가 존재하며, 이 함수에 따라 부분 확장(subextension)의 차수는 해당 부분군의 지수(index)와 같습니다.

근의 순열로서의 갈루아 군

분리 다항식(separable polynomial)의 갈루아 군은 그 근에 충실하게 작용하며, 이를 근에 대한 대칭군(symmetric group)의 부분군으로 포함시켜 군을 제약하고 계산하는 데 도움을 줍니다.

아르틴의 고정 체 정리

유한 자기동형사상 군이 체에 작용할 때, 전체 체는 해당 군을 갈루아 군으로 갖는 고정 부분체(fixed subfield)의 갈루아 확장입니다. 이는 갈루아 군 구성의 역을 제공합니다.

Clinical relevance

갈루아 군은 체 확장과 다항식 방정식에 대한 질문을 군론(group theory)으로 전환합니다. 그 가해성(solvability)은 근호에 의한 가해성(solvability by radicals)을 결정하며, 역 갈루아 문제(inverse Galois problem)와 갈루아 표현(Galois representation)은 이를 현대 정수론과 산술 기하학의 핵심으로 만듭니다.

History

갈루아는 1830년대에 각 방정식에 그 근의 순열군을 연관시켰는데, 이것이 원래의 갈루아 군입니다. 데데킨트(Dedekind)와 아르틴(Artin)은 이를 체의 자기동형사상 관점에서 재구성했으며, 아르틴이 고정 체(fixed field) 관점에서 제시한 공식화는 이 이론에 현대적이고 개념적인 형태를 부여했습니다.

Key figures

• Évariste Galois
• Emil Artin
• Richard Dedekind
• Leopold Kronecker

Seminal works

• dummit2004
• lang2002
• artin2011

Frequently asked questions

체 확장은 언제 갈루아 확장입니까?

유한 확장은 정규(각 원소의 모든 켤레(conjugate)를 포함함)이면서 분리(최소 다항식(minimal polynomial)이 서로 다른 근을 가짐)일 때 갈루아 확장입니다. 동등하게, 기저 체를 고정하는 자기동형사상 군의 위수(order)가 차수와 같을 때 갈루아 확장입니다.

갈루아 군을 근을 순열하는 것으로 보는 이유는 무엇입니까?

기저 체를 고정하는 자기동형사상은 다항식의 근을 다른 근으로 보내야 하므로, 이 군은 유한한 근 집합에 작용합니다. 이는 갈루아 군을 대칭군 내에 구현하여 계산 가능하게 만들고 순열군 이론과 연결시킵니다.