2014 dxdy logo

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

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




 
 Поле F_p [Алгебра]
Сообщение23.09.2013, 16:12 
Аватара пользователя
Здравствуйте!

Пусть $\mathbb{F}_p=\mathbb{Z}/(p)$, где $p$ - простое число. Вычислить произведение вcех ненулевых элементов $\mathbb{F}_p$.

Как я полагаю, то это произведение есть $[-1]_p$. Фактически это теорема Вильсона. Верно?

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 17:42 
Whitaker в сообщении #766970 писал(а):
Пусть $\mathbb{F}_p=\mathbb{Z}/(p)$, где $p$ - простое число. Вычислить произведение вcех ненулевых элементов $\mathbb{F}_p$.

Как я полагаю, то это произведение есть $[-1]_p$. Фактически это теорема Вильсона. Верно?
Ваш ответ на Ваш вопрос верен! :D

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 17:47 
Whitaker в сообщении #766970 писал(а):
Фактически это теорема Вильсона. Верно?
Но если копнуть чуть глубже, то это следует из формул Виета. И не только для $\mathbb{F}_p$, но и для любого конечного поля (ответ только подкорректировать нужно будет).

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 18:35 
Аватара пользователя
nnosipov
А как тут используется формулы Виета?

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 18:41 
Ну как же: все ненулевые $x$ из этого поля --- корни многочлена $x^{p-1}-1$. А произведение всех корней многочлена равно понятно чему.

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 18:43 
Аватара пользователя
Да да!
Спасибо большое nnosipov и VAL

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 18:45 
Whitaker в сообщении #767045 писал(а):
nnosipov
А как тут используется формулы Виета?
Можно учесть, что элементы поля $\mathbb Z_p$ суть корни полинома $x^p-x$. Или более общее утверждение: элементы $\mathbb F_{p^m}$ в точности корни полинома $x^{p^m}-x$.

PS: Пока набирал, уже ответили. Ну не стирать же :-)

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 18:51 
Вот интересно: произведение всех элементов конечной абелевой группы можно как-то вычислить? Если группа нечётного порядка, то оно равно единичному элементу. А если порядок группы чётен?

Ещё вспомнилось: Гаусс вычислил произведение всех обратимых элементов кольца вычетов $\mathbb{Z}_m$ для произвольного $m$ (кажется, есть в "Лекция по теории чисел" Хассе).

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 19:02 
Аватара пользователя
VAL в сообщении #767050 писал(а):
Whitaker в сообщении #767045 писал(а):
nnosipov
А как тут используется формулы Виета?
Можно учесть, что элементы поля $\mathbb Z_p$ суть корни полинома $x^p-x$. Или более общее утверждение: элементы $\mathbb F_{p^m}$ в точности корни полинома $x^{p^m}-x$.

PS: Пока набирал, уже ответили. Ну не стирать же :-)
Т.е. если я правильно понял произведение всех элементов поля $\mathbb{F}_{p^m}$ которые взаимно с $p^m$ равно $-1$. Так?

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 19:05 
Whitaker в сообщении #767060 писал(а):
произведение всех элементов поля $\mathbb{F}_{p^m}$ которые взаимно с $p^m$
Просто ненулевых элементов.

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 19:10 
Аватара пользователя
Извините пожалуйста, если впросы несущественные так как я алгебру недавно начал серьезно изучать. А как же например классы $[p]_{p^m}, [p^2]_{p^m}$??

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 19:11 
nnosipov в сообщении #767054 писал(а):
Вот интересно: произведение всех элементов конечной абелевой группы можно как-то вычислить? Если группа нечётного порядка, то оно равно единичному элементу. А если порядок группы чётен?
По разному может быть. В том числе и нейтральный элемент может получится. Например, в $C_2\times C_2$.

-- 23 сен 2013, 19:12 --

Whitaker в сообщении #767063 писал(а):
Извините пожалуйста, если впросы несущественные так как я алгебру недавно начал серьезно изучать. А как же например классы $[p]_{p^m}, [p^2]_{p^m}$??
В конечном поле (не путать с кольцом вычетов по модулю $p^m$) таких классов нет.

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 19:22 
Аватара пользователя
Теперь все понятно.
Благодарю VAL

 
 
 
 Re: Поле F_p [Алгебра]
Сообщение23.09.2013, 21:17 
VAL в сообщении #767064 писал(а):
По разному может быть. В том числе и нейтральный элемент может получится.

Почти всегда нулевой элемент будет (удобнее аддитивные группы рассматривать). Все элементы порядка больше 2 имеют отличный от них противоположный - их сумма равна нулю. Осталось только с элементами второго порядка разобраться. Все они по сложению образуют группу, изоморфную аддитивной группе конечного поля. Ну а тогда сумма равна сумме элементов поля $\mathbb{F}_{2^n}$ - либо 0, если $n > 1$, либо равна единственному элементу второго порядка.

 
 
 [ Сообщений: 14 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group