Русская Википедия:Конечная группа

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Файл:Snowflake7.png
Симметрия снежинки связана с группой поворотов на угол, кратный 60°

Конечная группа в общей алгебре — группа, содержащая конечное число элементов (это число называется её «порядком»)Шаблон:Sfn. Далее группа предполагается мультипликативной, то есть операция в ней обозначается как умножение; аддитивные группы с операцией сложения оговариваются особо. Единицу мультипликативной группы будем обозначать символом 1. Порядок группы <math>G</math> принято обозначать <math>|G|.</math>

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

Примеры

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

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

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

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

  • Следствие 1: порядок любого элемента конечной группы — делитель порядка группы.
  • Следствие 2: любой элемент g конечной группы порядка n удовлетворяет соотношению: <math>g^n = 1.</math> В теории чисел для приведённой системы вычетов эта формула даёт важную теорему Эйлера.
  • Следствие 3: элемент g конечной группы удовлетворяет соотношению: <math>g^m = 1</math> тогда и только тогда, когда число <math>m</math> кратно порядку <math>g.</math>
  • Следствие 4: пусть порядок элемента g конечной группы равен <math>m.</math> Две степени этого элемента равны: <math>g^i=g^k</math> тогда и только тогда, когда показатели степеней сравнимы по модулю <math>m:</math>
<math>i \equiv k \pmod m</math>

Частное от деления порядка конечной группы <math>G</math> на порядок её подгруппы <math>H</math> называется индексом этой подгруппы и обозначается <math>G : H</math>. Например, в вышеприведенной группе кватернионных единиц (порядка 8) есть подгруппа <math>\{1; -1\}</math> порядка 2 и индекса 4, а также подгруппа <math>\{1; -1; i; -i\}</math> порядка 4 и индекса 2.

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

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

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

 Шаблон:Main

Пусть H — подгруппа порядка m в конечной группе G порядка n. Будем считать элементы <math>g, g' \in G</math> эквивалентными по подгруппе H, если существует <math>h \in H</math> такое, что <math>g=g'h.</math> Легко проверить, что это отношение эквивалентности в группе G. Оно разбивает группу на непересекающиеся классы эквивалентности, называемыми (левыми) смежными классами, все они содержат по m элементов, число классов равно индексу подгруппы. Каждый элемент <math>g \in G</math> входит в смежный класс <math>\bar{g} = g H</math>, образованный всевозможными произведениями g на элементы подгруппы H.

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

<math>(g_1 H) (g_2 H) = (g_1 g_2) H</math>

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

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

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

Шаблон:Also

порядок число групп[3] коммутативных некоммутативных
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

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

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

<math>1, a, a^2, a^3 \dots a^{n-1}\ </math> (n — порядок группы).

Элемент a называется образующим (или первообразным) для данной группы, а сама группа, порождённая <math>a,</math> обозначается <math>\langle a \rangle.</math>

В качестве образующего элемента для группы <math>\langle a \rangle</math> могут выступать не только элемент <math>a,</math> но и те его степени <math>a^k,</math> показатель <math>k</math> которых взаимно прост с порядком группы. Количество таких образующих элементов для группы порядка n равно <math>\varphi(n)</math> (функция Эйлера). Пример: группа комплексных корней из единицы по умножению.

Любая конечная циклическая группа порядка <math>n</math> изоморфна аддитивной группе классов вычетов <math>\mathbb{Z}_n</math>. Этот класс изоморфных групп обычно обозначается <math>C_n</math>. Отсюда вытекает, что,

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

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

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

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

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

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

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

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

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

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

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

История

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

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

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

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

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

См. также

Шаблон:Кол

Шаблон:Конец кол

Литература

Ссылки

Примечания

Шаблон:Примечания

Внешние ссылки

  1. ↑ Шаблон:Статья
  2. ↑ Шаблон:Книга
  3. ↑ Шаблон:Книга

Шаблон:Выбор языка Шаблон:Теория групп

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

Источник — http://wikihandbk.com/ruwiki/index.php?title=Русская_Википедия:Конечная_группа&oldid=10158299