Идеальное поле

Алгебраическая структура

В алгебре поле k является совершенным , если выполняется хотя бы одно из следующих эквивалентных условий:

• Каждый неприводимый многочлен над k не имеет кратных корней ни в каком расширении поля F/k .
• Каждый неприводимый многочлен над k имеет ненулевую формальную производную .
• Каждый неприводимый многочлен над k является сепарабельным .
• Каждое конечное расширение k отделимо .​
• Каждое алгебраическое расширение k отделимо .
• Либо k имеет характеристику 0, либо, когда k имеет характеристику p > 0 , каждый элемент k является p -й степенью .
• Либо k имеет характеристику 0, либо, когда k имеет характеристику p > 0 , эндоморфизм Фробениуса x ↦ x ^p является автоморфизмом k .
• Сепарабельное замыкание k алгебраически замкнуто .​
• Каждая редуцированная коммутативная k -алгебра A является сепарабельной алгеброй , т.е. является редуцированной для каждого расширения поля F / k . (см. ниже) ${\displaystyle A\otimes _{k}F}$

В противном случае k называется несовершенным .

В частности, все поля нулевой характеристики и все конечные поля совершенны.

Совершенные поля важны, поскольку теория Галуа над этими полями упрощается, поскольку общее предположение Галуа о разделимости расширений полей автоматически выполняется над этими полями (см. третье условие выше).

Другим важным свойством совершенных полей является то, что они допускают векторы Витта .

В более общем смысле, кольцо характеристики p ( p — простое число ) называется совершенным , если эндоморфизм Фробениуса является автоморфизмом . ^[1] (При ограничении целостными областями это эквивалентно приведенному выше условию «каждый элемент k является p- й степенью».)

Примеры

Примерами идеальных полей являются:

• каждое поле характеристики нуль, а также каждое конечное расширение, и ; ^[2] ${\displaystyle \mathbb {Q} }$ ${\displaystyle \mathbb {C} }$
• каждое конечное поле ; ^[3] ${\displaystyle \mathbb {F} _{q}}$
• каждое алгебраически замкнутое поле ;
• объединение множества совершенных полей, полностью упорядоченных по расширению;
• поля, алгебраические над совершенным полем.

Большинство полей, которые встречаются на практике, являются совершенными. Несовершенный случай возникает в основном в алгебраической геометрии в характеристике p > 0. Каждое несовершенное поле обязательно трансцендентно над своим простым подполем (минимальным подполем), поскольку последнее является совершенным. Примером несовершенного поля является поле , поскольку эндоморфизм Фробениуса посылает и, следовательно, не является сюръективным. Это поле вкладывается в совершенное поле ${\displaystyle \mathbf {F} _{q}(x)}$ ${\displaystyle x\mapsto x^{p}}$

${\displaystyle \mathbf {F} _{q}(x,x^{1/p},x^{1/p^{2}},\ldots )}$

называемый его совершенством . Несовершенные поля вызывают технические трудности, поскольку неприводимые многочлены могут стать приводимыми в алгебраическом замыкании базового поля. Например, ^[4] рассмотрим для несовершенного поля характеристики и не p -й степени в k . Тогда в его алгебраическом замыкании выполняется следующее равенство: ${\displaystyle f(x,y)=x^{p}+ay^{p}\in k[x,y]}$ ${\displaystyle k}$ ${\displaystyle p}$ ${\displaystyle k^{\operatorname {alg} }[x,y]}$

${\displaystyle f(x,y)=(x+by)^{p},}$

где b ^p = a и такой b существует в этом алгебраическом замыкании. Геометрически это означает, что не определяет аффинную плоскую кривую в . ${\displaystyle f}$ ${\displaystyle k[x,y]}$

Расширение поля над идеальным полем

Любое конечно порождённое расширение поля K над совершенным полем k является отделимо порождённым, т.е. допускает разделяющую базу трансцендентности , то есть базу трансцендентности Γ такую, что K является отделимо алгебраической над k (Γ). ^[5]

