Решетка подгрупп

В математике, решетка подгрупп из группы $G\; \{\backslash \; displaystyle\; G\}$- это решетка, элементами которой являются подгруппы из $G\; \{\backslash \; displaystyle\; G\}$, с частичный порядок отношение, являющийся , устанавливает включение. В этой решетке объединением двух подгрупп является подгруппа , порожденная их объединением, а пересечение двух подгрупп - их пересечение.

• 1 Пример
• 2 Свойства
• 3 Характеристические решетки
• 4 Характеризация групп решетками их подгрупп
• 5 Ссылки
• 6 Внешние ссылки

Диэдральная группа Dih 4 имеет десять подгрупп, считая себя и тривиальную подгруппу. Пять из восьми элементов группы генерируют подгруппы второго порядка, а два других неидентичных элемента генерируют одну и ту же циклическую подгруппу четвертого порядка. Кроме того, есть две подгруппы вида Z2× Z 2, порожденные парами элементов второго порядка. Решетка, образованная этими десятью подгруппами, показана на рисунке.

Этот пример также показывает, что решетка всех подгрупп группы не является модульной решеткой в целом. Действительно, эта конкретная решетка содержит запрещенный «пятиугольник» N 5 как подрешетку.

Для любых подгрупп A, B и C группы с A ≤ C (подгруппа в C), то AB ∩ C = A (B ∩ C); умножение здесь - это произведение подгрупп. Это свойство было названо модульным свойством групп (Aschbacher 2000) или (Dedekind ) модульным законом (Robinson 1996, Cohn 2000). Поскольку для двух нормальных подгрупп продукт на самом деле является наименьшей подгруппой, содержащей эти две, нормальные подгруппы образуют модульную решетку.

Теорема Решетка устанавливает связь Галуа между решетка подгрупп группы и ее частных.

Лемма Цассенхауза дает изоморфизм между некоторыми комбинациями частных и произведений в решетке подгрупп.

В общем случае нет ограничений на форму решетки подгрупп в том смысле, что каждая решетка изоморфна подрешетке решетки подгрупп некоторой группы. Кроме того, каждая конечная решетка изоморфна подрешетке решетки подгрупп некоторой конечной группы (Schmidt 1994, p. 9).

Подгруппы с определенными свойствами образуют решетки, а другие свойства - нет.

• Нормальные подгруппы всегда образуют модульную решетку. Фактически, существенное свойство, которое гарантирует модульность решетки, состоит в том, что подгруппы коммутируют друг с другом, т. Е. Что они квазинормальные подгруппы.
• Нильпотентные нормальные подгруппы образуют решетку, которая является (частью) содержание теоремы Фиттинга.
• В общем, для любого класса Фиттинга F как субнормальные F-подгруппы, так и нормальные F-подгруппы образуют решетки. Это включает в себя приведенный выше с F классом нильпотентных групп, а также другие примеры, такие как F класс разрешимых групп. Класс групп называется классом Фиттинга, если он замкнут относительно изоморфизма, субнормальных подгрупп и произведений субнормальных подгрупп.
• Центральные подгруппы образуют решетку.

Однако ни конечные подгруппы, ни торсионные подгруппы не образуют решетка: например, бесплатный продукт $Z\; /\; 2\; Z\; \ast \; Z\; /\; 2\; Z\; \{\backslash \; displaystyle\; \backslash \; mathbf\; \{Z\}\; /\; 2\; \backslash \; mathbf\; \{Z\}\; *\; \backslash \; mathbf\; \{Z\}\; /\; 2\; \backslash \; mathbf\; \{Z\}\}$создается двумя элементами кручения, но является бесконечным и содержит элементы бесконечного порядка.

Тот факт, что нормальные подгруппы образуют модульную решетку, является частным случаем более общего результата, а именно того, что в любом многообразии Мальцева (из которых группы являются примером) решетка конгруэнций является модульной (Kearnes Kiss 2013).

