2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Автоморфизмы конечных полей
Сообщение07.11.2016, 14:52 


31/03/16
209
Пытаюсь разобраться с сабжем.
Разбираю доказательство того что афтоморфизм Фробениуса $x \to x^p$ порождает группу всех автомофризмов конечного поля $\math \mathbb F_{p^n}$.
Все понятно кроме следующего момента:
"в любом расширении поля $\mathbb {F} _{p} $ неподвижные точки эндоморфизма Фробениуса — это в точности элементы поля $ \mathbb {F} _{p}$"
Интуитивно ясно что это просто, но почему так? У меня какой то затык мозга на этом моменте...

-- 07.11.2016, 15:53 --

ikozyrev в сообщении #1166810 писал(а):
Пытаюсь разобраться с сабжем.
Разбираю доказательство того что афтоморфизм Фробениуса $x \to x^p$ порождает группу всех автомофризмов конечного поля $\math \mathbb F_{p^n}$.
Все понятно кроме следующего момента:
"в любом расширении поля $\mathbb {F} _{p} $ неподвижные точки эндоморфизма Фробениуса — это в точности элементы поля $ \mathbb {F} _{p}$"
Интуитивно ясно что это просто, но почему так? У меня какой то затык мозга на этом моменте...


Пока писал - все понял :)) Просто по малой теореме Ферма...

 Профиль  
                  
 
 Re: Автоморфизмы конечных полей
Сообщение07.11.2016, 16:06 
Заслуженный участник


27/06/08
4065
Волгоград
ikozyrev в сообщении #1166810 писал(а):
Пока писал - все понял :)) Просто по малой теореме Ферма...
Малая теорема Ферма, гарантирует, что элементы $\mathbb Z_p$ неподвижны. А то, что других неподвижных элементов нет, слеует из того, у многочлена степени $p$ над полем, не может быть более $p$ решений.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Skipper


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group