Список малых групп - List of small groups

эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью от добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален. Найдите источники: «Список малых групп»  – Новости  · газеты  · книги  · ученый  · JSTOR (Октябрь 2018 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

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

Подсчитывает

Для ${ Displaystyle п = 1,2, точки}$ количество неизоморфных групп порядка ${ displaystyle n}$ является

1, 1, 1, 2, 1, 2, 1, 5, 2, 2, 1, 5, 1, 2, 1, 14, 1, 5, 1, 5, ... (последовательность A000001 в OEIS )

Для помеченных групп см. OEIS: A034383.

Глоссарий

Каждая группа названа по Библиотека малых групп как G_о^я, где о - порядок группы, а я это индекс группы в этом порядке.

Общие названия групп:

• Z_п: the циклическая группа порядка п (обозначение C_п также используется; он изоморфен аддитивная группа из Z/пZ).
• Dih_п: the группа диэдра порядка 2п (часто обозначение D_п или D_2п используется )
  • K₄: the Кляйн четыре группы порядка 4, как Z₂ × Z₂ и Ди₂.
• S_п: the симметричная группа степени п, содержащий п! перестановки из п элементы.
• А_п: the переменная группа степени п, содержащий даже перестановки из п элементов, порядка 1 для п = 0, 1, и заказать п! / 2 иначе.
• Dic_п или Q_4n: the дициклическая группа порядка 4п.
  • Q₈: the группа кватернионов порядка 8, также Dic₂.

Обозначения Z_п и Ди_п иметь то преимущество, что группы точек в трех измерениях C_п и D_п не имеют одинаковых обозначений. Есть еще группы изометрий чем эти два, того же абстрактного типа группы.

Обозначение г × ЧАС обозначает прямой продукт из двух групп; г^п обозначает прямое произведение группы на себя п раз. г ⋊ ЧАС обозначает полупрямой продукт где ЧАС действует на г; это также может зависеть от выбора действия ЧАС на г

Абелев и простые группы отмечены. (Для групп заказа п < 60, простые группы - это в точности циклические группы Z_п, для премьер п.) Знак равенства («=») означает изоморфизм.

Элемент идентичности в графики цикла представлен черным кружком. Самый низкий порядок, для которого граф циклов не является однозначным представлением группы, - это порядок 16.

В списках подгрупп тривиальная группа и сама группа не указаны. Если имеется несколько изоморфных подгрупп, количество таких подгрупп указано в скобках.

Список малых абелевых групп

Конечные абелевы группы являются либо циклическими группами, либо их прямыми произведениями; увидеть абелевы группы.Количество неизоморфных абелевых групп порядков ${ Displaystyle п = 1,2, точки}$ находятся

1, 1, 1, 2, 1, 1, 1, 3, 2, 1, 1, 2, 1, 1, 1, 5, 1, 2, 1, 2, ... (последовательность A000688 в OEIS )

О меченых абелевых группах см. OEIS: A034382.

Список всех абелевых групп до 31 порядка

порядок	МНЕ БЫ	гоя	Группа	Нетривиальные собственные подгруппы	Цикл график	Свойства
1	1	г11	Z1 = S1 = А2	–		Банальный. Циклический. Чередование. Симметричный. Элементарный.
2	2	г21	Z2 = S2 = Dih1	–		Просто. Симметричный. Циклический. Элементарно. (Наименьшая нетривиальная группа.)
3	3	г31	Z3 = А3	–		Просто. Чередование. Циклический. Элементарно.
4	4	г41	Z4 = Dic1	Z2		Циклический.
	5	г42	Z22 = K4 = Dih2	Z2 (3)		Элементарно. Товар. (Кляйн четыре группы. Наименьшая нециклическая группа.)
5	6	г51	Z5	–		Просто. Циклический. Элементарно.
6	8	г62	Z6 = Z3 × Z2[1]	Z3, Z2		Циклический. Товар.
7	9	г71	Z7	–		Просто. Циклический. Элементарно.
8	10	г81	Z8	Z4, Z2		Циклический.
	11	г82	Z4 × Z2	Z22, Z4 (2), Z2 (3)		Товар.
	14	г85	Z23	Z22 (7), Z2 (7)		Товар. Элементарно. (Неединичные элементы соответствуют точкам в Самолет Фано, то Z2 × Z2 подгруппы к строкам.)
9	15	г91	Z9	Z3		Циклический.
	16	г92	Z32	Z3 (4)		Элементарно. Товар.
10	18	г102	Z10 = Z5 × Z2	Z5, Z2		Циклический. Товар.
11	19	г111	Z11	–		Просто. Циклический. Элементарно.
12	21	г122	Z12 = Z4 × Z3	Z6, Z4, Z3, Z2		Циклический. Товар.
	24	г125	Z6 × Z2 = Z3 × Z22	Z6 (3), Z3, Z2 (3), Z22		Товар.
13	25	г131	Z13	–		Просто. Циклический. Элементарно.
14	27	г142	Z14 = Z7 × Z2	Z7, Z2		Циклический. Товар.
15	28	г151	Z15 = Z5 × Z3	Z5, Z3		Циклический. Товар.
16	29	г161	Z16	Z8, Z4, Z2		Циклический.
	30	г162	Z42	Z2 (3), Z4 (6), Z22, Z4 × Z2 (3)		Товар.
	33	г165	Z8 × Z2	Z2 (3), Z4 (2), Z22, Z8 (2), Z4 × Z2		Товар.
	38	г1610	Z4 × Z22	Z2 (7), Z4 (4), Z22 (7), Z23, Z4 × Z2 (6)		Товар.
	42	г1614	Z24 = K42	Z2 (15), Z22 (35), Z23 (15)		Товар. Элементарно.
17	43	г171	Z17	–		Просто. Циклический. Элементарно.
18	45	г182	Z18 = Z9 × Z2	Z9, Z6, Z3, Z2		Циклический. Товар.
	48	г185	Z6 × Z3 = Z32 × Z2	Z6, Z3, Z2		Товар.
19	49	г191	Z19	–		Просто. Циклический. Элементарно.
20	51	г202	Z20 = Z5 × Z4	Z10, Z5, Z4, Z2		Циклический. Товар.
	54	г205	Z10 × Z2 = Z5 × Z22	Z5, Z2		Товар.
21	56	г212	Z21 = Z7 × Z3	Z7, Z3		Циклический. Товар.
22	58	г222	Z22 = Z11 × Z2	Z11, Z2		Циклический. Товар.
23	59	г231	Z23	–		Просто. Циклический. Элементарно.
24	61	г242	Z24 = Z8 × Z3	Z12, Z8, Z6, Z4, Z3, Z2		Циклический. Товар.
	68	г249	Z12 × Z2 = Z6 × Z4 = Z4 × Z3 × Z2	Z12, Z6, Z4, Z3, Z2		Товар.
	74	г2415	Z6 × Z22 = Z3 × Z23	Z6, Z3, Z2		Товар.
25	75	г251	Z25	Z5		Циклический.
	76	г252	Z52	Z5		Товар. Элементарно.
26	78	г262	Z26 = Z13 × Z2	Z13, Z2		Циклический. Товар.
27	79	г271	Z27	Z9, Z3		Циклический.
	80	г272	Z9 × Z3	Z9, Z3		Товар.
	83	г275	Z33	Z3		Товар. Элементарно.
28	85	г282	Z28 = Z7 × Z4	Z14, Z7, Z4, Z2		Циклический. Товар.
	87	г284	Z14 × Z2 = Z7 × Z22	Z14, Z7, Z4, Z2		Товар.
29	88	г291	Z29	–		Просто. Циклический. Элементарно.
30	92	г304	Z30 = Z15 × Z2 = Z10 × Z3 = Z6 × Z5 = Z5 × Z3 × Z2	Z15, Z10, Z6, Z5, Z3, Z2		Циклический. Товар.
31	93	г311	Z31	–		Просто. Циклический. Элементарно.

Список малых неабелевых групп

Количество неабелевых групп по порядку подсчитывается как (последовательность A060689 в OEIS Однако многие порядки не имеют неабелевых групп. Порядки, для которых существует неабелева группа:

6, 8, 10, 12, 14, 16, 18, 20, 21, 22, 24, 26, 27, 28, 30, 32, 34, 36, 38, 39, 40, 42, 44, 46, 48, 50, ... (последовательность A060652 в OEIS )

Список всех неабелевых групп до 31 порядка

порядок	МНЕ БЫ	гоя	Группа	Нетривиальные собственные подгруппы	Цикл график	Свойства
6	7	г61	Dih3 = S3 = D6	Z3, Z2 (3)		Группа диэдра, наименьшая неабелева группа, симметрическая группа, группа Фробениуса
8	12	г83	Dih4 = D8	Z4, Z22 (2), Z2 (5)		Диэдральная группа. Особенная группа. Нильпотентный.
	13	г84	Q8 = Dic2 = <2,2,2>[требуется разъяснение ]	Z4 (3), Z2		Группа Quaternion, Гамильтонова группа. все подгруппы нормальный без абелевой группы. Самая маленькая группа г демонстрируя, что для нормальной подгруппы ЧАС то факторгруппа г/ЧАС не обязательно изоморфна подгруппе г. Особенная группа Бинарная диэдральная группа. Нильпотентный.
10	17	г101	Dih5 = D10	Z5, Z2 (5)		Группа диэдра, группа Фробениуса
12	20	г121	Q12 = Dic3 = <3,2,2> = Z3 ⋊ Z4	Z2, Z3, Z4 (3), Z6		Бинарная группа диэдра
	22	г123	А4 = K4 ⋊ Z3 = (Z2 × Z2) ⋊ Z3	Z22, Z3 (4), Z2 (3)		Чередующаяся группа. Нет подгрупп порядка 6, хотя 6 делит его порядок. Группа Фробениуса
	23	г124	Dih6 = D12 = Dih3 × Z2	Z6, Ди3 (2), Z22 (3), Z3, Z2 (7)		Группа диэдра, произведение
14	26	г141	Dih7 = D14	Z7, Z2 (7)		Группа диэдра, Группа Фробениуса
16[2]	31	г163	г4,4 = K4 ⋊ Z4 (Z4 × Z2) ⋊ Z2	E8, Z4 × Z2 (2), Z4 (4), К4 (6), Z2 (6)		Имеет такое же количество элементов каждого порядка, что и группа Паули. Нильпотентный.
	32	г164	Z4 ⋊ Z4			Квадраты элементов не образуют подгруппы. Имеет такое же количество элементов каждого порядка, что и Q8 × Z2. Нильпотентный.
	34	г166	Z8 ⋊ Z2			Иногда называют модульная группа порядка 16, хотя это вводит в заблуждение, поскольку абелевы группы и Q8 × Z2 также являются модульными. Нильпотентный.
	35	г167	Dih8 = D16	Z8, Ди4 (2), Z22 (4), Z4, Z2 (9)		Группа диэдра. Нильпотентный.
	36	г168	QD16			Порядок 16 квазидиэдральная группа. Нильпотентный.
	37	г169	Q16 = Dic4 = <4,2,2>			обобщенная группа кватернионов, бинарная группа диэдра. Нильпотентный.
	39	г1611	Dih4 × Z2	Dih4 (4), Z4 × Z2, Z23 (2), Z22 (13), Z4 (2), Z2 (11)		Товар. Нильпотентный.
	40	г1612	Q8 × Z2			Гамильтониан, товар. Нильпотентный.
	41	г1613	(Z4 × Z2) ⋊ Z2			В Группа Паули генерируется Матрицы Паули. Нильпотентный.
18	44	г181	Dih9 = D18			Группа диэдра, группа Фробениуса
	46	г183	S3 × Z3			Товар
	47	г184	(Z3 × Z3) ⋊ Z2			Группа Фробениуса
20	50	г201	Q20 = Dic5 = <5,2,2>			Бинарная группа диэдра
	52	г203	Z5 ⋊ Z4			Группа Фробениуса
	53	г204	Dih10 = Dih5 × Z2 = D20			Группа диэдра, произведение
21	55	г211	Z7 ⋊ Z3	Z7, Z3 (7)		Наименьшая неабелева группа нечетного порядка. Группа Фробениуса
22	57	г221	Dih11 = D22	Z11, Z2 (11)		Группа диэдра, группа Фробениуса
24	60	г241	Z3 ⋊ Z8			Центральное расширение S3
	62	г243	SL (2,3) = 2Т = Q8 ⋊ Z3			Бинарная тетраэдрическая группа
	63	г244	Q24 = Dic6 = <6,2,2> = Z3 ⋊ Q8			Бинарный двугранный
	64	г245	Z4 × S3			Товар
	65	г246	Dih12			Группа диэдра
	66	г247	Dic3 × Z2 = Z2 × (Z3 ⋊ Z4)			Товар
	67	г248	(Z6 × Z2) ⋊ Z2 = Z3 ⋊ Ди4			Двойное покрытие диэдральной группы
	69	г2410	Dih4 × Z3			Товар. Нильпотентный.
	70	г2411	Q8 × Z3			Товар. Нильпотентный.
	71	г2412	S4	28 собственных нетривиальных подгрупп. 9 подгрупп, объединяющих изоморфные. Подгруппы включают S2, S3, А3, А4, D8. [3]		Симметричная группа. Не имеет нормальных Силовские подгруппы.
	72	г2413	А4 × Z2			Товар
	73	г2414	D12× Z2			Товар
26	77	г261	Dih13			Группа диэдра, группа Фробениуса
27	81	г273	Z32 ⋊ Z3			Все нетривиальные элементы имеют порядок 3. Особенная группа. Нильпотентный.
	82	г274	Z9 ⋊ Z3			Особенная группа. Нильпотентный.
28	84	г281	Z7 ⋊ Z4			Бинарная группа диэдра
	86	г283	Dih14			Группа диэдра, произведение
30	89	г301	Z5 × S3			Товар
	90	г302	Z3 × Ди5			Товар
	91	г303	Dih15			Группа диэдра, группа Фробениуса

Классифицирующие группы малого порядка

Небольшие группы высшего порядка власти п^п представлены следующим образом:

• порядок п: Единственная группа циклическая.
• порядок п²: Всего две группы, обе абелевы.
• порядок п³: Есть три абелевых группы и две неабелевы группы. Одна из неабелевых групп является полупрямым произведением нормальной циклической подгруппы порядка п² циклической группой порядка п. Другой - группа кватернионов для п = 2 и группа экспоненты п для п > 2.
• порядок п⁴: Классификация сложна и становится намного сложнее, чем показатель степени п увеличивается.

Большинство малых групп имеют Силовский п подгруппа п с нормальным п-дополнение N для некоторых премьер п деление порядка, поэтому его можно классифицировать с точки зрения возможных простых чисел п, п-группы п, группы N, и действия п на N. В некотором смысле это сводит классификацию этих групп к классификации п-группы. Некоторые небольшие группы, у которых нет нормального п Дополнение включает:

• Порядок 24: Симметрическая группа S₄
• Порядок 48: Бинарная октаэдрическая группа и произведение S₄ × Z₂
• Приказ 60: Переменная группа A₅.

Библиотека малых групп

Теоретическая группа система компьютерной алгебры GAP содержит «Библиотеку малых групп», которая обеспечивает доступ к описаниям малых групп заказов. Группы перечислены вплоть до изоморфизм. В настоящее время в библиотеке представлены следующие группы:^[4]

• порядка не более 2000 (кроме порядка 1024);
• порядка без кубов не более 50000 (395 703 группы);
• без квадратов;
• те из порядка п^п для п максимум 6 и п премьер;
• те порядка п⁷ для п = 3, 5, 7, 11 (907 489 групп);
• те из порядка pq^п где q^п делит 2⁸, 3⁶, 5⁵ или 7⁴ и п - произвольное простое число, отличное от q;
• те, чьи порядки разлагаются на не более чем 3 простых числа (не обязательно различных).

Он содержит подробные описания доступных групп в машиночитаемом формате.

Наименьший порядок, для которого библиотека SmallGroups не имеет информации, - 1024.

Смотрите также

• Классификация конечных простых групп
• Композиция серии
• Список конечных простых групп
• Количество групп данного заказа
• Малые латинские квадраты и квазигруппы

Заметки

использованная литература

• Кокстер, Х. С. М. и Мозер, В. О. Дж. (1980). Генераторы и соотношения для дискретных групп. Нью-Йорк: Springer-Verlag. ISBN  0-387-09212-9., Таблица 1, Порядок неабелевых групп <32.
• Холл-младший, Маршалл; Старший, Джеймс К. (1964). «Группы порядка 2^п (п ≤ 6) ». Macmillan. Г-Н  0168631. Каталог из 340 групп порядков, разделенных на 64, с таблицами определяющих отношений, констант и решетка подгрупп каждой группы. Цитировать журнал требует | журнал = (Помогите)

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

• Конкретные группы в вики-странице Group Properties
• Группы данного порядка
• Besche, H.U .; Эйк, В .; О'Брайен, Э. "небольшая групповая библиотека". Архивировано из оригинал на 2012-03-05.
• База данных GroupNames