Конечная группа

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Симметрия снежинки связана с группой поворотов на угол, кратный 60°

Конечная группа в общей алгебрегруппа, содержащая конечное число элементов (это число называется её «порядком»)[1]. Далее группа предполагается мультипликативной, то есть операция в ней обозначается как умножение; аддитивные группы с операцией сложения оговариваются особо. Единицу мультипликативной группы будем обозначать символом 1. Порядок группы принято обозначать

Конечные группы широко используются как в математике, так и в других науках: криптография, кристаллография, атомная физика, теория орнаментов и др. Конечные группы преобразований тесно связаны с симметрией исследуемых объектов.

Свойства и связанные определения

[править | править код]

Теорема Кэли: таблица умножения элементов конечной группы образует латинский квадрат[2].

Порядок элемента g конечной группы G определяется как минимальное натуральное число m такое, что . Порядок определён для каждого элемента конечной группы.

Теорема Лагранжа: порядок любой подгруппы конечной группы является делителем порядка группы.

  • Следствие 1: порядок любого элемента конечной группы — делитель порядка группы.
  • Следствие 2: любой элемент g конечной группы порядка n удовлетворяет соотношению: В теории чисел для приведённой системы вычетов эта формула даёт важную теорему Эйлера.
  • Следствие 3: элемент g конечной группы удовлетворяет соотношению: тогда и только тогда, когда число кратно порядку
  • Следствие 4: пусть порядок элемента g конечной группы равен Две степени этого элемента равны: тогда и только тогда, когда показатели степеней сравнимы по модулю

Частное от деления порядка конечной группы на порядок её подгруппы называется индексом этой подгруппы и обозначается . Например, в вышеприведенной группе кватернионных единиц (порядка 8) есть подгруппа порядка 2 и индекса 4, а также подгруппа порядка 4 и индекса 2.

Теорема Коши (1815 год): любая группа, порядок которой делится на простое число , имеет элемент порядка .

Если всякому делителю порядка группы соответствует подгруппа порядка , то группа называется лагранжевой. Не всякая группа лагранжева — например, порядок группы вращений додекаэдра равен 60, но подгрупп порядка 15 у неё нет[3]. Достаточные условия существования подгруппы заданного порядка (при некоторых дополнительных предположениях) устанавливают теоремы Силова. Примером лагранжевой группы является симметрическая группа .

Смежные классы и факторгруппа

[править | править код]

Пусть H — подгруппа порядка m в конечной группе G порядка n. Будем считать элементы эквивалентными по подгруппе H, если существует такое, что Легко проверить, что это отношение эквивалентности в группе G. Оно разбивает группу на непересекающиеся классы эквивалентности, называемыми (левыми) смежными классами, все они содержат по m элементов, число классов равно индексу подгруппы. Каждый элемент входит в смежный класс , образованный всевозможными произведениями g на элементы подгруппы H.

Если подгруппа H является нормальным делителем, то можно перенести групповую операцию на множество смежных классов, определив:

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

Классификация

[править | править код]

Число различных групп данного порядка

[править | править код]
порядок число групп[4] коммутативных некоммутативных
0 0 0 0
1 1 1 0
2 1 1 0
3 1 1 0
4 2 2 0
5 1 1 0
6 2 1 1
7 1 1 0
8 5 3 2
9 2 2 0
10 2 1 1
11 1 1 0
12 5 2 3
13 1 1 0
14 2 1 1
15 1 1 0
16 14 5 9
17 1 1 0
18 5 2 3
19 1 1 0
20 5 2 3
21 2 1 1
22 2 1 1
23 1 1 0
24 15 3 12
25 2 2 0
26 2 1 1
27 5 3 2
28 4 2 2
29 1 1 0
30 4 1 3

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

[править | править код]

Наиболее простую структуру имеют конечные циклические группы, все элементы которых можно представить как последовательные степени некоторого фиксированного элемента

(n — порядок группы).

Элемент a называется образующим (или первообразным) для данной группы, а сама группа, порождённая обозначается

В качестве образующего элемента для группы могут выступать не только элемент но и те его степени показатель которых взаимно прост с порядком группы. Количество таких образующих элементов для группы порядка n равно (функция Эйлера). Пример: группа комплексных корней из единицы по умножению.

Любая конечная циклическая группа порядка изоморфна аддитивной группе классов вычетов . Этот класс изоморфных групп обычно обозначается . Отсюда вытекает, что,

  • с точностью до изоморфизма, существует только одна конечная циклическая группа данного порядка.
  • циклические группы всегда коммутативны (абелевы) и лагранжевы.
  • циклическая группа имеет нетривиальные подгруппы тогда и только тогда, когда её порядок является составным числом.
  • любая подгруппа циклической группы тоже циклична. Циклической будет и всякая факторгруппа циклической группы G/H. Количество различных подгрупп у циклической группы порядка равно количеству (положительных) делителей числа

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

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

