Теорема Машкеса - Википедия - Maschkes theorem
В математике Теорема Машке,[1][2] названный в честь Генрих Машке,[3] это теорема в групповое представительство теория, которая касается разложения представлений конечная группа в несводимый шт. Теорема Машке позволяет сделать общие выводы о представлениях конечной группы грамм фактически не вычисляя их. Это сводит задачу классификации всех представлений к более управляемой задаче классификации. неприводимые представления, поскольку, когда применима теорема, любое представление является прямой суммой неприводимых частей (составляющих). Более того, из Теорема Жордана – Гёльдера что, хотя разложение в прямую сумму неприводимых подпредставлений может не быть уникальным, неприводимые части имеют хорошо определенные множественность. В частности, представление конечной группы над полем нулевой характеристики определяется с точностью до изоморфизма своим персонаж.
Составы
Теорема Машке обращается к вопросу: когда общее (конечномерное) представление построено из неприводимых субпредставления с использованием прямая сумма операция? Этот вопрос (и ответ на него) формулируются по-разному для разных точек зрения на теорию представлений групп.
Теоретико-групповой
Теорема Машке обычно формулируется как следствие к следующему результату:
- Теорема. Если V является комплексным представлением конечной группы грамм с подпредставлением W, то есть еще одно подпредставление U из V такой, что V=W⊕U.[4][5]
Тогда следствие
- Следствие (теорема Машке). Каждое представление конечной группы грамм над полем F с характеристика не разделяя порядок грамм является прямой суммой неприводимых представлений.[6][7]
В векторное пространство из комплексный функции класса группы грамм имеет естественный грамм-инвариантная внутренняя структура продукта, описанная в статье Соотношения ортогональности Шура. Теорема Машке была первоначально доказана для случая представлений над путем строительства U как ортогональное дополнение из W под этим внутренним продуктом.
Модульно-теоретический
Один из подходов к представлениям конечных групп - через теория модулей. Представления группы грамм заменены на модули над его групповая алгебра K[грамм] (если быть точным, есть изоморфизм категорий между K[грамм] -Mod и Представительграмм, то категория представительств из грамм). Неприводимые представления соответствуют простые модули. На теоретико-модульном языке теорема Машке спрашивает: является ли произвольный модуль полупростой ? В этом контексте теорему можно переформулировать следующим образом:
- Теорема Машке. Позволять грамм конечная группа и K поле, характеристика которого не делит порядок грамм. потом K[грамм], групповая алгебра грамм, является полупростой.[8][9]
Важность этого результата связана с хорошо разработанной теорией полупростых колец, в частности Теорема Артина – Веддерберна (иногда называемая структурной теоремой Веддерберна). Когда K - поле комплексных чисел, это показывает, что алгебра K[грамм] является продуктом нескольких копий сложных матричные алгебры, по одному для каждого неприводимого представления.[10] Если поле K имеет нулевую характеристику, но не алгебраически замкнутый, Например, K это область настоящий или же рациональный чисел, то справедливо несколько более сложное утверждение: групповая алгебра K[грамм] является произведением матричных алгебр над делительные кольца над K. Слагаемые соответствуют неприводимым представлениям грамм над K.[11]
Теоретико-категориальный
Переформулировано на языке полупростые категории, Теорема Машке утверждает
- Теорема Машке. Если грамм это группа и F - поле с характеристикой, не делящей порядка грамм, то категория представительств из грамм над F полупростой.
Доказательства
Теоретико-групповой
Позволять U быть подпространством V дополнение W. Позволять - функция проекции, т. е. для любого .
Определять , куда это сокращение от , с являясь представлением грамм на W и V. Потом, сохраняется грамм под представлением : для любого ,
так подразумевает, что . Итак, ограничение на также является представлением.
По определению , для любого , , так , и для любого , . Таким образом, , и . Следовательно, .
Модульно-теоретический
Позволять V быть K[грамм] -подмодуль. Мы докажем, что V является прямым слагаемым. Позволять π быть любым K-линейная проекция K[грамм] на V. Рассмотрим карту
потом φ снова проекция: это ясно K-линейные, карты K[грамм] на V, и индуцирует тождество на V. Кроме того, у нас есть
так φ на самом деле K[грамм] -линейный. Посредством лемма о расщеплении, . Это доказывает, что каждый подмодуль является прямым слагаемым, т. Е. K[грамм] полупрост.
Заявление Converse
Приведенное выше доказательство зависит от того, что #грамм обратима в K. Это может привести к вопросу, верна ли обратная теорема Машке: если характеристика K делит порядок граммследует ли из этого K[грамм] не полупростой? Ответ да.[12]
Доказательство. За определять . Позволять . потом я это K[грамм] -подмодуль. Докажем, что для любого нетривиального подмодуля V из K[грамм], . Позволять V быть дано, и пусть быть любым ненулевым элементом V. Если , претензия немедленно. В противном случае пусть . потом так и
так что является ненулевым элементом обоих я и V. Это доказывает V не является прямым дополнением я для всех V, так K[грамм] не является полупростым.
Не примеры
Теорема неприменима к случаю, когда грамм бесконечно, или когда поле K имеет характеристики, разделяющие | G |. Например,
- Рассмотрим бесконечную группу и представление определяется . Позволять , одномерное подпространство охватывает . Тогда ограничение на W является тривиальным подпредставлением . Однако нет U так что оба W, U являются субпредставлениями и : любое такое U должно быть одномерным, но любое одномерное подпространство сохраняется должен быть покрыт собственным вектором для , и единственный собственный вектор для этого - .
- Рассмотрим простое число п, а группа , поле , а представление определяется . Простые вычисления показывают, что существует только один собственный вектор для здесь, по тем же аргументам, 1-мерное подпредставление уникален, и не может быть разложен на прямую сумму двух одномерных подпредставлений.
Примечания
- ^ Машке, Генрих (1898-07-22). "Ueber den arithmetischen Charakter der Coefficienten der Substitutionen endlicher linearer Substitutionsgruppen" [Об арифметическом характере коэффициентов подстановок конечных линейных групп подстановок]. Математика. Анна. (на немецком). 50 (4): 492–498. Дои:10.1007 / BF01444297. JFM 29.0114.03. МИСТЕР 1511011.
- ^ Машке, Генрих (1899-07-27). "Beweis des Satzes, dass diejenigen endlichen linearen Substitutionsgruppen, in welchen einige durchgehends verschwindende Coefficienten auftreten, intransitiv sind" [Доказательство теоремы о том, что те конечные линейные группы подстановок, в которых встречаются некоторые всюду исчезающие коэффициенты, интранзитивны]. Математика. Анна. (на немецком). 52 (2–3): 363–368. Дои:10.1007 / BF01476165. JFM 30.0131.01. МИСТЕР 1511061.
- ^ О'Коннор, Джон Дж.; Робертсон, Эдмунд Ф., "Генрих Машке", Архив истории математики MacTutor, Сент-Эндрюсский университет.
- ^ Фултон и Харрис, Предложение 1.5.
- ^ Серр, Теорема 1.
- ^ Фултон и Харрис, Следствие 1.6.
- ^ Серр, Теорема 2.
- ^ Отсюда следует, что каждый модуль над K[грамм] - полупростой модуль.
- ^ Верно и обратное утверждение: если характеристика поля делит порядок группы ( модульный корпус), то групповая алгебра не является полупростой.
- ^ Количество слагаемых можно вычислить, и оно оказывается равно количеству слагаемых классы сопряженности группы.
- ^ Следует быть осторожным, поскольку представление может разлагаться по-разному в разных полях: представление может быть неприводимым по действительным числам, но не по комплексным числам.
- ^ Серр, Упражнение 6.1.
Рекомендации
- Ланг, Серж (2002-01-08). Алгебра. Тексты для выпускников по математике, 211 (Пересмотренное 3-е изд.). Нью-Йорк: Springer-Verlag. ISBN 978-0-387-95385-4. МИСТЕР 1878556. Zbl 0984.00001.
- Серр, Жан-Пьер (1977-09-01). Линейные представления конечных групп.. Тексты для выпускников по математике, 42. Нью-Йорк – Гейдельберг: Springer-Verlag. ISBN 978-0-387-90190-9. МИСТЕР 0450380. Zbl 0355.20006.
- Фултон, Уильям; Харрис, Джо (1991). Теория представлений. Первый курс. Тексты для выпускников по математике, Чтения по математике. 129. Нью-Йорк: Springer-Verlag. Дои:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. МИСТЕР 1153249. OCLC 246650103.