Расщепление простых идеалов в расширениях Галуа - Splitting of prime ideals in Galois extensions

В математика, взаимодействие между Группа Галуа грамм из Расширение Галуа L из числовое поле K, и способ главные идеалы п из кольцо целых чисел О_K разложить на множители как продукты основных идеалов О_L, обеспечивает одну из самых богатых частей алгебраическая теория чисел. В расщепление простых идеалов в расширениях Галуа иногда приписывают Дэвид Гильберт назвав это Теория гильберта. Имеется геометрический аналог, для разветвленные покрытия из Римановы поверхности, что проще в том, что только один вид подгруппы грамм нужно учитывать, а не два. Это, безусловно, было знакомо до Гильберта.

Определения

Позволять L/K - конечное расширение числовых полей, и пусть О_K и О_L быть соответствующим кольцо целых чисел из K и L, соответственно, которые определяются как целостное закрытие целых чисел Z в рассматриваемой области.

${\displaystyle {\begin{array}{ccc}O_{K}&\hookrightarrow &O_{L}\\\downarrow &&\downarrow \\K&\hookrightarrow &L\end{array}}}$

Наконец, пусть п - ненулевой простой идеал в О_K, или эквивалентно максимальный идеал, так что остаток О_K/п это поле.

Из базовой теории одно-размерный кольца следует за существованием единственного разложения

${\displaystyle pO_{L}=\prod _{j=1}^{g}P_{j}^{e_{j}}}$

идеального pO_L генерируется в О_L к п в продукт различных максимальных идеалов п_j, с кратностями е_j.

Поле F = О_K/п естественно встраивается в F_j = О_L/п_j для каждого j, степень ж_j = [О_L/п_j : О_K/п] этого расширение поля вычетов называется степень инерции из п_j над п.

Множественность е_j называется индекс ветвления из п_j над п. Если он больше 1 для некоторых j, расширение поля L/K называется разветвленный в п (или мы говорим, что п разветвляется в L, или что он разветвлен в L). Иначе, L/K называется неразветвленный в п. Если это так, то Китайская теорема об остатках частное О_L/pO_L это продукт полей F_j. Расширение L/K разветвляется именно на те простые числа, которые делят относительный дискриминант, следовательно, расширение неразветвлено во всех простых идеалах, кроме конечного числа.

Мультипликативность идеальная норма подразумевает

${\displaystyle [L:K]=\sum _{j=1}^{g}e_{j}f_{j}.}$

Если ж_j = е_j = 1 для каждого j (и поэтому грамм = [L : K]), мы говорим, что п полностью раскалывается в L. Если грамм = 1 и ж₁ = 1 (и поэтому е₁ = [L : K]), мы говорим, что п полностью разветвляется в L. Наконец, если грамм = 1 и е₁ = 1 (и поэтому ж₁ = [L : K]), мы говорим, что п является инертный в L.

Ситуация Галуа

В дальнейшем расширение L/K считается Расширение Галуа. Тогда Группа Галуа ${\displaystyle G=\operatorname {Gal} (L/K)}$ действует транзитивно на п_j. То есть основные идеальные факторы п в L сформировать единый орбита под автоморфизмы из L над K. Из этого и единственная теорема факторизации, следует, что ж = ж_j и е = е_j не зависят от j; то, что, конечно, не должно быть в случае расширений, не относящихся к Галуа. Затем прочтите основные отношения

${\displaystyle pO_{L}=\left(\prod _{j=1}^{g}P_{j}\right)^{e}}$.

и

${\displaystyle [L:K]=efg.}$

Приведенное выше соотношение показывает, что [L : K]/ef равно числу грамм основных факторов п в О_L. Посредством формула стабилизатора орбиты это число также равно |грамм|/|D_пj| для каждого j, куда D_пj, то группа разложения из п_j, - подгруппа элементов грамм отправка данного п_j себе. Поскольку степень L/K и порядок грамм равны по основной теории Галуа, отсюда следует, что порядок группы разложения D_пj является ef для каждого j.

Эта группа разложения содержит подгруппу я_пj, называется группа инерции из п_j, состоящий из автоморфизмов L/K которые индуцируют тождественный автоморфизм на F_j. Другими словами, я_пj является ядром редукционного отображения ${\displaystyle D_{P_{j}}\to \operatorname {Gal} (F_{j}/F)}$. Можно показать, что это отображение сюръективно, и отсюда следует, что ${\displaystyle \operatorname {Gal} (F_{j}/F)}$ изоморфен D_пj/я_пj и порядок группы инерции я_пj является е.

Теория Элемент Фробениуса идет дальше, чтобы идентифицировать элемент D_пj/я_пj для данного j что соответствует автоморфизму Фробениуса в группе Галуа конечного расширения поля F_j /F. В неразветвленном случае порядок D_пj является ж и я_пj тривиально. Также элемент Фробениуса в этом случае является элементом D_пj (а значит, и элемент грамм).

