Обратимый элемент

Обратимый элемент — это элемент математической структуры (группы, кольца, полугруппы, моноида), для которого существует другой элемент, называемый обратным, такой, что их композиция (бинарная операция) даёт нейтральный элемент (единицу) данной структуры. Понятие обратимости является фундаментальным в абстрактной алгебре и теории групп, лежит в основе определения групп и полей, а также широко используется в линейной алгебре, теории чисел, криптографии и других разделах математики.

Определение

Пусть задана алгебраическая структура \((S, )\) с бинарной операцией \(\) и нейтральным элементом \(e\). Элемент \(a \in S\) называется обратимым (или имеющим обратный элемент), если существует такой элемент \(b \in S\), что выполняется равенство:

\[ a b = b a = e \]

Элемент \(b\) при этом называется обратным к \(a\) и обычно обозначается \(a^{-1}\) (в мультипликативной записи) или \(-a\) (в аддитивной записи). Если операция некоммутативна, то различают левый обратный (\(b a = e\)) и правый обратный (\(a b = e\)), однако в большинстве классических структур (группы, кольца с единицей) обратный элемент единственен и двусторонен.

Свойства обратимых элементов

• Единственность: если обратный элемент существует, то он единственен.
• Обратный к обратному: \((a^{-1})^{-1} = a\).
• Обратный произведения: \((a b)^{-1} = b^{-1} a^{-1}\) (в некоммутативном случае порядок меняется).
• Нейтральный элемент обратим сам себе: \(e^{-1} = e\).

Примеры в различных структурах

Группы

В любой группе все элементы по определению обратимы. Например:

• В группе целых чисел по сложению \((\mathbb{Z}, +)\) нейтральный элемент — 0, обратный к \(n\) — это \(-n\).
• В группе ненулевых действительных чисел по умножению \((\mathbb{R}^\times, \cdot)\) нейтральный элемент — 1, обратный к \(x\) — это \(1/x\).

Кольца

В кольце с единицей (например, кольцо целых чисел \(\mathbb{Z}\), кольцо матриц \(M_n(\mathbb{R})\)) обратимыми называются элементы, имеющие мультипликативный обратный. Они образуют группу единиц кольца.

• В кольце \(\mathbb{Z}\) обратимыми являются только \(+1\) и \(-1\) (единицы кольца).
• В кольце матриц \(M_n(\mathbb{R})\) обратимыми являются невырожденные матрицы (с ненулевым определителем). Их группа — общая линейная группа \(GL_n(\mathbb{R})\).
• В кольце вычетов \(\mathbb{Z}_n\) (по модулю \(n\)) обратимыми являются числа, взаимно простые с \(n\). Их количество равно значению функции Эйлера \(\varphi(n)\).

Полугруппы и моноиды

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

Классификация и связанные понятия

Обратимые и необратимые элементы

В структурах, не являющихся группами, обратимость — дополнительное свойство. Например, в кольце \(\mathbb{Z}\) большинство элементов необратимы (кроме \(\pm 1\)). В кольце многочленов \(K[x]\) над полем обратимы только ненулевые константы.

Единицы кольца

Множество всех обратимых элементов кольца \(R\) с единицей обозначается \(R^\times\) или \(U(R)\) и всегда образует группу по умножению. Эта группа называется группой единиц кольца. Например, \(U(\mathbb{Z}) = \{\pm 1\}\), \(U(M_n(\mathbb{R})) = GL_n(\mathbb{R})\).

Обратимые матрицы

В линейной алгебре квадратная матрица \(A\) называется обратимой (невырожденной), если существует матрица \(A^{-1}\) такая, что \(A A^{-1} = A^{-1} A = I\) (единичная матрица). Критерий обратимости: определитель матрицы не равен нулю. Обратимые матрицы образуют общую линейную группу \(GL_n(\mathbb{F})\) над полем \(\mathbb{F}\).

Обратимые элементы в модулях

В теории модулей обратимый элемент — это элемент кольца, порождающий свободный модуль ранга 1. В более общем смысле, обратимый пучок в алгебраической геометрии — это локально свободный пучок ранга 1.

Применение

Криптография

Обратимость элементов лежит в основе многих криптографических алгоритмов:

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

Теория кодирования

В линейных кодах (например, коды Рида — Соломона) обратимость элементов поля Галуа используется для построения порождающих и проверочных матриц, а также для декодирования.

Алгебраические уравнения

Обратимые элементы позволяют решать уравнения вида \(a x = b\) в кольцах: если \(a\) обратим, то \(x = a^{-1} b\). В противном случае решение может не существовать или быть неединственным.

Компьютерная алгебра

Системы компьютерной алгебры (SymPy, Mathematica, Maple) реализуют алгоритмы поиска обратных элементов в кольцах вычетов, матричных кольцах, полях и других структурах. Например, расширенный алгоритм Евклида используется для нахождения обратного в \(\mathbb{Z}_n\).

Критерии обратимости

• В кольце вычетов \(\mathbb{Z}_n\): элемент \(a\) обратим тогда и только тогда, когда \(\gcd(a, n) = 1\).
• В кольце матриц \(M_n(F)\): матрица обратима тогда и только тогда, когда её определитель не равен нулю (над полем) или является единицей кольца (над коммутативным кольцом).
• В кольце многочленов \(K[x]\): многочлен обратим тогда и только тогда, когда он является ненулевой константой (если \(K\) — поле).
• В кольце целых чисел: обратимы только \(\pm 1\).

История

Понятие обратного элемента восходит к древним цивилизациям: в Вавилоне и Древнем Египте использовались обратные числа для деления (например, в математическом папирусе Ринда, ок. 1650 г. до н. э.). Формальное определение обратимости в алгебраических структурах появилось в XIX веке в работах Эвариста Галуа (группы подстановок), Огюстена Луи Коши (теория групп), Артура Кэли (абстрактные группы) и Рихарда Дедекинда (кольца и поля). В XX веке понятие стало центральным в современной алгебре, а также нашло применение в квантовой механике (обратимые операторы) и теории информации.

Интересные факты

• В кольце вычетов по модулю 1 (тривиальном кольце) все элементы обратимы, так как единственный элемент 0 является одновременно и единицей.
• В некоммутативных кольцах (например, кольцо кватернионов) обратимые элементы образуют группу, но не обязательно абелеву.
• В теории категорий понятие обратимого морфизма (изоморфизма) обобщает обратимость на произвольные категории.

Источники

• Винберг Э. Б. Курс алгебры. — М.: МЦНМО, 2013.
• Ленг С. Алгебра. — М.: Мир, 1968.
• Кострикин А. И. Введение в алгебру. — М.: Наука, 1977.
• Dummit D. S., Foote R. M. Abstract Algebra. — 3rd ed. — Wiley, 2004.
• Mac Lane S., Birkhoff G. Algebra. — AMS Chelsea Publishing, 1999.