대수적 수체의 분기 및 갈루아 이론

어떤 수체의 소수가 더 큰 체에서 조사될 때, 이 소수는 여러 개의 소수로 분해되거나, 소수 그대로 유지되거나, 분기될 수 있습니다. 갈루아 이론은 분해군(decomposition group)과 프로베니우스 원소(Frobenius element)를 통해 이러한 모든 현상을 설명합니다.

Definition

분기(Ramification)는 기저체(base field)의 소수 아이디얼이 확장체에서 어떻게 인수분해되는지, 그리고 반복되는 소수 인수가 나타나는지 여부를 설명합니다. 수체의 갈루아 이론은 각 소수 위에 있는 갈루아 군(Galois group)의 부분군을 통해 이를 인코딩합니다.

Scope

이 주제는 확장체(extension field)에서 유리수 소수(rational prime)가 소수 아이디얼(prime ideal)로 인수분해되는 방식과 그 분기 지수(ramification index) 및 잉여차수(residue degree), 이들을 차수(degree)와 연결하는 기본 항등식(fundamental identity), 분기된 소수(ramified prime)와 비분기된 소수(unramified prime), 갈루아 확장(Galois extension)에서의 분해군(decomposition group)과 관성군(inertia group), 프로베니우스 자기동형사상(Frobenius automorphism), 차분(different)과 판별식(discriminant) 및 분기(ramification) 사이의 관계, 그리고 상호성(reciprocity)을 예측하는 아르틴 기호(Artin symbol)를 다룹니다.

Core questions

• 확장체의 정수환(ring of integers)에서 유리수 소수는 어떻게 인수분해되며, 분기 지수와 잉여차수는 무엇입니까?
• 이러한 불변량(invariant)들이 차수에 합산되는 기본 항등식을 왜 만족하며, 갈루아 확장에서는 어떻게 단순화됩니까?
• 분해군과 관성군은 무엇이며, 프로베니우스 원소는 잉여체(residue field)에 어떻게 작용합니까?
• 어떤 소수들이 분기되며, 차분(different)과 판별식(discriminant)은 이들을 어떻게 감지합니까?

Key theories

기본 항등식과 분할 유형

확장체에서 소수는 분기 지수와 잉여차수를 가지며 인수분해되는데, 이들의 가중합은 체의 차수와 같습니다. 갈루아 확장에서는 모든 인수가 동일한 지수와 차수를 공유하며, 분할(split), 비활성(inert), 분기(ramified) 행동을 분류합니다.

분해군, 관성군, 그리고 프로베니우스

갈루아 확장 내에서 주어진 소수 위에 있는 소수에 대해, 분해군은 그 안정자(stabilizer)이며, 관성군은 그 분기 부분(ramification part)이고, 몫(quotient)은 잉여체에 거듭제곱 사상(power map)으로 작용하는 프로베니우스 원소에 의해 생성됩니다.

차분, 판별식, 그리고 분기

차분 아이디얼(different ideal)과 판별식은 분기된 소수를 정확히 찾아내며, 도체-판별식 공식(conductor-discriminant formula)은 아벨 확장(abelian extension)의 판별식을 그 지표(character)의 도체(conductor)를 통해 표현합니다.

Clinical relevance

프로베니우스 원소를 통한 소수의 분할 행동은 상호성 법칙(reciprocity laws)을 지배하며, 수체 체(number field sieve) 내의 단계를 포함하여 수체(number field) 상에서 다항식과 아이디얼을 인수분해하는 알고리즘의 계산적 핵심입니다.

History

데데킨트(Dedekind)는 소수의 인수분해를 해당 소수를 법으로 하는 최소 다항식(minimal polynomial)의 인수분해와 연관시켰습니다. 힐베르트(Hilbert)는 1897년 그의 『수론 보고서(Zahlbericht)』에서 분기 이론을 체계화하여 분해군과 관성군, 그리고 현대 주제를 조직하는 고차 분기 여과(higher ramification filtration)를 도입했습니다.

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

소수가 분기된다는 것은 무엇을 의미합니까?

소수가 확장체에서 분기된다는 것은 그 소수 아이디얼로의 인수분해에 반복되는 인수가 포함될 때를 의미합니다. 유한한 수의 소수만이 분기되며, 이들은 정확히 판별식을 나누는 소수들입니다.

프로베니우스 원소는 무엇입니까?

갈루아 확장 내의 비분기된 소수에 대해, 프로베니우스 원소는 잉여체에 p-제곱 사상을 유도하는 정규 자기동형사상(canonical automorphism)입니다. 그 켤레류(conjugacy class)는 소수가 어떻게 분할되는지를 기록하며 상호성 법칙의 핵심입니다.