В геометрическом аналоге для комплексные многообразия или же алгебраическая геометрия над алгебраически замкнутое поле, концепции группа разложения и группа инерции совпадают. Здесь, учитывая разветвленное покрытие Галуа, все точки, кроме конечного, имеют одинаковое количество прообразы.

Расщепление простых чисел в расширениях, не принадлежащих Галуа, может быть изучено с помощью поле расщепления изначально, то есть расширение Галуа, которое несколько больше. Например, кубические поля обычно «регулируются» содержащим их полем степени 6.

Пример - гауссовские целые числа

В этом разделе описывается расщепление простых идеалов в расширении поля Q(я)/Q. То есть берем K = Q и L = Q(i), поэтому О_K просто Z, и О_L = Z[i] - кольцо Гауссовские целые числа. Хотя этот случай далеко не репрезентативный - ведь Z[i] имеет уникальная факторизация, и не так много квадратичных полей с уникальной факторизацией - он демонстрирует многие черты теории.

Письмо грамм для группы Галуа Q(я)/Q, а σ - автоморфизм комплексного сопряжения в грамм, необходимо рассмотреть три случая.

Премьер п = 2

Простое 2 числа Z разветвляется в Z[я]:

${\displaystyle (2)=(1+i)^{2}}$

Таким образом, индекс ветвления здесь е = 2. Поле вычетов равно

${\displaystyle O_{L}/(1+i)O_{L}}$

которое представляет собой конечное поле с двумя элементами. Группа разложения должна быть равна всем грамм, так как есть только одно простое число Z[i] выше 2. Группа инерции также полностью грамм, поскольку

${\displaystyle a+bi\equiv a-bi{\bmod {1}}+i}$

для любых целых чисел а и б, так как ${\displaystyle a+bi=2bi+a-bi=(1+i)\cdot (1-i)bi+a-bi\equiv a-bi{\bmod {1}}+i}$ .

Фактически, 2 - это Только премьер, который разветвляется в Z[i], поскольку каждое простое число, которое разветвляется, должно делить дискриминант из Z[i], что равно −4.

Простые числа п ≡ 1 мод 4

Любой премьер п ≡ 1 мод 4 раскол на два различных простых идеала в Z[я]; это проявление Теорема Ферма о суммах двух квадратов. Например:

${\displaystyle 13=(2+3i)(2-3i)}$

Группы разложения в этом случае являются тривиальной группой {1}; действительно, автоморфизм σ переключатели два простых числа (2 + 3i) и (2 - 3i), поэтому он не может быть в группе разложения ни одного простого числа. Группа инерции, будучи подгруппой группы разложения, также является тривиальной группой. Есть два поля вычетов, по одному для каждого простого числа,

${\displaystyle O_{L}/(2\pm 3i)O_{L}\ ,}$

которые оба изоморфны конечному полю из 13 элементов. Элемент Фробениуса - это тривиальный автоморфизм; это означает, что

${\displaystyle (a+bi)^{13}\equiv a+bi{\bmod {2}}\pm 3i}$

для любых целых чисел а и б.

Простые числа п ≡ 3 мод 4

Любой премьер п ≡ 3 мод 4 осталось инертный в Z[я]; то есть это делает нет расколоть. Например, (7) остается простым в Z[я]. В этой ситуации группа разложения состоит из грамм, опять же потому, что есть только один главный фактор. Однако эта ситуация отличается от п = 2, потому что теперь σ нет действовать тривиально на поле вычетов

${\displaystyle O_{L}/(7)O_{L}\ ,}$

которое является конечным полем с 7² = 49 элементов. Например, разница между 1 + i и σ (1 + i) = 1 - i равна 2i, что, конечно, не делится на 7. Следовательно, группа инерции - это тривиальная группа {1}. Группа Галуа этого поля вычетов над подполем Z/7Z имеет порядок 2 и порождается изображением элемента Фробениуса. Фробениус - не кто иной, как σ; это означает, что

${\displaystyle (a+bi)^{7}\equiv a-bi{\bmod {7}}}$

для любых целых чисел а и б.

Резюме

Prime in Z	Как он распадается Z[я]	Группа инерции	Группа разложения
2	Разветвляется с индексом 2	грамм	грамм
p ≡ 1 мод 4	Делится на два разных фактора	1	1
p ≡ 3 мод 4	Остается инертным	1	грамм

Вычисление факторизации

