Редактирование: Определение поля и подполя, изоморфизмы полей

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 1: Строка 1:
{{В разработке}}
 
{{Определение
 
|definition=
 
 
Расширим понятие кольца: введём обратный элемент <tex>(F, *, +)</tex> — получим '''поле'''
 
Расширим понятие кольца: введём обратный элемент <tex>(F, *, +)</tex> — получим '''поле'''
 
# абелево по <tex>+</tex>
 
# абелево по <tex>+</tex>
 
# <tex>F\setminus\{0\}</tex> — абелево по <tex>*</tex>
 
# <tex>F\setminus\{0\}</tex> — абелево по <tex>*</tex>
 
# дистрибутивно
 
# дистрибутивно
}}
 
  
 
Примеры:
 
Примеры:
Строка 35: Строка 31:
 
<tex>\mathbb{Q}(x)</tex> имеет характеристику 0 <br />
 
<tex>\mathbb{Q}(x)</tex> имеет характеристику 0 <br />
 
<tex>\mathbb{Q}(\sqrt{d})</tex> — характеристику 0 <br />
 
<tex>\mathbb{Q}(\sqrt{d})</tex> — характеристику 0 <br />
 
{{Теорема
 
|statement=<tex> char\; F</tex> либо 0, либо простое число:
 
<tex>\left [ \begin{aligned} char\; F = 0\\ char\; F \in \mathbb{P} \end{aligned} \right .</tex><br />
 
|proof=<tex>(n \cdot m) \cdot 1 = 0</tex> <br />
 
<tex> (n \cdot 1) \cdot (m \cdot 1) = 0 \Rightarrow \left [ \begin{aligned} n \cdot 1 = 0 \\ m \cdot 1 = 0\end{aligned} \right . \Rightarrow</tex> характеристика <tex>\ne n \cdot m</tex> — противоречие с минимальностью <tex> char\; F </tex>
 
}}
 
Подполе - некоторое поле <tex> K \subset F </tex>, замкнутое относительно сложения и умножения:
 
# <tex>0,1 \in K</tex>
 
# <tex>a,b \in K \Rightarrow a+b \in K </tex>
 
# <tex>a,b \in K \Rightarrow a*b \in K </tex>
 
# <tex>a \in K \Rightarrow -a \in K </tex>
 
# <tex>a \in K \Rightarrow a^{-1} \in K </tex>
 
<tex>\mathbb{Q} \subset \mathbb{R}</tex> - подполе.
 
 
Поле называется простым, если оно не содержит тривиальных подполей.
 
<tex>\mathbb{Q} \subset \mathbb{Q}(x)</tex> - подполе <tex>\Rightarrow \mathbb{Q}(x)</tex> - не простое поле.
 
 
{{Определение
 
|definition=
 
Два поля называются одинаковыми, если существует биекция из одного поля в другое, сохраняющая операции сложения и умножения. <tex>K \cong F \Leftrightarrow \exists \varphi \colon K \to F; \varphi (a + b) = \varphi (a) + \varphi (b); \varphi (a b) = \varphi (a) \cdot \varphi (b) </tex>
 
}}
 
 
{{Утверждение
 
|statement=<br />
 
# <tex>char\; F = 0 \Rightarrow F \cong \mathbb{Q}</tex><br />F - простое
 
# <tex>char\; F \ne 0 \Rightarrow F \cong \mathbb{Z}_P</tex><br />F - простое
 
|proof=<br />
 
# <tex> char \; F = 0 \Rightarrow </tex> суммы все различны; <tex>n \cdot 1 \ne 0, n \ne 0</tex><br /><tex>\frac{n}{m}\cdot1=\frac{n\cdot1}{m\cdot1}</tex><br /><tex>\frac{kn \cdot 1}{km \cdot 1} = \frac{(k \cdot 1) \cdot (n \cdot 1)}{(k \cdot 1) \cdot (m \cdot 1)} = \frac{n \cdot 1}{m \cdot 1}</tex><br /><tex>q \cdot 1 \ne 0, q \ne 0 \Rightarrow </tex>построенное поле <tex>\cong \mathbb{Q}</tex>
 
# <tex> char \; F = p \qquad n \cdot 1 = m \cdot 1 \Leftrightarrow n \equiv m (mod \;p) </tex>. Замкнуто относительно сложения и умножения <tex> \Rightarrow </tex> подполе <tex> \cong \mathbb{Z}_p </tex><br /><tex> K \subset F </tex>, F - вектор-пространство надо полем K. (F - вектора, K - скалярные величины). <br /> <tex> V_1 + V_2 \in F; K \cdot V_1 \in F \Rightarrow </tex> получаем векторное пространство. <br /><tex>[F:K]</tex> - размерность поля F над полем K.
 
}}
 
 
== Ссылки ==
 
* [http://math.nsc.ru/LBRT/u3/bard/fails/lecture/lect-3.pdf Арифметика полиномов]
 
* [http://ium.mccme.ru/postscript/s11/alg2_07.pdf Расширение полей]
 
[[Категория: Поля]]
 

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)