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

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
частичная отмена правки 62811022 участника Луговкин (обс): она — характеристика!
м правильный символ
Строка 17:
 
== Свойства ==
* Если кольцо <math>R \setminusne \{0\}</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>. Для таких колец можно определить [[эндоморфизм Фробениуса]].