Предположим, что мы хотим определить факторизацию простого идеала п из О_K в простые числа О_L. Следующая процедура (Neukirch, стр. 47) решает эту проблему во многих случаях. Стратегия состоит в том, чтобы выбрать целое число θ в О_L так что L генерируется над K на θ (существование такого θ гарантируется теорема о примитивном элементе ), а затем изучить минимальный многочлен ЧАС(Икс) из θ над K; это монический многочлен с коэффициентами в О_K. Уменьшение коэффициентов ЧАС(Икс) по модулю п, получаем унитарный многочлен час(Икс) с коэффициентами в F, (конечное) поле вычетов О_K/п. Предположим, что час(Икс) разлагает на множители в кольце многочленов F[Икс] в качестве

${\displaystyle h(X)=h_{1}(X)^{e_{1}}\cdots h_{n}(X)^{e_{n}},}$

где час_j - различные монические неприводимые многочлены от F[Икс]. Тогда, пока п не является одним из конечного числа исключительных простых чисел (точное условие описано ниже), факторизация п имеет следующий вид:

${\displaystyle PO_{L}=Q_{1}^{e_{1}}\cdots Q_{n}^{e_{n}},}$

где Q_j различные простые идеалы О_L. Кроме того, степень инерции каждого Q_j равна степени соответствующего многочлена час_j, и есть явная формула для Q_j:

${\displaystyle Q_{j}=PO_{L}+h_{j}(\theta )O_{L},}$

куда час_j обозначает здесь поднятие многочлена час_j к K[Икс].

В случае Галуа все степени инерции равны, а индексы ветвления е₁ = ... = е_п все равны.

Исключительные простые числа, для которых приведенный выше результат не обязательно верен, не являются взаимно простыми числами дирижер кольца О_K[θ]. Проводник определяется как идеальный

${\displaystyle \{y\in O_{L}:yO_{L}\subseteq O_{K}[\theta ]\};}$

он измеряет, насколько далеко порядок О_K[θ] - это все кольцо целых чисел (максимальный порядок) О_L.

Важное предостережение: существуют примеры L/K и п так что есть нет доступный θ, удовлетворяющий приведенным выше гипотезам (см., например, ^[1]). Следовательно, приведенный выше алгоритм не может быть использован для разложения таких п, и необходимо использовать более сложные подходы, например, описанные в.^[2]

Пример

Снова рассмотрим случай гауссовских целых чисел. Возьмем θ как мнимую единицу я, с минимальным полиномом ЧАС(Икс) = Икс² + 1. Поскольку Z[${\displaystyle i}$] - все кольцо целых чисел Q(${\displaystyle i}$), проводник - единичный идеал, поэтому исключительных простых чисел нет.

За п = (2), нам нужно работать в поле Z/(2)Z, что сводится к факторизации полинома Икс² + 1 по модулю 2:

${\displaystyle X^{2}+1=(X+1)^{2}{\pmod {2}}.}$

Следовательно, есть только один простой множитель со степенью инерции 1 и индексом ветвления 2, и он определяется выражением

${\displaystyle Q=(2)\mathbf {Z} [i]+(i+1)\mathbf {Z} [i]=(1+i)\mathbf {Z} [i].}$

Следующий случай для п = (п) для прайма п ≡ 3 мод 4. Для конкретности возьмем п = (7). Полином Икс² + 1 неприводима по модулю 7. Следовательно, существует только один простой множитель со степенью инерции 2 и индексом ветвления 1, и он имеет вид

${\displaystyle Q=(7)\mathbf {Z} [i]+(i^{2}+1)\mathbf {Z} [i]=7\mathbf {Z} [i].}$

Последний случай п = (п) для прайма п ≡ 1 мод 4; мы снова возьмем п = (13). На этот раз у нас есть факторизация

${\displaystyle X^{2}+1=(X+5)(X-5){\pmod {13}}.}$

Следовательно, есть два простые множители, имеющие как степень инерции, так и индекс ветвления 1. Они задаются

${\displaystyle Q_{1}=(13)\mathbf {Z} [i]+(i+5)\mathbf {Z} [i]=\cdots =(2+3i)\mathbf {Z} [i]}$

и

${\displaystyle Q_{2}=(13)\mathbf {Z} [i]+(i-5)\mathbf {Z} [i]=\cdots =(2-3i)\mathbf {Z} [i].}$

Рекомендации

1. «Архивная копия». Архивировано из оригинал на 2006-09-12. Получено 2007-04-11.
2. «Архивная копия». Архивировано из оригинал на 2006-09-12. Получено 2007-04-11.

внешняя ссылка

• «Расщепление и ветвление в числовых полях и расширениях Галуа». PlanetMath.
• Уильям Штейн, Краткое введение в классическую и адельную теорию алгебраических чисел
• Нойкирх, Юрген (1999). Алгебраическая теория чисел. Grundlehren der Mathematischen Wissenschaften. 322. Берлин: Springer-Verlag. ISBN  978-3-540-65399-8. МИСТЕР  1697859. Zbl  0956.11021.