Не всякая коммутативная конечная группа является циклической. Простейший контрпример: четверная группа Клейна.

Группы с простым порядком (p-группы)

[править | править код]

Пусть порядок группы — простое число p, тогда имеют место следующие свойства.

Более общим и более сложным является случай, когда порядок группы — степень простого числа; такие группы принято называть p-группами.

Простые группы

[править | править код]

Конечная группа называется простой, если все её нормальные подгруппы тривиальны (то есть совпадают либо с единичной подгруппой, либо со всей группой)[5]. См. их общую классификацию.

Коммутативные (абелевы) группы

[править | править код]

Основная теорема (Фробениус): всякая коммутативная конечная группа может быть представлена как прямая сумма p-групп. Это следствие общей теоремы о структуре конечнопорождённых абелевых групп для случая, когда группа не имеет элементов бесконечного порядка.

Первые исследования конечных групп появились задолго до появления этого термина, и касались они конкретных представителей данной структуры. Впервые такая потребность возникла при исследовании алгебраических уравнений на разрешимость в радикалах, для чего Лаrpанж, Руффини и Абель глубоко исследовали группы подстановок корней многочленов. В 1771 году Лагранж открыл для циклических групп подстановок теорему, названную его именем и имеющую вполне общий характер. Абель существенно дополнил достижения Лагранжа, а поскольку он выяснил роль коммутативных групп подстановок в данной проблеме, такие группы с тех пор называют абелевыми. В 1815 году Коши доказал, что всякая группа, порядок которой делится на простое число p, обладает элементом порядка p. Доказательство имело общий характер, хотя Коши тоже ограничился группой подстановок.

Вторым объектом для будущей теории стали аддитивные группы вычетов. Простейшая нетривиальная группа из двух элементов рассматривалась ещё Лейбницем, а содержательную теорию этой структуры для произвольного модуля дали Эйлер и Гаусс.

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

В 1854 году Кэли дал первое абстрактное определение группы. В работе 1878 года он доказал ключевую теорему о представлении произвольной конечной группы подстановками. В 1872 году норвежский математик Силов получил свои знаменитые результаты о максимальных p-подгруппах, остающиеся фундаментом теории конечных групп и в наши дни.

Значительный вклад в теорию абстрактных конечных групп внес также Фробениус, благодаря которому были полностью описаны конечные абелевы группы и создана теория их матричных представлений. К концу XIX века конечные группы с успехом применялись как в математике, так и в естественных науках (например, в кристаллографии). В начале XX века труды Эмми Нётер и Артина заложили основы современной теории групп.

Литература

[править | править код]
  • Вечтомов Е. М. О лагранжевых группах. §1. Из истории теории групп // Проблемы историко-научных исследований в математике и математическом образовании : Материалы международной научной конференции. — Пермь: Пермский гос. педагогический университет, 2007. — С. 23—32..
  • Винберг Э. Б. Курс алгебры. — 3-е изд.. — М.: Факториал Пресс, 2002. — 544 с. — ISBN 5-88688-060-7..
  • Горенстейн Д. Конечные простые группы. Введение в их классификацию. — М.: Мир, 1985.
  • Математическая энциклопедия (в 5 томах). — М.: Советская Энциклопедия, 1982.
  • Наварро, Хоакин. Зазеркалье. Симметрия в математике. — М.: Де Агостини, 2014. — 160 с. — (Мир математики: в 45 томах, том 17). — ISBN 978-5-9774-0712-0.
  • Холл М. Теория групп. М.: Издательство иностранной литературы, 1962.

Примечания

[править | править код]
  1. Математическая энциклопедия, 1982, Том 2. Конечная группа.
  2. Малых А. Е. О проблеме Киркмана и её развитии во второй половине XIX — начале XX столетий // Проблемы историко-научных исследований в математике и математическом образовании : Материалы международной научной конференции, Пермь, сентябрь 2007 г.. — Пермь: Пермский Гос. Пед. Университет, 2007. — С. 84..
  3. Стюарт, Ян. Концепции современной математики. — Минск: Вышейшая школа, 1980. — С. 133—134. — 384 с.
  4. Humphreys, John F. A Course in Group Theory (англ.). — Oxford University Press, 1996. — P. 238—242. — ISBN 0198534590.
  5. Математическая энциклопедия, 1982, Том 4.Простая группа.