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

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

Изучение конечных групп было неотъемлемой частью теории групп с момента ее возникновения в XIX веке. Одной из основных областей исследований была классификация: классификация конечных простых групп (без нетривиальной нормальной подгруппы ) была завершена в 2004 году.

История [ править ]

В течение двадцатого века математики очень глубоко исследовали некоторые аспекты теории конечных групп, особенно локальную теорию конечных групп и теорию разрешимых и нильпотентных групп . ^[1]^[2] Как следствие, полная классификация конечных простых групп была достигнута все те простые группы , а это означает, что теперь известны , из которых можно построить все конечные группы.

Во второй половине двадцатого века такие математики, как Шевалле и Стейнберг, также расширили наше понимание конечных аналогов классических групп и других родственных групп. Одним из таких семейств групп является семейство общих линейных групп над конечными полями .

Конечные группы часто возникают при рассмотрении симметрии математических или физических объектов, когда эти объекты допускают лишь конечное число преобразований, сохраняющих структуру. Теория групп Ли , которую можно рассматривать как имеющую дело с « непрерывной симметрией », находится под сильным влиянием связанных с ней групп Вейля . Это конечные группы, порожденные отражениями, действующими в конечномерном евклидовом пространстве . Таким образом, свойства конечных групп могут играть роль в таких предметах, как теоретическая физика и химия . ^[3]

Примеры [ править ]

Группы перестановок [ править ]

Симметричная группа S _n на конечном наборе из n символов — это группа , элементами которой являются все перестановки n . символов, а групповая операция которой представляет собой композицию таких перестановок, которые рассматриваются как биективные функции от набора символов к самому себе . ^[4]Поскольку существует n ! ( n факториал ) возможных перестановок набора из n символов, отсюда следует, что порядок (количество элементов) симметрической группы S _n равен n !.

Циклические группы [ править ]

Циклическая группа Zn _— это группа, все элементы которой являются степенями определенного элемента a, где a ^н = а ⁰= e , тождество. Типичная реализация этой группы - комплексные корни n- й степени из единицы . Отправка a к примитивному корню из единицы дает изоморфизм между ними. Это можно сделать с любой конечной циклической группой.

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

Абелева группа , также называемая коммутативной группой , — это группа , в которой результат применения групповой операции к двум элементам группы не зависит от их порядка (аксиома коммутативности ) . Они названы в честь Нильса Хенрика Абеля . ^[5]

Произвольная конечная абелева группа изоморфна прямой сумме конечных циклических групп простого степенного порядка, причем эти порядки определяются однозначно, образуя полную систему инвариантов. конечной Группа автоморфизмов абелевой группы может быть описана непосредственно в терминах этих инвариантов. Теория была впервые развита в статье 1879 года Георга Фробениуса и Людвига Штикельбергера , а затем была одновременно упрощена и обобщена на конечно порожденные модули в области главных идеалов, образуя важную главу линейной алгебры .

Группы типа Лия [ править ]

Группа лиева типа — это группа , тесно связанная с группой G ( k ) рациональных точек редуктивной линейной алгебраической группы G со значениями в поле k . Конечные группы лиева типа дают основную часть неабелевых конечных простых групп . Особые случаи включают классические группы , группы Шевалле , группы Стейнберга и группы Сузуки-Ри.

