Абелевы группы и их свойства

Абелева группа, это множество \( G \) с бинарной операцией \( * \), для которой справедливо коммутативное свойство:

\[
a * b = b * a
\]

для любых элементов \( a, b \in G \) [1]. Этот фундаментальный признак отличает абелевы группы от более общих групп, где операция может не коммутировать. В большинстве случаев операция в абелевой группе записывается аддитивно, то есть как сложение \( + \), что отражает интуитивное понимание такой структуры.

Название «абелева» происходит от имени норвежского математика Нильса Абеля, внесшего значительный вклад в развитие теории групп.

Примеры и основные конструкции

Классическим примером абелевой группы служит группа целых чисел \( \mathbb{Z} \) с операцией сложения. Более того, циклическая группа, порожденная элементом \( a \), \(G = \langle a \rangle,\) является абелевой. Для любых элементов \(x = a^n, \quad y = a^m,\) справедливо равенство:

\[
xy = a^m a^n = a^{m+n} = a^{n+m} = a^n a^m = yx,
\]

что демонстрирует коммутативность операции умножения в этой группе. Аналогично классы вычетов по модулю \( n \), обозначаемые \( \mathbb{Z}/n\mathbb{Z}\), формируют абелеву группу относительно сложения по модулю с сохранением всех аксиом группы и коммутативности.

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

Ранг и размерность

Абелева группа обладает понятием ранга, минимальной размерностью векторного пространства над полем рациональных чисел \( \mathbb{Q}\), в которое вкладывается фактор-группа по её кручению. Это позволяет рассматривать абелевы группы через призму линейной алгебры и классифицировать их посредством соответствующих векторных пространств.

Модули и операции с элементами

Каждая абелева группа естественным образом является модулем над кольцом целых чисел \( \mathbb{Z}\). Пусть \( n\), натуральное число, а \( x\), элемент группы \( G\), тогда определение умножения элемента на число сводится к повторному сложению:

\[
nx = x + x + \ldots + x
\]

(слагаемых ровно \( n\) раз). Отрицательное умножение задаётся правилом:

\[
(-n)x = -(nx),
\]

что согласуется со структурой группы и её аддитивным характером.

Гомоморфизмы и их структура

Множество гомоморфизмов между двумя абелевыми группами, \(\operatorname{Hom}(G,H),\) содержит все отображения из \( G\) в \( H\), сохраняющие групповую операцию. Оно само образует абелеву группу при покомпонентном сложении гомоморфизмов:

Если \(f,g : G \to H,\) то их сумма определяется как \((f+g)(x) = f(x) + g(x).\).

Это свойство существенно использует коммутативность групповой операции в группе \( H\); если бы она отсутствовала, такая структура могла бы не сохраняться.

Центр группы и критерий абелевости

Центр группы обозначается как \(Z(G),\) и состоит из всех элементов, коммутирующих со всеми остальными элементами группы. Для абелевой группы центр совпадает с самой группой:

Группа является абелевой тогда и только тогда, когда её центр совпадает со всей группой.

Таким образом понятие центра служит мерой «насколько» группа близка к коммутативности.

Классификация конечных абелевых групп

Основополагающая теорема о структуре конечной абелевой группы утверждает: всякая конечная абелева группа может быть разложена в прямую сумму своих циклических подгрупп, порядки которых являются степенями простых чисел. В частности рассматривается изоморфизм между группами вида \(\mathbb{Z}_{mn}\) и прямой суммой \(\mathbb{Z}_m \oplus \mathbb{Z}_n,\) который существует тогда и только тогда, когда числа \( m \) и \( n \) взаимно просты, то есть их наибольший общий делитель равен единице.

Обобщённо любая конечная абелева группа представима в виде прямой суммы циклических подгрупп:

\[
G = \mathbb{Z}_{k_1} \oplus \ldots \oplus \mathbb{Z}_{k_u},
\]

где параметры \( k_i > 0 \), целые числа соответствующего порядка подгруппы.

Эта структура даёт полный классификатор таких групп вплоть до изоморфизма и играет важную роль во многих разделах алгебры и её приложениях.