Loading AI tools
алгебраическая структура - группа, содержащая конечное число элементов Из Википедии, свободной энциклопедии
Конечная группа в общей алгебре — группа, содержащая конечное число элементов (это число называется её «порядком»)[1]. Далее группа предполагается мультипликативной, то есть операция в ней обозначается как умножение; аддитивные группы с операцией сложения оговариваются особо. Единицу мультипликативной группы будем обозначать символом 1. Порядок группы принято обозначать
Конечные группы широко используются как в математике, так и в других науках: криптография, кристаллография, атомная физика, теория орнаментов и др. Конечные группы преобразований тесно связаны с симметрией исследуемых объектов.
Теорема Кэли: таблица умножения элементов конечной группы образует латинский квадрат[2].
Порядок элемента g конечной группы G определяется как минимальное натуральное число m такое, что . Порядок определён для каждого элемента конечной группы.
Теорема Лагранжа: порядок любой подгруппы конечной группы является делителем порядка группы.
Частное от деления порядка конечной группы на порядок её подгруппы называется индексом этой подгруппы и обозначается . Например, в вышеприведенной группе кватернионных единиц (порядка 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 |
Наиболее простую структуру имеют конечные циклические группы, все элементы которых можно представить как последовательные степени некоторого фиксированного элемента
Элемент a называется образующим (или первообразным) для данной группы, а сама группа, порождённая обозначается
В качестве образующего элемента для группы могут выступать не только элемент но и те его степени показатель которых взаимно прост с порядком группы. Количество таких образующих элементов для группы порядка n равно (функция Эйлера). Пример: группа комплексных корней из единицы по умножению.
Любая конечная циклическая группа порядка изоморфна аддитивной группе классов вычетов . Этот класс изоморфных групп обычно обозначается . Отсюда вытекает, что,
Степени любого элемента произвольной конечной группы образуют циклическую подгруппу , порождённую (для единицы это будет тривиальная подгруппа, состоящую только из самой единицы). Эта подгруппа содержится в любой другой подгруппе содержащей элемент Порядок равен порядку порождающего элемента Следствие: группа порядка является циклической тогда и только тогда, когда в ней существует элемент того же порядка
Все группы, у которых порядок меньше 4 — циклические, поэтому для них не существует двух неизоморфных групп одного и того же порядка. Группа порядка 1 (тривиальная группа) содержит только единицу. Группа порядка 2 состоит из элементов (причём ); в планиметрии такова, например, группа преобразований из единицы (тождественного преобразования) и зеркального отражения относительно фиксированной прямой. Группа порядка 3 содержит элементы
Не всякая коммутативная конечная группа является циклической. Простейший контрпример: четверная группа Клейна.
Пусть порядок группы — простое число p, тогда имеют место следующие свойства.
Более общим и более сложным является случай, когда порядок группы — степень простого числа; такие группы принято называть p-группами.
Конечная группа называется простой, если все её нормальные подгруппы тривиальны (то есть совпадают либо с единичной подгруппой, либо со всей группой)[5]. См. их общую классификацию.
Основная теорема (Фробениус): всякая коммутативная конечная группа может быть представлена как прямая сумма p-групп. Это следствие общей теоремы о структуре конечнопорождённых абелевых групп для случая, когда группа не имеет элементов бесконечного порядка.
Первые исследования конечных групп появились задолго до появления этого термина, и касались они конкретных представителей данной структуры. Впервые такая потребность возникла при исследовании алгебраических уравнений на разрешимость в радикалах, для чего Лаrpанж, Руффини и Абель глубоко исследовали группы подстановок корней многочленов. В 1771 году Лагранж открыл для циклических групп подстановок теорему, названную его именем и имеющую вполне общий характер. Абель существенно дополнил достижения Лагранжа, а поскольку он выяснил роль коммутативных групп подстановок в данной проблеме, такие группы с тех пор называют абелевыми. В 1815 году Коши доказал, что всякая группа, порядок которой делится на простое число p, обладает элементом порядка p. Доказательство имело общий характер, хотя Коши тоже ограничился группой подстановок.
Вторым объектом для будущей теории стали аддитивные группы вычетов. Простейшая нетривиальная группа из двух элементов рассматривалась ещё Лейбницем, а содержательную теорию этой структуры для произвольного модуля дали Эйлер и Гаусс.
Термин «группа» впервые появился в работах Галуа, тоже изучавшего группы подстановок, однако определение было дано в достаточно общем виде. Галуа также ввёл фундаментальные понятия нормальной подгруппы, факторгруппы, разрешимой группы.
В 1854 году Кэли дал первое абстрактное определение группы. В работе 1878 года он доказал ключевую теорему о представлении произвольной конечной группы подстановками. В 1872 году норвежский математик Силов получил свои знаменитые результаты о максимальных p-подгруппах, остающиеся фундаментом теории конечных групп и в наши дни.
Значительный вклад в теорию абстрактных конечных групп внес также Фробениус, благодаря которому были полностью описаны конечные абелевы группы и создана теория их матричных представлений. К концу XIX века конечные группы с успехом применялись как в математике, так и в естественных науках (например, в кристаллографии). В начале XX века труды Эмми Нётер и Артина заложили основы современной теории групп.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.