Неабелева группа

Неабелева группа — это группа, в которой операция умножения (или сложения, в зависимости от обозначения) не является коммутативной. Иными словами, существуют такие элементы \(a\) и \(b\) группы, что \(a \cdot b \neq b \cdot a\). В отличие от абелевых групп, названных в честь норвежского математика Нильса Хенрика Абеля, неабелевы группы обладают более сложной внутренней структурой и широко используются в различных разделах математики, физики и других наук.

Определение и основные свойства

Группа \((G, \cdot)\) называется неабелевой, если для неё не выполняется аксиома коммутативности: существует хотя бы одна пара элементов \(a, b \in G\), для которых \(a \cdot b \neq b \cdot a\). Формально это записывается как \(\exists a, b \in G: a \cdot b \neq b \cdot a\). Если же для всех элементов группы выполняется \(a \cdot b = b \cdot a\), то группа называется абелевой.

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

• Порядок элементов: В неабелевых группах произведение элементов может иметь порядок, отличный от произведения порядков сомножителей.
• Центр группы: Центр \(Z(G)\) (множество элементов, коммутирующих со всеми элементами группы) в неабелевой группе является нетривиальной подгруппой, но не совпадает со всей группой. В абелевых группах центр совпадает с самой группой.
• Коммутант: Подгруппа, порождённая коммутаторами \([a,b] = a^{-1}b^{-1}ab\), в неабелевых группах нетривиальна и является мерой «некоммутативности» группы.

Примеры неабелевых групп

Симметрические группы

Симметрическая группа \(S_n\) (группа всех перестановок множества из \(n\) элементов) является неабелевой для всех \(n \geq 3\). Например, в \(S_3\) (группа перестановок трёх элементов) существуют такие перестановки \(a\) и \(b\), что \(a \circ b \neq b \circ a\). Эта группа имеет порядок 6 и является наименьшей неабелевой группой.

Группы диэдра

Группа диэдра \(D_n\) (группа симметрий правильного \(n\)-угольника) является неабелевой для всех \(n \geq 3\). Она состоит из \(n\) вращений и \(n\) отражений. Например, в \(D_3\) (группа симметрий равностороннего треугольника) композиция вращения и отражения не коммутирует.

Группы матриц

Полная линейная группа \(GL(n, \mathbb{R})\) (группа обратимых матриц размера \(n \times n\) над полем действительных чисел) является неабелевой для \(n \geq 2\). Умножение матриц в общем случае некоммутативно. Например, для матриц \[ A = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}, \quad B = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \] выполняется \(AB \neq BA\).

Группы кватернионов

Группа кватернионов \(Q_8\) (порядка 8) является неабелевой группой, состоящей из элементов \(\{1, -1, i, -i, j, -j, k, -k\}\) с умножением, заданным правилами \(i^2 = j^2 = k^2 = -1\) и \(ij = k, ji = -k\). Эта группа является классическим примером неабелевой группы, не являющейся диэдральной.

Группы Ли

Неабелевы группы Ли, такие как \(SO(3)\) (группа вращений трёхмерного пространства) или \(SU(2)\) (специальная унитарная группа), играют ключевую роль в физике, особенно в квантовой механике и теории поля. Вращения в трёхмерном пространстве не коммутируют, что отражается в некоммутативности соответствующих групп.

Классификация и структура

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

Конечные неабелевы группы

Классификация конечных простых групп (завершённая в 1980-х годах) показала, что все конечные простые группы делятся на несколько семейств: циклические простые группы (абелевы), знакопеременные группы \(A_n\) для \(n \geq 5\) (неабелевы), группы лиева типа (неабелевы) и 26 спорадических групп (неабелевы). Знакопеременные группы \(A_n\) являются подгруппами симметрических групп, состоящими из чётных перестановок, и для \(n \geq 5\) они просты и неабелевы.

Бесконечные неабелевы группы

Бесконечные неабелевы группы включают:

• Свободные группы: Группы, порождённые множеством элементов без каких-либо соотношений, кроме определяющих аксиом группы. Свободные группы с двумя или более порождающими являются неабелевыми.
• Группы с одним определяющим соотношением: Например, группа \( \langle a, b \mid a^2 = b^3 = e \rangle \) (группа треугольника) является неабелевой.
• Группы матриц: \(GL(n, \mathbb{R})\), \(SL(n, \mathbb{R})\) (специальная линейная группа), \(O(n)\) (ортогональная группа) и другие.

Применение

Физика

Неабелевы группы играют фундаментальную роль в физике элементарных частиц. Калибровочные теории, такие как квантовая хромодинамика (описывающая сильное взаимодействие), основаны на неабелевой калибровочной группе \(SU(3)\). Стандартная модель использует калибровочную группу \(SU(3) \times SU(2) \times U(1)\), где \(SU(3)\) и \(SU(2)\) неабелевы. Неабелевы группы Ли также используются в теории представлений для описания симметрий квантовых систем.

Кристаллография

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

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

Некоторые криптографические системы, такие как криптосистема на основе проблемы сопряжённости в неабелевых группах, используют некоммутативность для построения алгоритмов шифрования. Например, протокол обмена ключами Аншеля-Аншеля-Гольдфельда основан на неабелевых группах.

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

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

Связь с другими математическими структурами

Неабелевы группы тесно связаны с другими алгебраическими структурами:

• Кольца и поля: Некоммутативные кольца (например, кольца матриц) порождают неабелевы группы по сложению и умножению.
• Алгебры Ли: Каждой неабелевой группе Ли соответствует алгебра Ли, которая является линейным пространством с неассоциативной операцией (скобкой Ли).
• Топология: Фундаментальная группа топологического пространства часто является неабелевой. Например, фундаментальная группа букета окружностей — свободная группа, которая неабелева.

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

• Наименьшая неабелева группа — это \(S_3\) (порядка 6). Она изоморфна группе диэдра \(D_3\).
• Существуют неабелевы группы, в которых все собственные подгруппы абелевы (например, группа кватернионов \(Q_8\)).
• В неабелевых группах может быть нетривиальный центр. Например, центр группы \(Q_8\) — это \(\{1, -1\}\).
• Проблема слов в неабелевых группах (определение, равен ли элемент единице) в общем случае алгоритмически неразрешима, что было доказано П. С. Новиковым в 1955 году.

Источники

• Винберг Э. Б. Курс алгебры. — М.: МЦНМО, 2013.
• Каргаполов М. И., Мерзляков Ю. И. Основы теории групп. — М.: Наука, 1982.
• Холл М. Теория групп. — М.: ИЛ, 1962.
• Ленг С. Алгебра. — М.: Мир, 1968.
• Dummit D. S., Foote R. M. Abstract Algebra. — 3rd ed. — Wiley, 2004.