Русская Википедия:Мультипликатор Шура
Мультипликатор Шура является второй Шаблон:Не переведено 5 <math>H_2(G, \Z)</math> группы G. Его ввёл Исай Шур Шаблон:Sfn в работе по проективным представлениям.
Примеры и свойства
Мультипликатор Шура <math>\operatorname{M}(G)</math> конечной группы G является конечной абелевой группой, экспонента которой делит порядок группы G. Если силовская p-подгруппа группы G является циклической для некоторого p, то порядок <math>\operatorname{M}(G)</math> не делится на p. В частности, если все силовские p-подгруппы группы G циклические, то <math>\operatorname{M}(G)</math> тривиален.
Например, мультипликатор Шура Шаблон:Не переведено 5 является тривиальной группой, поскольку любая подгруппа Силова циклична. Мультипликатор Шура элементарной абелевлй группы 16-го порядка является элементарной абелевой группой 64-го порядка, это показывает, что мультипликатор может быть строго больше самой группы. Мультипликатор Шура группы кватернионов тривиален, а мультипликатор Шура диэдральных 2-групп имеют порядок 2.
Мультипликаторы Шура конечных простых групп заданы на Шаблон:Не переведено 5. Шаблон:Не переведено 5 получили в последнее время значительное внимание.
Связь с проективными представлениями
Исходным поводом изучения мультипликаторов для Шура была классификация проективных представлений групп, а современной формулировкой его определения является вторая Шаблон:Не переведено 5 <math>H^2(G, \Complex^{\times})</math>. Проективное представление очень похоже на представление группы, за исключением того, что вместо гомоморфизма в полную линейную группу <math>\operatorname{GL}(n, \Complex)</math> берётся гомоморфизм в проективную полную линейную группу <math>\operatorname{PGL}(n, \Complex)</math>. Другими словами, проективное представление является представлением по модулю центра.
ШурШаблон:SfnШаблон:Sfn показал, что любая конечная группа G имеет ассоциированную с ней по меньшей мере одну конечную группу C, называемую накрытием Шура, со свойством, что любое проективное представление группы G может быть поднято до обычного представления группы C. Накрытие Шура известно также как накрывающая группа. Накрытия Шура Шаблон:Не переведено 5 известны и каждое является примером Шаблон:Не переведено 5. Накрытие Шура совершенной группы однозначно определяется с точностью до изоморфизма, но накрытие Шура общей конечной группы определено только с точностью до Шаблон:Не переведено 5.
Связь с центральными расширениями
Изучение таких накрывающих групп приводит естественным образом к изучению центральных и стеблевых расширений.
Центральное расширение группы G является расширением
- <math>1 \to K\to C\to G\to 1</math>
где <math>K\leqslant Z(C)</math> является подгруппой центра группы C.
Стеблевое расширение группы G — это расширение
- <math>1 \to K\to C\to G\to 1</math>
где <math>K\leqslant Z(C)\cap C'</math> является подгруппой пересечений центра C и производной подгруппы группы C. Это более ограничивающее условие, чем центрШаблон:Sfn.
Если группа G конечна и рассматриваются только стеблевые расширения, то существует наибольший размер такой группы C, и для любой группы C этого размера подгруппа K изоморфна мультипликатору Шура группы G. Если конечная группа G является, более того, совершенной, то C единственна с точностью до изоморфизма и сама совершенна. Такая группа C часто называется универсальными совершенными центральными расширениями группы G, или накрывающей группой (так как это дискретный аналог универсальное накрывающее пространство в топологии). Если конечная группа G не является совершенной, то группы её накрытий Шура (все такие C максимального порядка) лишь Шаблон:Не переведено 5.
Группа также называется более кратко универсальным центральным расширением, но заметим, что не существует наибольшего центрального расширения, так как прямое произведение группы G и абелевой группы образует центральное расширение группы G произвольного размера.
Стеблевые расширения имеют интересное свойство, что любое поднятие генерирующего множества группы G являются генерирующим множеством C. Если группа G задана в терминах свободной группы F на множестве генераторов и нормальная подгруппа R генерируется множеством связей на генераторах, так что <math>G \cong F/R</math>, тогда накрывающая группа сама может быть представлена в терминах F, но с меньшей нормальной подгруппой S, то есть, <math>C\cong F/S</math>. Поскольку отношения G определяют элементы K, если рассматривать как часть C, должно выполняться <math>S \leqslant [F,R]</math>.
Фактически, если группа G совершенна, это всё, что нужно: C ≅ [F,F]/[F,R] и M(G) ≅ K ≅ R/[F,R]. Ввиду этой простоты изложения, такие как в статье АшбахераШаблон:Sfn, рассматривают совершенный случай в первую очередь. Общий случай для мультипликатора Шура аналогичен, но при рассмотрении обеспечивается, чтобы расширение является стеблевым расширением, путём ограничения на порождённую подгруппу F: M(G) ≅ (R ∩ [F, F])/[F, R]. Это всё чуть более поздние результаты Шура, который также дал несколько полезных критериев для вычисления мультипликаторов более явно.
Связь с эффективными представлениями
В комбинаторной теории групп группы часто описываются заданием группы. Важная тема в этой области математики — изучение заданий с как можно меньшими связями, таких как группы Баумслага — Солитера с одним определяющим соотношением. Эти группы являются бесконечными группами с двумя генераторами и одним соотношением и старый результат Шрейера показывает, что в любом задании с бо́льшим числом генераторов, чем отношений, получается бесконечная группа. Интересен тогда граничный случай — когда конечные группы имеют одинаковое число генераторов и соотношений, и в этом случае говорят, что группа имеет нулевой дефект. Чтобы группа имела нулевой дефект, группа должна иметь тривиальный мультипликатор Шура, поскольку минимальное число генераторов мультипликатора Шура всегда меньше или равно разнице между числом отношений и числом генераторов, что даёт отрицательный дефект. Эффективная группа — это группа, в которой мультипликатор Шура требует такого числа генераторовШаблон:Sfn.
Совсем свежие темы исследований — найти эффективные представления для всех конечных простых групп с тривиальными мультипликаторами Шура. Такие представления в некотором смысле приятны, поскольку они обычно коротки, но их трудно найти и с ними трудно работать, поскольку они плохо приспособлены для стандартных методов, таких как перечисление смежных классов.
Связь с топологией
В топологии группы могут часто быть описаны как конечные задания групп и фундаментальным вопросом является вычисление их полной интегральной гомологии <math>H_n(G, \Z)</math>. В частности, вторая гомология играет специальную роль и это привело Хайнца Хопфа к нахождению эффективного метода её вычисления. Метод, описанный в статье ХопфаШаблон:Sfn, известен также как формула интегральной гомологии Хопфа и эта формула идентична формуле Шура для мультипликатора Шура конечной группы:
- <math> H_2(G, \Z) \cong (R \cap [F, F])/[F, R]</math>
где <math>G \cong F/R</math> и F является свободной группой. Та же формула верна также, когда G является совершенной группойШаблон:Sfn.
Осознание, что эти формулы на самом деле одно и то же, привели Самуэля Эйленберга и Саундерса Маклейна к созданию Шаблон:Не переведено 5. В общем смысле,
- <math>H_2(G, \Z) \cong \bigl( H^2(G, \Complex^{\times}) \bigr)^* </math>
где звёздочка означает алгебраически двойственную группу. Более того, когда группа G конечна, имеется неестественный изоморфизм
- <math>\bigl( H^2(G, \Complex^{\times}) \bigr)^* \cong H^2(G, \Complex^{\times}).</math>
Формула Хопфа для <math>H_2(G)</math> была обобщена на более высокие размерности. Об одном из подходов и для списка литературы см. статью Иверета, Грана и Ван дер ЛинденаШаблон:Sfn.
Совершенная группа — это группа, первая интегральная гомология которой нулевая. Шаблон:Не переведено 5 — это группа, первые две интегральные гомологии групп нулевые. Накрытия Шура конечных совершенных групп суперсовершенны. Шаблон:Не переведено 5 является группой, в которой все приведённые интегральные гомологии нулевые.
Приложения
Шаблон:Не переведено 5 K2(R) коммутативного кольца R может быть отождествлена со второй гомологической группой H2(E(R), Z) группы E(R) (бесконечных) элементарных матриц с элементами из RШаблон:Sfn.
См. также
Статья МиллераШаблон:Sfn даёт другой взгляд на мультипликатора Шура как ядро морфизма κ: G ∧ G → G, порождённого отображением коммутатора.
Примечания
Литература
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Книга
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
- Шаблон:Статья
