Поле (алгебра): различия между версиями

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Отклонено последнее 1 изменение (92.127.247.66): это не ошибка
Строка 45:
* В поле нет [[Делитель нуля|делителей нуля]].
* Любая конечная подгруппа мультипликативной группы поля является [[циклическая группа|циклической]]. В частности, мультипликативная группа ненулевых элементов конечного поля <math>\mathbb F_q</math> изоморфна <math>\mathbb Z_{q-1}</math>.
* С точки зрения [[алгебраическая геометрия|алгебраической геометрии]], поля — это точки, потому что их [[спектр кольца|спектр]] состоит ровно из одной точки — [[идеал (математика)|идеала]] {0}. Действительно, поле не содержит других [[собственный идеал|собственных идеалов]]: если вк идеалу принадлежит ненулевой элемент, то в идеале находятся и все кратные ему, то есть всё поле. Обратно, [[коммутативное кольцо]], не являющееся полем, содержит необратимый (и ненулевой) элемент ''a''. Тогда [[главный идеал]], порождённый ''a'', не совпадает со всем кольцом и содержится в некотором [[максимальный идеал|максимальном]] (а следовательно [[простой идеал|простом]]) идеале, а значит спектр этого кольца содержит как минимум две точки.
 
== Примеры полей ==