Теоретико-решеточная информация о решетке подгрупп иногда может использоваться для вывода информации об исходной группе, идея, которая восходит к работе Øystein Ore (1937, 1938). Например, как доказал Оре, группа локально циклическая тогда и только тогда, когда ее решетка подгрупп дистрибутивна. Если дополнительно решетка удовлетворяет условию возрастающей цепи, то группа является циклической.

Группы, решетка подгрупп которых является решеткой с дополнениями, называются дополняемыми группами (Zacher 1953), а группы, решетка подгрупп которых модульные решетки называются группами Ивасавы или модульными группами (Ивасава 1941). Теоретико-решеточные характеристики этого типа также существуют для разрешимых групп и совершенных групп (Suzuki 1951).

• Ашбахер, М. (2000). Теория конечных групп. Издательство Кембриджского университета. п. 6. ISBN 978-0-521-78675-1. CS1 maint: ref = harv (ссылка )
• Баер, Рейнхольд (1939) ». Значение системы подгрупп для структуры группы ». American Journal of Mathematics. The Johns Hopkins University Press. 61 (1): 1–44. doi : 10.2307 / 2371383. JSTOR 2371383. CS1 maint: ref = harv (ссылка )
• Кон, Пол Moritz (2000). Classic algebra. Wiley. P. 248. ISBN 978-0-471-87731-8. CS1 maint: ref = harv (ссылка )
• Ивасава, Кенкити (1941), «Über die endlichen Gruppen und die Verbände ihrer Untergruppen», J. Fac. Sci. Imp. Univ. Tokyo. Sect. I., 4 : 171– 199, MR 0005721 CS1 maint: ref = harv (link )
• Kearnes, Keith; Kiss, Emil W. (2013). Форма решетки конгруэнтности. American Mathematical Soc. P. 3. ISBN 978-0-8218-8323-5. CS1 maint: ref = harv (link )
• Ore, Øystein ( 1937). "Структуры и теория групп. I". Duke Mathematical Jo урнал. 3 (2): 149–174. doi : 10.1215 / S0012-7094-37-00311-9. MR 1545977. CS1 maint: ref = harv (ссылка )
• Ore, Øystein (1938). «Структуры и теория групп. II». Duke Mathematical Journal. 4 (2): 247–269. doi : 10.1215 / S0012- 7094-38-00419-3. hdl : 10338.dmlcz / 100155. MR 1546048. CS1 maint: ref = harv (ссылка )
• Робинсон, Дерек (1996). Курс теории групп. Springer Science Business Media. Стр. 15. ISBN 978-0-387-94461-6. CS1 maint: ref = harv (ссылка )
• Роттлендер, Ада (1928). "Nachweis der Existenz nicht-isomorpher Gruppen von gleicher Situation der Untergruppen". Mathematische Zeitschrift. 28(1) : 641–653. doi : 10.1007 / BF01181188. CS1 maint: ref = harv (ссылка )
• Schmidt, Roland (1994). Решетки подгруппы Группы. Экспозиции по математике. 14 . Walter de Gruyter. ISBN 978-3-11-011213-9. CS1 maint: ref = harv (ссылка )Обзор Ральфа Фриза в B ull. AMS 33 (4): 487–492.
• Судзуки, Мичио (1951). «О решетке подгрупп конечных групп». Труды Американского математического общества. Американское математическое общество. 70 (2): 345–371. DOI : 10.2307 / 1990375. JSTOR 1990375. CS1 maint: ref = harv (link )
• Suzuki, Michio (1956). Структура группы и структура ее решетка подгрупп. Берлин: Springer Verlag.
• Яковлев Б.В. (1974). «Условия, при которых решетка изоморфна решетке подгрупп группы». Алгебра и логика. 13 ( 6): 400–412. doi : 10.1007 / BF01462952. CS1 maint: ref = harv (ссылка )
• Захер, Джованни (1953). "Caratterizzazione dei risolubili d'ordine finito complementati". Rendiconti del Seminario Matematico della Università di Padova. 22: 113–122. ISSN 0041-8994. MR 0057878. CS1 maint: ref = harv (ссылка )

• Запись PlanetMath на решетке подгрупп
• Пример: Решетка подгрупп симметричной группы S4