Лемма Цассенхауза - Zassenhaus lemma
В математика, то лемма бабочка или же Лемма Цассенхауза, названный в честь Ганс Цассенхаус, это технический результат на решетка подгрупп из группа или решетка подмодулей модуля или, в более общем смысле, для любого модульная решетка.[1]
- Лемма. Предполагать это группа с подгруппы и . Предполагать и находятся нормальные подгруппы. Тогда есть изоморфизм из факторгруппы:
Это можно обобщить на случай группа с операторами с стабильные подгруппы и , приведенное выше утверждение относится к действуя на себя путем спряжения.
Цассенхаус специально доказал эту лемму, чтобы дать наиболее прямое доказательство Уточняющая теорема Шрайера. «Бабочка» становится очевидной при попытке нарисовать Диаграмма Хассе различных участвующих групп.
Лемма Цассенхауза для групп может быть получена из более общего результата, известного как Теорема Гурса заявлено в Сорт Гурса (какие группы являются экземпляром); однако групповые модульный закон также необходимо использовать при выводе.[2]
Рекомендации
- ^ Пирс, Р. (1982). Ассоциативные алгебры. Springer. п. 27, упражнение 1. ISBN 0-387-90693-2.
- ^ Я. Ламбек (1996). «Бабочка и змей». В Альдо Урсини; Пауло Альяно (ред.). Логика и алгебра. CRC Press. С. 161–180. ISBN 978-0-8247-9606-8.
Ресурсы
- Goodearl, K. R .; Варфилд, Роберт Б. (1989), Введение в некоммутативные нётеровы кольца, Издательство Кембриджского университета, стр.51, 62, ISBN 978-0-521-36925-1.
- Ланг, Серж, Алгебра, Тексты для выпускников по математике (пересмотренное 3-е изд.), Springer-Verlag, стр. 20–21, ISBN 978-0-387-95385-4.
- Карл Клифтон Фейт, Нгуен Вьет Зунг, Барбара Ософски (2009) Кольца, модули и представления. п. 6. Книжный магазин AMS, ISBN 0-8218-4370-2
- Ганс Цассенхаус (1934) "Zum Satz von Jordan-Hölder-Schreier", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 10:106–8.
- Ганс Цассенхаус (1958) Теория групп, второе английское издание, Лемма о четырех элементах, стр. 74, Chelsea Publishing.
внешняя ссылка
- Лемма Цассенхауза и доказательство в https://web.archive.org/web/20080604141650/http://www.artofproblemsolving.com:80/Wiki/index.php/Zassenhaus%27s_Lemma