Модуль Specht - Specht module

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

Определение

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

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

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

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

Модуль Шпехта имеет базис из элементов Е Т для Т стандартную таблицу Юнга .

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

Состав

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

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

использованная литература