Эндоморфизм Фробениуса: различия между версиями

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