Определение поля и подполя, изоморфизмы полей — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Теорема)
(Теорема)
Строка 33: Строка 33:
  
 
== Теорема ==
 
== Теорема ==
<tex> char\; F</tex> либо 0, либо простое число: <br />
+
<tex> char\; F</tex> либо 0, либо простое число:
<tex>\left [ \begin{aligned} char\; F = 0\\ char\; F \in \mathbb{P} \end{aligned} \right .</tex>
+
<tex>\left [ \begin{aligned} char\; F = 0\\ char\; F \in \mathbb{P} \end{aligned} \right .</tex><br />
 
<tex>\triangleright</tex> <tex>(n \cdot m) \cdot 1 = 0</tex> <br />
 
<tex>\triangleright</tex> <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 \triangleleft</tex>
 
<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 \triangleleft</tex>

Версия 20:38, 10 июня 2010

Расширим понятие кольца: введём обратный элемент [math](F, *, +)[/math] — получим поле

  1. абелево по [math]+[/math]
  2. [math]F\setminus\{0\}[/math] — абелево по [math]*[/math]
  3. дистрибутивно

Примеры:

  • Поля: [math]\mathbb{R}, \mathbb{C}, \mathbb{Q}, \mathbb{Z}_n^*[/math]
  • [math]\mathbb{Q}(x)=\{\frac{p(x)}{q(x)} \mid p,q \in \mathbb{Q}[x]\}[/math]
  • [math]\mathbb{Q}(\sqrt{d})=\{a+b\sqrt{d}\mid a,b \in \mathbb{Q}\}[/math]

Мультипликативная группа поля состоит из ненулевых элементов по умножению.

[math]1 \in F[/math]

[math]n \cdot 1[/math] — обозначение суммы [math] n \cdot 1 = m \cdot 1 \Rightarrow (n-m) \cdot 1 = 0 [/math]

Все разные [math]\begin{cases} 1 \\ 1 + 1 \\ 1 + 1 + 1 \\ \vdots \end{cases} \begin{aligned} \nearrow \exists n : n \cdot 1 = 0 \\ \searrow \nexists n : n \cdot 1 = 0 \end{aligned} [/math]

В первом случае наименьшее такое n называется характеристикой поля и обозначается [math]char\; F[/math]. Во втором случае характеристика поля полагается равной 0.

[math]\mathbb{Q}, \mathbb{C}, \mathbb{R} [/math] имеют характеристику 0
[math]\mathbb{Z}_p[/math] имеет характеристику p
[math]\mathbb{Q}(x)[/math] имеет характеристику 0
[math]\mathbb{Q}(\sqrt{d})[/math] — характеристику 0

Теорема

[math] char\; F[/math] либо 0, либо простое число: [math]\left [ \begin{aligned} char\; F = 0\\ char\; F \in \mathbb{P} \end{aligned} \right .[/math]
[math]\triangleright[/math] [math](n \cdot m) \cdot 1 = 0[/math]
[math] (n \cdot 1) \cdot (m \cdot 1) = 0 \Rightarrow \left [ \begin{aligned} n \cdot 1 = 0 \\ m \cdot 1 = 0\end{aligned} \right . \Rightarrow[/math] характеристика [math]\ne n \cdot m[/math] — противоречие с минимальностью [math] char\; F \triangleleft[/math]