Характеристика (алгебра): различия между версиями

[отпатрулированная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м r2.7.1) (бот добавил: ko:환의 표수
Нет описания правки
Строка 16:
 
== Свойства ==
* Если кольцо <math>R \neqsetminus \{0\}</math> с единицей и без делителей нуля имеет положительную характеристику <math>n</math>, то <math>n</math> — простое число. Следовательно, характеристика любого [[Поле (алгебра)|поля]] <math>K</math> есть либо <math>0</math>, либо простое число <math>p</math>. В первом случае поле <math>K</math> содержит в качестве подполя поле изоморфное полю рациональных чисел <math>\mathbb{Q}</math>, во втором случае поле <math>K</math> содержит в качестве подполя поле изоморфное <math>\mathbb{F}_p</math>. В обоих случаях это подполе называется '''простым полем''' (содержащимся в <math>K</math>).
* Характеристикой конечного поля является простое число. Заметим, что из того, что характеристика поля конечна, не следует, что поле конечно. Примерами таких полей являются поле рациональных функций над <math>\mathbb{F}_p</math> и алгебраическое замыкание поля <math>\mathbb{F}_p</math>.
* Если <math>R</math> — коммутативное кольцо простой характеристики <math>p</math>, то <math>(a + b)^{p^n} = a^{p^n} + b^{p^n}</math> для всех <math>a, b \in R</math>, <math>n \in \mathbb{N}</math>.