Обратимый элемент (KQjgmnbdw zlybyum)

Обратимый элемент — элемент кольца с единицей, для которого существует обратный элемент относительно умножения. Другое название — делитель единицы. Также, в основном в переводах с английского, встречается название единица, что может вызывать путаницу с единичным элементом (в английских источниках используются два разных термина: unit element и Identity element^[1]).

Иначе говоря, элемент кольца $a$ называется обратимым, если существует элемент $b$ , такой что

ab=ba=e,

где $e$ — единичный элемент кольца.

Множество всех обратимых элементов кольца образует мультипликативную группу, называемую группой обратимых элементов (реже группой единиц). Эта группа всегда непустая, так как содержит как минимум единицу кольца.

Ассоциированные элементы

Элементы $r,s\in R$ называют ассоциированными и пишут $r\sim s$ , если $r|s$ и $s|r$ . В случае, когда $R$ является областью целостности, определение обычно заменяется на равносильное через существование такого обратимого элемента $u$ , что $r=us$ .

Группа единиц

Обратимые элементы кольца $R$ образуют группу $U(R)$ по умножению, группу единиц кольца $R$ . Другие общепринятые обозначение — $R^{\times }$ , $R^{*}$ и $E(R)$ (от немецкого Einheit).

В коммутативном кольце $R$ группа обратимых элементов кольца $U(R)$ действует стандартным образом на $R$ посредством умножения. Орбиты этих действий называются множествами ассоциированных элементов.

Можно показать, что $U$ — это функтор из категории колец в категорию групп: каждый гомоморфизм колец $f:R\rightarrow S$ порождает гомоморфизм групп $U(f):U(R)\rightarrow U(S)$ , поскольку $f$ отображает единицы в единицы.

Кольцо $R$ является телом тогда и только тогда, когда $U(R)=R\backslash \{0\}$ .

Примеры

В кольце целых чисел два делителя единицы: $\pm 1$ .
В кольце вычетов по модулю m обратимыми элементами являются вычеты, взаимно простые с модулем m. Они образуют мультипликативную группу кольца вычетов.
В кольце гауссовых целых чисел четыре делителя единицы: $\pm 1,\pm i$ .
В кольце многочленов над полем любой ненулевой элемент поля коэффициентов (как многочлен нулевой степени) является делителем единицы.

Примечания

↑ Сравните Unit divisor Архивная копия от 19 декабря 2021 на Wayback Machine и Unital ring Архивная копия от 19 декабря 2021 на Wayback Machine

Литература

Ван дер Варден Б. Л. Алгебра. — М.: Наука, 1975.
Зарисский О., Самюэль П. Коммутативная алгебра. — М.: ИЛ, 1963. — Т. 1.
Ленг С. Алгебра. — М.: Мир, 1967.

[1] Сравните Unit divisor Архивная копия от 19 декабря 2021 на Wayback Machine и Unital ring Архивная копия от 19 декабря 2021 на Wayback Machine

[1]