Конечные группы лиева типа были одними из первых групп, которые рассматривались в математике, после циклических , симметричных и знакопеременных групп, с проективными специальными линейными группами над простыми конечными полями, PSL(2, p ), построенными Эваристом Галуа в 1830-х годах. Систематическое исследование конечных групп лиева типа началось с Камиллы Жордана теоремы о том, что проективная специальная линейная группа PSL(2, q ) проста при q ≠ 2, 3. Эта теорема обобщается на проективные группы более высоких размерностей и дает важное бесконечное семейство PSL( n , q ) конечных простых групп . Другие классические группы изучались Леонардом Диксоном в начале 20 века. В 1950-х годах Клод Шевалле понял, что после соответствующей переформулировки многие теоремы о полупростых группах Ли допускают аналоги для алгебраических групп над произвольным полем k , что привело к построению того, что сейчас называется группами Шевалле . Более того, как и в случае с компактными простыми группами Ли, соответствующие группы оказались почти простыми как абстрактные группы ( Теорема о простоте Титса ). Хотя с 19 века было известно, что существуют и другие конечные простые группы (например, группы Матье ), постепенно сформировалось убеждение, что почти все конечные простые группы можно объяснить с помощью соответствующих расширений конструкции Шевалле, а также циклических и знакопеременных групп. Более того, исключения — спорадические группы — обладают многими свойствами, присущими конечным группам лиева типа, и, в частности, могут быть построены и охарактеризованы на основе их геометрии в смысле Титса.

Эта вера теперь превратилась в теорему – классификацию конечных простых групп . Проверка списка конечных простых групп показывает, что группы лиева типа над конечным полем включают все конечные простые группы, кроме циклических групп, знакопеременных групп, группы Титса и 26 спорадических простых групп .

Основные теоремы [ править ]

Теорема Лагранжа [ править ]

Для любой конечной группы порядок ( группы число элементов) каждой подгруппы H G G делит порядок G . Теорема названа в честь Жозефа-Луи Лагранжа .

Теоремы Силова [ править ]

Это обеспечивает частичное обращение к теореме Лагранжа, давая информацию о том, сколько подгрупп данного порядка содержится в G .

Теорема Кэли [ править ]

Теорема Кэли в честь Артура Кэли , утверждает, что каждая G изоморфна подгруппе группа симметрической действующей группы , на G. , названная ^[6] можно понимать как пример группового действия G Это на элементы G . ^[7]

Теорема Бернсайда [ править ]

Теорема Бернсайда в теории групп утверждает, что если G — конечная группа порядка p ^ад ^б, где p и q — простые числа , а a и b — целые неотрицательные числа , G разрешима то . Следовательно, каждый неабелева конечная простая группа имеет порядок, делящийся по крайней мере на три различных простых числа.

– Теорема Фейта Томпсона

Теорема Фейта -Томпсона , или теорема о нечетном порядке , утверждает, что каждая группа нечетного порядка разрешима конечная . Это доказали Уолтер Фейт и Джон Григгс Томпсон ( 1962 , 1963 ).

Классификация конечных простых групп [ править ]

Классификация конечных простых групп — это теорема, утверждающая, что каждая конечная простая группа принадлежит одному из следующих семейств:

Циклическая группа простого порядка;
знакопеременная группа степени не ниже 5;
Простая группа лиева типа ;
Одна из 26 спорадических простых групп ;
( Группа Титсов иногда считается 27-й спорадической группой).

Конечные простые группы можно рассматривать как основные строительные блоки всех конечных групп, что напоминает то, как простые числа являются основными строительными блоками натуральных чисел . Теорема Йордана –Гёльдера — более точный способ сформулировать этот факт о конечных группах. Однако существенное отличие от случая целочисленной факторизации состоит в том, что такие «строительные блоки» не обязательно однозначно определяют группу, поскольку может существовать множество неизоморфных групп с одним и тем же композиционным рядом или, другими словами, Задача расширения не имеет однозначного решения.

Доказательство теоремы занимает десятки тысяч страниц в нескольких сотнях журнальных статей, написанных около 100 авторами и опубликованных в основном в период с 1955 по 2004 год. Горенштейн (ум. 1992), Лайонс и Соломон постепенно публикуют упрощенную и переработанную версию теоремы. доказательство.

Количество групп данного порядка [ править ]

