Модуль Specht - Specht module

В математике Модуль Specht одно из представлений симметричные группы изучен Вильгельм Шпехт  (1935 Они индексируются разделами, а в характеристике 0 - модули Шпехта разделов п сформировать полный набор неприводимые представления симметрической группы на п точки.

Определение

Исправить раздел λ из п и коммутативное кольцо k. Раздел определяет Диаграмма Юнга с п коробки. А Молодая картина формы λ - это способ пометить ячейки этой диаграммы Юнга различными числами .

А таблоид является классом эквивалентности таблиц Юнга, где две разметки эквивалентны, если одна получается из другой перестановкой элементов каждой строки. Для каждой таблицы Юнга Т формы λ пусть быть соответствующим таблоидом. Симметрическая группа на п точек действует на множестве таблиц Юнга формы λ. Следовательно, он действует и в таблоидах, и в бесплатных k-модуль V на основе таблоидов.

Дана таблица Юнга Т формы λ, пусть

куда QТ - подгруппа перестановок, сохраняющая (как наборы) все столбцы Т и - знак перестановки σ. Шпехтовым модулем разбиения λ называется модуль, порожденный элементами EТ в качестве Т пробегает все таблицы формы λ.

Модуль Specht имеет основу из элементов EТ за Т а стандартная картина Юнга.

Мягкое введение в конструкцию модуля Шпехта можно найти в Разделе 1 «Многогранники Шпехта и матроиды Шпехта».[1]

Структура

Над полями характеристики 0 модули Шпехта неприводимы и образуют полный набор неприводимых представлений симметрической группы.

Раздел называется п-регулярно, если в нем нет п части одинакового (положительного) размера. Над полями характеристики п> 0 модули Шпехта сводимы. За п-регулярные разбиения у них есть единственное неприводимое частное, и эти неприводимые частные образуют полный набор неприводимых представлений.

Рекомендации

  1. ^ Уилтшир-Гордон, Джон Д.; Ву, Александр; Заячковская, Магдалена (2017). «Многогранники Шпехта и матроиды Шпехта». arXiv:1701.05277 [math.CO ].