Ветвление и теория Галуа числовых полей

Когда простое число одного числового поля рассматривается в более крупном поле, оно может распадаться на несколько простых чисел, оставаться простым или ветвиться; теория Галуа организует все это поведение через группы разложения и элемент Фробениуса.

Definition

Ветвление описывает, как простой идеал базового поля факторизуется в расширении и появляются ли повторяющиеся простые множители; теория Галуа числовых полей кодирует это через подгруппы группы Галуа, присоединенные к каждому простому числу над ним.

Scope

Эта тема охватывает факторизацию рационального простого числа в расширении на простые идеалы с их индексами ветвления и степенями вычетов, фундаментальное тождество, связывающее их со степенью, разветвленные и неразветвленные простые числа, группы разложения и инерции в расширении Галуа, автоморфизм Фробениуса, дифференту и связь между дискриминантом и ветвлением, а также символ Артина, предвосхищающий взаимность.

Core questions

• Как рациональное простое число факторизуется в кольце целых чисел расширения, и каковы индекс ветвления и степень вычета?
• Почему эти инварианты удовлетворяют фундаментальному тождеству, суммирующемуся до степени, и как оно упрощается для расширений Галуа?
• Что такое группы разложения и инерции, и как элемент Фробениуса действует на поля вычетов?
• Какие простые числа ветвятся, и как дифферента и дискриминант их обнаруживают?

Key theories

Фундаментальное тождество и типы расщепления

Простое число факторизуется в расширении с индексами ветвления и степенями вычетов, взвешенная сумма которых равна степени поля; в расширении Галуа все множители имеют одинаковый индекс и степень, классифицируя расщепленное, инертное и разветвленное поведение.

Группа разложения, группа инерции и Фробениус

Для простого числа над данным простым числом в расширении Галуа группа разложения является его стабилизатором, группа инерции — его частью ветвления, а фактор-группа порождается элементом Фробениуса, действующим как степенное отображение на поле вычетов.

Дифферента, дискриминант и ветвление

Идеал дифференты и дискриминант точно определяют разветвленные простые числа, при этом формула проводник-дискриминант выражает дискриминант абелева расширения через проводники его характеров.

Clinical relevance

Поведение расщепления простых чисел через элемент Фробениуса регулирует законы взаимности и является вычислительным ядром алгоритмов, которые факторизуют полиномы и идеалы над числовыми полями, включая шаги внутри решета числового поля.

History

Дедекинд связал факторизацию простых чисел с факторизацией минимального полинома по модулю этого простого числа. Гильберт систематизировал теорию ветвления в своем Zahlbericht 1897 года, введя группы разложения и инерции и фильтрацию высшего ветвления, которые организуют современный предмет.

Key figures

• Richard Dedekind
• David Hilbert
• Ferdinand Georg Frobenius

Seminal works

• marcus2018

Frequently asked questions

Что означает ветвление простого числа?

Простое число ветвится в расширении, когда его факторизация на простые идеалы включает повторяющийся множитель; ветвится лишь конечное число простых чисел, и это именно те, которые делят дискриминант.

Что такое элемент Фробениуса?

Для неразветвленного простого числа в расширении Галуа это канонический автоморфизм, индуцирующий отображение p-й степени на поле вычетов; его класс сопряженности записывает, как простое число расщепляется, и является ключом к законам взаимности.