Конечная циклическая группа

Конечная циклическая группа — это группа, состоящая из конечного числа элементов, которая может быть порождена одним элементом. Иными словами, существует такой элемент \( g \) (называемый образующей или генератором группы), что любой элемент группы представляется в виде степени \( g^k \) (где \( k \) — целое число), а сама группа содержит лишь конечное множество различных таких степеней. Конечные циклические группы являются одним из простейших и наиболее важных классов групп в абстрактной алгебре, служа фундаментальным строительным блоком для теории конечных групп и их приложений в криптографии, теории чисел и физике.

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

Формально, группа \( G \) называется циклической, если существует элемент \( a \in G \) такой, что \( G = \langle a \rangle = \{ a^n \mid n \in \mathbb{Z} \} \). Если группа \( G \) конечна и имеет порядок \( n \) (то есть содержит ровно \( n \) элементов), то она называется конечной циклической группой порядка \( n \). Обозначается такая группа обычно как \( C_n \) или \( \mathbb{Z}_n \) (последнее — в контексте аддитивной записи).

Ключевое свойство: в конечной циклической группе порядка \( n \) элемент \( a^k \) является образующей тогда и только тогда, когда \( \gcd(k, n) = 1 \). Таким образом, количество различных образующих в \( C_n \) равно значению функции Эйлера \( \varphi(n) \). Все конечные циклические группы одного порядка изоморфны между собой; в частности, \( C_n \) изоморфна аддитивной группе вычетов по модулю \( n \) (обозначаемой \( \mathbb{Z}/n\mathbb{Z} \) или \( \mathbb{Z}_n \)).

Классификация и примеры

Классификация по порядку

Конечные циклические группы классифицируются по своему порядку — натуральному числу \( n \). Для каждого \( n \in \mathbb{N} \) существует ровно одна (с точностью до изоморфизма) конечная циклическая группа порядка \( n \). Примеры:

• \( C_1 \) — тривиальная группа, состоящая из одного нейтрального элемента.
• \( C_2 \) — группа из двух элементов: нейтрального и элемента порядка 2 (например, {1, -1} с умножением).
• \( C_3 \) — группа из трёх элементов: {1, ω, ω²}, где ω — комплексный корень кубический из единицы.
• \( C_4 \) — группа из четырёх элементов: {1, i, -1, -i} с умножением комплексных чисел.

Примеры из различных областей

• Аддитивная группа целых чисел по модулю \( n \) (\( \mathbb{Z}_n \)): элементы — классы вычетов 0, 1, ..., n-1, операция — сложение по модулю n. Образующей является класс 1 (или любой другой, взаимно простой с n).
• Мультипликативная группа корней из единицы: множество комплексных чисел \( z \), таких что \( z^n = 1 \), образует циклическую группу порядка n с образующей \( e^{2\pi i / n} \).
• Группа вращений правильного n-угольника (в диэдральной группе \( D_n \)): подгруппа поворотов на углы, кратные \( 360^\circ / n \), является циклической порядка n.
• Циклические подгруппы в произвольных группах: для любого элемента \( g \) конечной группы \( G \) подгруппа \( \langle g \rangle \) является конечной циклической, её порядок равен порядку элемента \( g \).

Теорема о структуре конечных циклических групп

Теорема Лагранжа и её следствия

Для конечной циклической группы \( C_n \) порядок любой её подгруппы делит \( n \). Более того, для каждого делителя \( d \) числа \( n \) существует ровно одна подгруппа порядка \( d \), и эта подгруппа также является циклической. Таким образом, решётка подгрупп \( C_n \) изоморфна решётке делителей числа \( n \).

Разложение в прямую сумму

Конечная циклическая группа \( C_n \) может быть разложена в прямую сумму (прямое произведение) циклических групп тогда и только тогда, когда \( n \) раскладывается в произведение взаимно простых сомножителей. А именно, если \( n = n_1 n_2 \cdots n_k \), где \( \gcd(n_i, n_j) = 1 \) для всех \( i \neq j \), то \( C_n \cong C_{n_1} \times C_{n_2} \times \cdots \times C_{n_k} \). Это свойство лежит в основе китайской теоремы об остатках.

Применение

В криптографии

Конечные циклические группы широко используются в криптографии с открытым ключом. Например, в протоколе Диффи — Хеллмана используется циклическая подгруппа мультипликативной группы конечного поля. Безопасность многих криптосистем (например, схемы Эль-Гамаля) основана на сложности задачи дискретного логарифмирования в циклической группе большого порядка.

В теории чисел

Циклические группы естественно возникают при изучении мультипликативных групп вычетов по модулю \( n \). Группа \( (\mathbb{Z}/p\mathbb{Z})^\times \) для простого \( p \) всегда циклическая (это теорема о существовании первообразного корня). Для составных \( n \) эта группа может быть нециклической, но её структура описывается через прямые произведения циклических групп.

В физике и химии

Циклические группы используются для описания симметрий. Например, группа \( C_n \) описывает вращательную симметрию n-го порядка в молекулах (например, молекула воды имеет симметрию \( C_2 \)). В квантовой механике циклические группы возникают при рассмотрении дискретных симметрий.

Критика и ограничения

Несмотря на простоту, конечные циклические группы не охватывают всё многообразие конечных групп. Многие важные группы (например, симметрические группы \( S_n \) при \( n \geq 3 \), знакопеременные группы \( A_n \) при \( n \geq 4 \)) не являются циклическими. Кроме того, в приложениях часто требуются нециклические группы (например, группы точек эллиптических кривых в криптографии). Тем не менее, любая конечная абелева группа разлагается в прямую сумму циклических групп (основная теорема о конечных абелевых группах), что подчёркивает фундаментальную роль циклических групп.

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

• Группа \( C_n \) является абелевой (коммутативной) для любого \( n \).
• Все конечные группы простого порядка \( p \) являются циклическими (следствие теоремы Лагранжа).
• Группа автоморфизмов \( C_n \) изоморфна мультипликативной группе вычетов по модулю \( n \), то есть \( \text{Aut}(C_n) \cong (\mathbb{Z}/n\mathbb{Z})^\times \).
• В теории представлений неприводимые представления \( C_n \) над комплексными числами — это одномерные представления, соответствующие корням из единицы.

Источники

• Ленг С. Алгебра. — М.: Мир, 1968.
• Винберг Э. Б. Курс алгебры. — М.: МЦНМО, 2013.
• Кострикин А. И. Введение в алгебру. Часть I. Основы алгебры. — М.: Физматлит, 2004.
• Dummit D. S., Foote R. M. Abstract Algebra. — 3rd ed. — Wiley, 2004.