Идеальное закрытие и совершенство

Одно из эквивалентных условий гласит, что в характеристике p поле, присоединенное ко всем p корням степени ^r ( r ≥ 1 ), является совершенным; оно называется совершенным замыканием поля k и обычно обозначается через . ${\displaystyle k^{p^{-\infty }}}$

Совершенное замыкание может быть использовано в тесте на отделимость. Точнее, коммутативная k -алгебра A отделима тогда и только тогда, когда является приведенной. ^[6] ${\displaystyle A\otimes _{k}k^{p^{-\infty }}}$

В терминах универсальных свойств совершенное замыкание кольца A характеристики p — это совершенное кольцо A _p характеристики p вместе с кольцевым гомоморфизмом u  : A → A _p таким, что для любого другого совершенного кольца B характеристики p с гомоморфизмом v  : A → B существует единственный гомоморфизм f  : A _p → B такой, что v пропускается через u (т.е. v = fu ). Совершенное замыкание всегда существует; доказательство включает «присоединение корней p -й степени элементов A », аналогично случаю полей. ^[7]

Совершенство кольца A характеристики p является двойственным понятием (хотя этот термин иногда используется для совершенного замыкания). Другими словами, совершенство R ( A ) кольца A является совершенным кольцом характеристики p вместе с отображением θ  : R ( A ) → A таким, что для любого совершенного кольца B характеристики p, снабженного отображением φ  : B → A , существует единственное отображение f  : B → R ( A ) такое, что φ пропускается через θ (т.е. φ = θf ). Совершенство кольца A может быть построено следующим образом. Рассмотрим проективную систему

${\displaystyle \cdots \rightarrow A\rightarrow A\rightarrow A\rightarrow \cdots }$

где отображения перехода являются эндоморфизмом Фробениуса. Обратный предел этой системы есть R ( A ) и состоит из последовательностей ( x ₀ , x ₁ , ... ) элементов A таких, что для всех i . Отображение θ  : R ( A ) → A отправляет ( x _i ) в x ₀ . ^[8] ${\displaystyle x_{i+1}^{p}=x_{i}}$

Смотрите также

• p-кольцо
• Идеальное кольцо
• Квазиконечное поле

Примечания

1. Серр 1979, Раздел II.4
2. Примерами полей нулевой характеристики являются поле рациональных чисел , поле действительных чисел или поле комплексных чисел .
3. Любое конечное поле порядка q можно обозначить , где q = p ^k для некоторого простого числа p и положительного целого числа k . ${\displaystyle \mathbf {F} _{q}}$
4. Милн, Джеймс . Эллиптические кривые (PDF) . стр. 6.
5. Мацумура, Теорема 26.2
6. Кон 2003, Теорема 11.6.10
7. Бурбаки 2003, раздел V.5.1.4, стр. 111.
8. Бринон и Конрад 2009, раздел 4.2

Ссылки

• Бурбаки, Николя (2003), Алгебра II , Springer, ISBN 978-3-540-00706-7
• Brinon, Olivier; Conrad, Brian (2009), CMI Summer School notes on p-adic Hodge theory (PDF) , получено 2010-02-05
• Кон, П.М. (2003), Основы алгебры: группы, кольца и поля
• Ланг, Серж (2002), Алгебра , Graduate Texts in Mathematics , т. 211 (пересмотренное третье издание), Нью-Йорк: Springer-Verlag, ISBN 978-0-387-95385-4, MR  1878556, Zbl  0984.00001
• Мацумура, Хидеюки (2003), Коммутативная теория колец , Перевод с японского М. Рида. Cambridge Studies in Advanced Mathematics, т. 8 (2-е изд.)
• Серр, Жан-Пьер (1979), Местные поля , Тексты для выпускников по математике , вып. 67 (2-е изд.), Springer-Verlag , ISBN 978-0-387-90424-5, МР  0554237

Внешние ссылки

• «Идеальное поле», Энциклопедия математики , EMS Press , 2001 [1994]