2014 dxdy logo

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

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




 
 Поля и их расширения
Сообщение07.01.2013, 14:46 
Добрый день. Разбирая доказательство теоремы "Любое поле характеристики p$>1$ с точностью до изоморфизма является расширением поля вычетов $Z_p$", понял, что окончательно запутался в том, что такое поле, а именно его представление. Поле вычетов $Z_p$, если я правильно понимаю- множество классов {$C_0$,$C_1$,...,$C_{p-1}$}. Собственно, первый вопрос: в поле мы оперируем классами?
Следующий вопрос: поле характеристики $p$ будет выглядеть как {$a_0$,$a_1$,...,$a_{p-1}$}? Иначе говоря, может ли в таком поле быть больше элементов, чем $p$? Пример был бы очень кстати. Знаю, что характеристика поля-наименьшее натуральное число $n$ такое, что единица кратности $n$, то есть $n1$, $=0$. В связи с этим вопрос, что будет, если взять ${(n+1)1}$ ? Получится, как в циклической группе $a_1$?
И самый главный вопрос, который относится к теореме: есть поле характеристики p$>1$. Как будет выглядеть то расширение поля вычетов $Z_p$, изоморфное исходному полю. Если можно, на примере.

 
 
 
 Re: Поля и их расширения
Сообщение07.01.2013, 16:19 
Tolyanbanan в сообщении #668412 писал(а):
Собственно, первый вопрос: в поле мы оперируем классами?

В поле мы оперируем его элементами. А уж как эти элементы представлять - виде классов вычетов, или как-то еще, без разницы. Удобнее считать, что $\mathbb{F}_p = \{ 0, 1, \ldots, p-1 \}$.

Tolyanbanan в сообщении #668412 писал(а):
Иначе говоря, может ли в таком поле быть больше элементов, чем $p$?

Конечно может. Перед вашей теоремой должны быть примеры. Если их не хватает, то рассмотрите поле характеристики 2 из 4 элементов $\mathbb{F}_2[x] / (x^2+x+1)$. Как оно строится, как в нем выполняются сложение и умножение.

 
 
 
 Re: Поля и их расширения
Сообщение07.01.2013, 16:33 
Поле характеристики $p$, разумеется, может иметь больше чем $p$ элементов.
Оно вполне может быть даже бесконечным.
Правда, число элементов не может быть произвольным. В случае конечности поля, его мощность обязательно будет натуральной степенью числа $p$.

Идея же доказательства Вашего утверждения очень проста. Начните с того, что в поле обязана быть единица. Теперь остается складывать эту единицу саму с собой, пока на p-том шаге не получим $0$ (это следует из определения характеристики). Остается доказать, что множество всевозможных сумм единиц образует подполе исходного поля, изоморфное $\mathbb Z_p$.

 
 
 
 Re: Поля и их расширения
Сообщение07.01.2013, 18:55 
Аватара пользователя
 i  Tolyanbanan, оформляйте формулы ТеХом целиком. Например, так
Tolyanbanan в сообщении #668412 писал(а):
p$>1$
писать не надо. Надо так: $p>1$
Код:
$p>1$
Фигурные скобки пишутся так:
Код:
$\{a\}$
Индексы пишутся так:
Код:
b_{123}

 
 
 
 Re: Поля и их расширения
Сообщение07.01.2013, 20:46 
Друзья, спасибо огромное за Вашу помощь. Очень помогло, во всем разобрался. Еще раз спасибо.

Что касается формул, как только доберусь до компьютера, исправлю. Неравенство написал именно так, поскольку $p$ не отображалось.

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


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