Учитывая положительное целое число n , определить, сколько изоморфизма типов у групп порядка n существует , совсем не является рутинной задачей. Каждая группа простого порядка является циклической , поскольку из теоремы Лагранжа следует, что циклическая подгруппа, порожденная любым из ее неединичных элементов, является всей группой. Если n — квадрат простого числа, то существует ровно два возможных типа изоморфизма группы порядка n , оба из которых абелевы. Если n — высшая степень простого числа, то результаты Грэма Хигмана и Чарльза Симса дают асимптотически правильные оценки количества типов изоморфизма групп порядка n , и это число очень быстро растет с увеличением степени.

В зависимости от простой факторизации n на структуру групп порядка n могут быть наложены некоторые ограничения , как следствие, например, таких результатов, как теоремы Силова . Например, каждая группа порядка pq является циклической, если q < p — простые числа, причем p − 1 не делится на q . Необходимое и достаточное условие см. в циклическом числе .

Если n бесквадратно , то любая группа порядка n разрешима. Теорема Бернсайда , доказанная с использованием групповых символов , утверждает, что каждая группа порядка n разрешима, когда n делится менее чем на три различных простых числа, т. е. если n = p ^ад ^б, где p и q — простые числа, а a и b — целые неотрицательные числа. По теореме Фейта–Томпсона , которая имеет длинное и сложное доказательство, каждая группа порядка n разрешима, когда n нечетно.

Для любого натурального числа n групп порядка n разрешимы . большинство Убедиться в этом для любого конкретного порядка обычно нетрудно (например, существует с точностью до изоморфизма одна неразрешимая группа и 12 разрешимых групп порядка 60), но доказательство этого для всех порядков использует классификацию конечных простых групп. . Для любого натурального числа n существует не более двух простых групп порядка n , и существует бесконечно много натуральных чисел n , для которых существуют две неизоморфные простые группы порядка n .

Таблица отдельных групп порядка n [ править ]

Заказать	# Группы ^[8]	абелев	неабелев
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

См. также [ править ]

Ссылки [ править ]

^ Ашбахер, Майкл (2004). «Состояние классификации конечных простых групп» (PDF) . Уведомления Американского математического общества . Том. 51, нет. 7. С. 736–740.
^ Дэниел Горенштейн (1985), «Огромная теорема», Scientific American , 1 декабря 1985 г., том. 253, нет. 6, стр. 104–115.
^ Теория групп и ее применение в химии Библиотека химии LibreTexts
^ Джейкобсон 2009 , с. 31
^ Джейкобсон 2009 , с. 41
^ Джейкобсон 2009 , с. 38
^ Джейкобсон 2009 , с. 72, упр. 1
^ Хамфрис, Джон Ф. (1996). Курс теории групп . Издательство Оксфордского университета. стр. 238–242. ISBN 0198534590 . Збл 0843.20001 .

Дальнейшее чтение [ править ]

Джейкобсон, Натан (2009). Основная алгебра I (2-е изд.). Дуврские публикации . ISBN 978-0-486-47189-1 .

Внешние ссылки [ править ]

Последовательность OEIS A000001 (Количество групп порядка n)
Последовательность OEIS A000688 (число абелевых групп порядка n )
Последовательность OEIS A060689 (Количество неабелевых групп порядка n)
Небольшие группы по GroupNames
Классификатор групп малого порядка

[1] Ашбахер, Майкл (2004). «Состояние классификации конечных простых групп» (PDF) . Уведомления Американского математического общества . Том. 51, нет. 7. С. 736–740.

[2] Дэниел Горенштейн (1985), «Огромная теорема», Scientific American , 1 декабря 1985 г., том. 253, нет. 6, стр. 104–115.

[3] Теория групп и ее применение в химии Библиотека химии LibreTexts

[Jacobson-def-4] Джейкобсон 2009 , с. 31

[5] Джейкобсон 2009 , с. 41

[6] Джейкобсон 2009 , с. 38

[7] Джейкобсон 2009 , с. 72, упр. 1

[8] Хамфрис, Джон Ф. (1996). Курс теории групп . Издательство Оксфордского университета. стр. 238–242. ISBN 0198534590 . Збл 0843.20001 .

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]