Обратимый элемент (KQjgmnbdw zlybyum)
Обратимый элемент — элемент кольца с единицей, для которого существует обратный элемент относительно умножения. Другое название — делитель единицы. Также, в основном в переводах с английского, встречается название единица, что может вызывать путаницу с единичным элементом (в английских источниках используются два разных термина: unit element и Identity element[1]).
Иначе говоря, элемент кольца называется обратимым, если существует элемент , такой что
где — единичный элемент кольца.
Множество всех обратимых элементов кольца образует мультипликативную группу, называемую группой обратимых элементов (реже группой единиц). Эта группа всегда непустая, так как содержит как минимум единицу кольца.
Ассоциированные элементы
[править | править код]Элементы называют ассоциированными и пишут , если и . В случае, когда является областью целостности, определение обычно заменяется на равносильное через существование такого обратимого элемента , что .
Группа единиц
[править | править код]Обратимые элементы кольца образуют группу по умножению, группу единиц кольца . Другие общепринятые обозначение — , и (от немецкого Einheit).
В коммутативном кольце группа обратимых элементов кольца действует стандартным образом на посредством умножения. Орбиты этих действий называются множествами ассоциированных элементов.
Можно показать, что — это функтор из категории колец в категорию групп: каждый гомоморфизм колец порождает гомоморфизм групп , поскольку отображает единицы в единицы.
Кольцо является телом тогда и только тогда, когда .
Примеры
[править | править код]- В кольце целых чисел два делителя единицы: .
- В кольце вычетов по модулю m обратимыми элементами являются вычеты, взаимно простые с модулем m. Они образуют мультипликативную группу кольца вычетов.
- В кольце гауссовых целых чисел четыре делителя единицы: .
- В кольце многочленов над полем любой ненулевой элемент поля коэффициентов (как многочлен нулевой степени) является делителем единицы.
Примечания
[править | править код]- ↑ Сравните Unit divisor Архивная копия от 19 декабря 2021 на Wayback Machine и Unital ring Архивная копия от 19 декабря 2021 на Wayback Machine
Литература
[править | править код]- Ван дер Варден Б. Л. Алгебра. — М.: Наука, 1975.
- Зарисский О., Самюэль П. Коммутативная алгебра. — М.: ИЛ, 1963. — Т. 1.
- Ленг С. Алгебра. — М.: Мир, 1967.
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |