5856
правок
Эндоморфизм Фробениуса: различия между версиями
Перейти к навигации
Перейти к поиску
переписал статью в соответствии с интервиками, раздел про схемы напишу позже
EmausBot (обсуждение | вклад) м (Перемещение 12 интервики-ссылок в Викиданные (d:Q769124)) |
Danneks (обсуждение | вклад) (переписал статью в соответствии с интервиками, раздел про схемы напишу позже) |
||
|
'''Эндоморфизм Фробениуса''' — [[эндоморфизм]] [[Коммутативное кольцо|коммутативного кольца]] простой [[характеристика кольца|характеристики]] ''p'', задаётся формулой <math>x\mapsto x^p</math>. В некоторых случаях, например, в случае [[конечное поле|конечного поля]], эндоморфизм Фробениуса является [[автоморфизм]]ом, однако в общем случае это не так.
== Определение и базовые свойства ==
Пусть ''R'' — коммутативное кольцо простой [[характеристика кольца|характеристики]] ''p'' (в частности, таким является любое [[целостное кольцо]] ненулевой характеристики). Эндоморфизм Фробениуса кольца ''R'' определяется формулой <math>F(x)=x^p</math>. Эндоморфизм Фробениуса действительно является [[гомоморфизм колец|гомоморфизмом колец]], так как <math>(xy)^p=x^py^p, (x+y)^p=x^p+y^p</math> (для того, чтобы доказать последнее тождество, достаточно расписать левую часть по формуле [[бином Ньютона|бинома Ньютона]] и заметить, что все биномиальные коэффициенты, кроме первого и последнего, делятся на ''p'').
Если <math>\varphi:R\to S</math> — произвольный гомоморфизм колец простой характеристики ''p'', то <math>\varphi (x^p)=(\varphi (x))^p</math>, то есть : <math>\varphi \circ F_R = F_S\circ \varphi.</math>
Это значит, что эндоморфизм Фробениуса является [[естественное преобразование|естественным преобразованием]] тождественного [[функтор (математика)|функтора]] (на категории коммутативных колец характеристики ''p'') в себя.
Если кольцо ''R'' не содержит нетривиальных [[нильпотент]]ов, то эндоморфизм Фробениуса [[инъективность|инъективен]] (так как его [[ядро (алгебра)|ядро]] нулевое). Легко доказать, что верно и обратное: если <math>x</math> — нетривиальный нильпотент, обнуляющийся начиная со степени <math>n</math>, то <math>(x^{n-1})^p=0</math>. Эндоморфизм Фробениуса не обязательно [[соръективность|сюръективен]], даже если ''R'' является полем. Например, пусть <math>R=\mathbb F_p(t)</math> — поле рациональных функций с коэффициентами в <math>\mathbb F_p</math>, тогда функция <math>t</math> не лежит в образе эндоморфизма Фробениуса.
Поле ''K'' называется [[совершенное поле|совершенным]], если его характеристика равна нулю, либо характеристика положительна и эндоморфизм Фробениуса сюръективен (а следовательно, является автоморфизмом). В частности, все конечные поля являюся совершенными.
== Неподвижные точки ==
Рассмотрим конечное поле <math>\mathbb F_p</math>. Согласно [[малая теорема Ферма|малой теореме Ферма]], все элементы этого поля удвлетворяют уравнению <math>x^p=x</math>. Уравнение ''p''-й степени не может иметь более ''p'' корней, следовательно, в любом [[расширение поля|расширении]] поля <math>\mathbb F_p</math> неподвижные точки эндоморфизма Фробениуса — это в точности элементы поля <math>\mathbb F_p</math>. Аналогичное утверждение верно для целостных колец характеристики ''p''.
Сходным свойствам удовлетворяют и степени эндоморфизма Фробениуса. Если <math>\mathbb F_{p^k}</math> — конечное поле, все его элементы удовлетворяют уравнению <math>x^{p^k}=x</math> и в любом расширении этого поля элементы исходного поля являются неподвижными точками ''k''-й степени эндоморфизма Фробениуса, то есть неподвижными точками <math>x\mapsto x^{p^k}</math>.
== Порождающий элемент группы Галуа ==
[[Группа Галуа]] [[конечное расширение|конечного расширения]] конечного поля является [[циклическая группа|циклической]] и порождается степенью эндоморфизма Фробениуса. Рассмотрим сначала случай, когда основное поле является [[простое поле|простым]]. Пусть <math>\mathbb F_q</math> — конечное поле, где <math>q=p^n</math>. Эндоморфизм Фробениуса <math>F</math> сохраняет элементы простого поля <math>\mathbb F_p</math>, поэтому он является элементом группы Галуа расширения <math>\mathbb F_q\supset \mathbb F_p</math>. Оказывается, что эта группа является циклической и порождается <math>F</math>. Порядок этой группы равен <math>n</math>, так как эндоморфизм <math>x\mapsto x^{q}</math> действует на <math>\mathbb F_q</math> тождественно, а меньшие степени не могут действовать тождественно.
Рассмотрим теперь расширение <math>\mathbb F_{q^k}\supset \mathbb F_q</math>. Здесь основное поле фиксируется ''n''-й степенью эндоморфизма Фробениуса, группа Галуа расширения порождается <math>F^n</math> и имеет порядок <math>k</math>.
== Эндоморфизм Фробениуса для схем ==
{{в планах}}
== Литература ==
|тираж =
}}
* ''Hazewinkel, Michiel'', ed. (2001), [http://www.encyclopediaofmath.org/index.php/Frobenius_automorphism Frobenius automorphism], Encyclopedia of Mathematics, Springer — ISBN 978-1-55608-010-4
* ''Hazewinkel, Michiel'', ed. (2001), [http://www.encyclopediaofmath.org/index.php/Frobenius_endomorphism Frobenius endomorphism], Encyclopedia of Mathematics, Springer — ISBN 978-1-55608-010-4
== См. также ==
* [[Конечное поле]]
* [[Первообразный корень из единицы]]
* [[Совершенное поле]]
[[Категория:Общая алгебра]]
[[Категория:Теория полей]]
[[Категория:
| |||