Симметричная группа - Symmetric group

Граф Кэли симметрической группы S 4
Таблица Кэли симметрической группы S 3
( таблица умножения из матриц перестановок )

Эти позиции шести матриц: Некоторые матрицы не расположены симметрично по отношению к главной диагонали - таким образом , симметричная группа не абелева.
Симметричная группа 3;  Стол Кэли;  Positions.svg

В абстрактной алгебре , то симметрическая группа , определенная над любым набором представляет собой группа , чьи элементы являются все биекциями из набора к себе, и чья группе операция является композицией функций . В частности, конечная симметрическая группа , определенная над конечным множеством из символов состоит из перестановок , которые могут быть выполнены над символами. Поскольку существуют ( факториальные ) такие операции перестановки, порядок (количество элементов) симметрической группы равен .

Хотя симметрические группы могут быть определены на бесконечных множествах , в этой статье основное внимание уделяется конечным симметрическим группам: их приложениям, их элементам, их классам сопряженности , конечному представлению , их подгруппам , их группам автоморфизмов и их теории представлений . В оставшейся части этой статьи «симметрическая группа» будет означать симметрическую группу на конечном множестве.

Симметричная группа имеет важное значение для различных областей математики , таких как теория Галуа , теории инвариантов , в теории представлений групп Ли и комбинаторике . Теорема Кэли утверждает , что каждая группа является изоморфной к подгруппе симметрической группы включена ( основное множество из) .

Определение и первые свойства

Симметрическая группа на конечном множестве - это группа, все элементы которой являются биективными функциями от до и чья групповая операция является операцией композиции функций . Для конечных множеств «перестановки» и «биективные функции» относятся к одной и той же операции, а именно к перестановке. Симметрическая группа степени - это симметрическая группа на множестве .

Симметрическая группа на множестве обозначается различными способами, в том числе , , , , и . Если это множество , то имя может быть сокращено , , или .

Симметричные группы на бесконечных множествах ведут себя совершенно иначе, чем симметрические группы на конечных множествах, и обсуждаются в ( Scott 1987 , Ch. 11), ( Dixon & Mortimer 1996 , Ch. 8) и ( Cameron 1999 ).

Симметрическая группа на множестве элементов имеет порядок (The факториала из ). Это абелева тогда и только тогда, когда меньше или равно 2. Для и ( пустое множество и одноэлементное множество ) симметрические группы тривиальны (они имеют порядок ). Группа S п является разрешимы тогда и только тогда . Это существенная часть доказательства теоремы Абеля – Руффини, которая показывает, что для каждого существуют многочлены степени , не разрешимые в радикалах, то есть решения не могут быть выражены путем выполнения конечного числа операций сложения, вычитания , умножение, деление и извлечение корня на коэффициенты многочлена.

Приложения

Симметрическая группа на множестве размера n является группой Галуа общего многочлена степени n и играет важную роль в теории Галуа . В теории инвариантов симметрическая группа действует на переменные многомерной функции, а левоинвариантные функции являются так называемыми симметричными функциями . В теории представлений групп Ли , то теория представлений симметрической группы играет фундаментальную роль благодаря идеям Шуру функторов . В теории групп Кокстера , симметричная группа является группой Кокстера типа А н и происходит как группы Вейля от общей линейной группы . В комбинаторике симметрические группы, их элементы ( перестановки ) и их представления являются богатым источником проблем, связанных с таблицами Юнга , пластическими моноидами и порядком Брюа . Подгруппы симметрических групп, называются группы перестановок и широко изучены из - за их важности в понимании групповых действий , однородных пространствах и группах автоморфизмов из графов , такие как группы Хигмана-Sims и граф Хигмана-Sims .

Элементы

Элементы симметрической группы на множество X являются перестановками из X .

Умножение

Групповая операция в симметричной группе - это композиция функций , обозначаемая символом ∘ или просто сопоставлением перестановок. Композиция fg перестановок f и g , произносимая как « f of g », отображает любой элемент x из X в f ( g ( x )). Конкретно, пусть (см. Перестановку для объяснения обозначений):

Применение f после g переводит 1 сначала в 2, а затем 2 в себя; От 2 до 5, а затем до 4; От 3 до 4, затем до 5 и так далее. Таким образом, составление f и g дает

Цикл длины L = K · м , взятый в к - ю степень, распадается на K циклов длины т : Например, ( к = 2 , т = 3 ),

Проверка групповых аксиом

Чтобы проверить, что симметрическая группа на множестве X действительно является группой , необходимо проверить групповые аксиомы замыкания, ассоциативности, тождества и обратного.

  1. Работа функции композиции замкнуто в множестве перестановок данного множества X .
  2. Композиция функций всегда ассоциативна.
  3. Тривиальная биекция, которая присваивает каждому элементу X самого себя, служит тождеством группы.
  4. У каждой биекции есть обратная функция, которая отменяет ее действие, и, таким образом, каждый элемент симметричной группы действительно имеет обратную функцию, которая также является перестановкой.

Транспозиции, знак и переменная группа

Транспозиции перестановка , которая обменивается двух элементов и сохраняет все остальные фиксированные; например (1 3) - это транспозиция. Каждую перестановку можно записать как произведение транспозиций; например, перестановка g сверху может быть записана как g = (1 2) (2 5) (3 4). Так как g можно записать как произведение нечетного числа транспозиций, тогда это называется нечетной перестановкой , тогда как f - четной перестановкой.

Представление перестановки как продукта транспозиций не уникально; однако количество транспозиций, необходимых для представления данной перестановки, всегда либо четное, либо всегда нечетное. Есть несколько коротких доказательств инвариантности этой четности перестановки.

Произведение двух четных перестановок четное, произведение двух нечетных перестановок четное, а все остальные произведения нечетные. Таким образом, мы можем определить знак перестановки:

С этим определением

- гомоморфизм групп ({+1, –1} - группа относительно умножения, где +1 - e, нейтральный элемент ). Ядро этого гомоморфизма, то есть множество всех четных перестановок, называется знакопеременной группой п . Это нормальная подгруппа в S n , и при n ≥ 2 она имеет n ! / 2 элементов. Группа S n является полупрямым произведением A n и любой подгруппы, порожденной одним транспонированием.

Кроме того, каждая перестановка может быть записана как произведение смежных транспозиций , то есть транспозиций формы ( a a +1) . Например, перестановка g сверху также может быть записана как g = (4 5) (3 4) (4 5) (1 2) (2 3) (3 4) (4 5) . Алгоритм пузырьковой сортировки является применением этого факта. Представление перестановки как произведения смежных транспозиций также не уникально.

Циклы

Цикл из длины к перестановке е , для которого существует элемент х в {1, ..., п }, что х , е ( х ), F 2 ( х ), ..., е к ( х ) = x - единственные элементы, перемещаемые f ; требуется, чтобы k ≥ 2, поскольку при k = 1 сам элемент x тоже не сдвинулся бы. Перестановка h, определенная формулой

представляет собой цикл длины три, поскольку h (1) = 4 , h (4) = 3 и h (3) = 1 , оставляя 2 и 5 нетронутыми. Мы обозначаем такой цикл (1 4 3) , но его также можно было бы записать (4 3 1) или (3 1 4) , начав с другой точки. Порядок цикла равен его длине. Циклы длины два - это транспозиции. Два цикла не пересекаются, если они перемещают непересекающиеся подмножества элементов. Непересекающиеся циклы коммутируют : например, в S 6 выполняется равенство (4 1 3) (2 5 6) = (2 5 6) (4 1 3) . Каждый элемент S n может быть записан как произведение непересекающихся циклов; это представление уникально до порядка факторов и свободы, представленной в представлении каждого отдельного цикла путем выбора его начальной точки.

Циклы допускают следующее свойство сопряжения с любой перестановкой , это свойство часто используется для получения его образующих и соотношений .

Специальные элементы

Некоторые элементы симметрической группы {1, 2, ..., n } представляют особый интерес (их можно обобщить на симметрическую группу любого конечного полностью упорядоченного множества, но не на группу неупорядоченного множества).

В перестановка с изменением порядка определяется следующим образом:

Это единственный максимальный элемент относительно порядка Брюа и самый длинный элемент в симметрической группе относительно порождающего множества, состоящего из смежных транспозиций ( i i +1) , 1 ≤ in - 1 .

Это инволюция, состоящая из (несмежных) транспозиций

так что у него есть знак:

которое является 4-периодическим по n .

В S 2 п , то идеальные перетасовать является перестановкой, разбивает множество на 2 свай и перемежают их. Его знак также

Обратите внимание, что перестановка n элементов и идеальное перемешивание 2 n элементов имеют один и тот же знак; они важны для классификации алгебр Клиффорда , которые являются 8-периодическими.

Классы сопряженности

В классах сопряженности из S п соответствует структурам цикла перестановок; то есть два элемента S n сопряжены в S n тогда и только тогда, когда они состоят из одинакового числа непересекающихся циклов одинаковой длины. Например, в S 5 (1 2 3) (4 5) и (1 4 3) (2 5) сопряжены; (1 2 3) (4 5) и (1 2) (4 5) не являются. Сопрягающий элемент S n может быть построен в «двухстрочной записи», помещая «обозначения цикла» двух сопряженных перестановок друг на друга. Продолжая предыдущий пример:

которое можно записать как произведение циклов, а именно: (2 4).

Эта перестановка затем связывает (1 2 3) (4 5) и (1 4 3) (2 5) через сопряжение, то есть

Понятно, что такая перестановка не уникальна.

Группы низкой степени

Симметрические группы низкой степени имеют более простую и исключительную структуру и часто требуют отдельного рассмотрения.

S 0 и S 1
Симметрические группы на пустом множестве и одноэлементном множестве тривиальны, что соответствует 0! = 1! = 1 . В этом случае альтернированная группа согласуется с симметричной группой, а не является подгруппой индекса 2, и отображение знаков тривиально. В случае S 0 его единственным членом является пустая функция .
S 2
Эта группа состоит ровно из двух элементов: тождества и перестановки двух точек. Это циклическая группа и, следовательно, абелева . В теории Галуа это соответствует тому факту, что квадратная формула дает прямое решение общего квадратичного многочлена после извлечения только одного корня. В теории инвариантов теория представлений симметрической группы в двух точках довольно проста и рассматривается как запись функции двух переменных как суммы ее симметричной и антисимметричной частей: Полагая f s ( x , y ) = f ( x , y ) + f ( y , x ) и f a ( x , y ) = f ( x , y ) - f ( y , x ) , получается, что 2⋅ f = f s + f a . Этот процесс известен как симметризация .
S 3
S 3 - первая неабелева симметрическая группа. Эта группа изоморфна группе диэдра порядка 6 , группе симметрий отражения и вращения равностороннего треугольника , поскольку эти симметрии переставляют три вершины треугольника. Циклы длины два соответствуют отражениям, а циклы длины три - вращениям. В теории Галуа отображение знаков из S 3 в S 2 соответствует разрешающей квадратичной зависимости для кубического многочлена , как обнаружил Джероламо Кардано , в то время как ядро A 3 соответствует использованию дискретного преобразования Фурье порядка 3 в решении, в виде резольвент Лагранжа .
S 4
Группа S 4 изоморфна группе собственных вращений вокруг противоположных граней, противоположных диагоналей и противоположных ребер, 9, 8 и 6 перестановок куба . Помимо группы A 4 , S 4 имеет четырехгруппу Клейна V в качестве собственной нормальной подгруппы , а именно четные транспозиции {(1), (1 2) (3 4), (1 3) (2 4), (1 4) (2 3)} с фактором S 3 . В теории Галуа это отображение соответствует разрешающей кубике многочлену четвертой степени , что позволяет решать квартику радикалами, как установил Лодовико Феррари . Группу Клейна можно понять в терминах резольвент Лагранжа квартики. Отображение из S 4 в S 3 также дает 2-мерное неприводимое представление, которое является неприводимым представлением симметрической группы степени n размерности ниже n - 1 , что имеет место только для n = 4 .
S 5
S 5 - первая неразрешимая симметрическая группа. Наряду со специальной линейной группой SL (2, 5) и группой икосаэдра A 5 × S 2 , S 5 является одной из трех неразрешимых групп порядка 120 с точностью до изоморфизма. S 5 является группой Галуа общего уравнения пятой степени , и тот факт, что S 5 не является разрешимой группой, означает отсутствие общей формулы для решения многочленов пятой степени радикалами. Существует экзотическое отображение включения S 5 → S 6 как транзитивная подгруппа ; очевидное отображение включения S n → S n +1 фиксирует точку и, следовательно, не является транзитивным. Это дает внешний автоморфизм S 6 , обсуждаемый ниже, и соответствует резольвентной секстике квинтики.
S 6
В отличие от всех других симметрических групп, S 6 имеет внешний автоморфизм . Используя язык теории Галуа , это также можно понять в терминах резольвент Лагранжа . Резольвента квинтики имеет степень 6 - это соответствует экзотическому отображению включения S 5 → S 6 как транзитивной подгруппе (очевидное отображение включения S n → S n +1 фиксирует точку и, таким образом, не является транзитивным) и, в то время как это отображение не делает общую квинтику разрешимой, она дает экзотический внешний автоморфизм S 6 - подробности см. в автоморфизмах симметрической и знакопеременной групп .
Заметим, что хотя A 6 и A 7 имеют исключительный множитель Шура ( тройное покрытие ) и что они распространяются на тройные покрытия S 6 и S 7 , они не соответствуют исключительным мультипликаторам Шура симметрической группы.

Карты между симметричными группами

Кроме тривиального отображения S п → C 1 ≅ S 0 ≅ S 1 и отображение знака S п → S 2 , наиболее заметные гомоморфизмы между симметричными группами, в порядке относительной размерности , являются:

  • S 4 → S 3, соответствующая исключительной нормальной подгруппе V <A 4 <S 4 ;
  • S 6 → S 6 (точнее, класс таких отображений с точностью до внутреннего автоморфизма), соответствующий внешнему автоморфизму S 6 .
  • S 5 → S 6 как транзитивная подгруппа, что дает внешний автоморфизм S 6, как обсуждалось выше.

Также существует множество других гомоморфизмов S m → S n, где m < n .

Отношения с чередующейся группой

Для п ≥ 5 , в знакопеременной группы А п является простым , и индуцированное фактор является знаком карта: п → S п → S 2 , который разделяется, принимая транспозицию двух элементов. Таким образом, S n является полупрямым произведением A n ⋊ S 2 и не имеет других собственных нормальных подгрупп, поскольку они пересекали бы A n либо в тождестве (и, таким образом, сами были бы тождеством или группой из 2 элементов, что не является нормальным). , или в A n (и, таким образом, сами являются A n или S n ).

S n действует на своей подгруппе A n сопряжением, и для n ≠ 6 S n является полной группой автоморфизмов A n : Aut (A n ) ≅ S n . Сопряжение четными элементами - это внутренние автоморфизмы A n, а внешний автоморфизм A n порядка 2 соответствует сопряжению нечетным элементом. При n = 6 существует исключительный внешний автоморфизм A n, поэтому S n не является полной группой автоморфизмов A n .

Наоборот, при n 6 S n не имеет внешних автоморфизмов, а при n 2 у него нет центра, поэтому при n 2, 6 это полная группа , как обсуждается в группе автоморфизмов ниже.

При n ≥ 5 S n - почти простая группа , так как она лежит между простой группой A n и ее группой автоморфизмов.

S n можно вложить в A n +2 , добавив транспонирование ( n + 1, n + 2) ко всем нечетным перестановкам, в то время как вложение в A n +1 невозможно при n > 1 .

Генераторы и отношения

Симметрическая группа из n букв порождается смежными транспозициями, которые меняют местами i и i + 1 . Коллекция порождает S n при следующих отношениях:

  • для , и

где 1 представляет собой тождественную перестановку. Это представление наделяет симметрическую группу структурой группы Кокстера (а значит, и группы отражений ).

Другие возможные генерирующие наборы включают в себя набор транспозиций, которые меняют местами 1 и i на 2 ≤ in , и набор, содержащий любой n -цикл и 2 -цикл соседних элементов в n -цикле.

Структура подгруппы

Подгруппа симметрической группы называется группой перестановок .

Нормальные подгруппы

В нормальных подгруппах из конечных симметрических групп хорошо изучены. Если n ≤ 2 , S n имеет не более 2 элементов и, следовательно, не имеет нетривиальных собственных подгрупп. Знакопеременная группа степени п всегда нормальная подгруппа, правильная один для п ≥ 2 и нетривиальная для п ≥ 3 ; при n ≥ 3 это фактически единственная нетривиальная собственная нормальная подгруппа в S n , за исключением случая , когда n = 4, где есть одна дополнительная такая нормальная подгруппа, которая изоморфна четверке Клейна .

Симметрическая группа на бесконечном множестве не имеет подгруппы индекса 2, поскольку Витали (1915) доказал, что каждая перестановка может быть записана как произведение трех квадратов. Однако он содержит нормальную подгруппу S перестановок, фиксирующих все элементы, кроме конечного числа, которая порождается транспозициями. Эти элементы S , которые являются продуктами четного числа транспозиций образуют подгруппу индекса 2 в S , называемой переменный делитель . Так как даже характеристическая подгруппа из S , она также является нормальной подгруппой полной симметрической группы бесконечного множества. Группы A и S - единственные нетривиальные собственные нормальные подгруппы симметрической группы на счетно бесконечном множестве. Это было впервые доказано ONOFRI (1929) и независимо друг от друга Шрайер - Улама (1934). Подробнее см. ( Scott 1987 , Ch. 11.3) или ( Dixon & Mortimer 1996 , Ch. 8.1).

Максимальные подгруппы

В максимальных подгруппах конечной симметрической группы делятся на три класса: непереходные, импримитивные и примитивный. Непереходные максимальные подгруппы - это в точности подгруппы вида Sym ( k ) × Sym ( n - k ) для 1 ≤ k < n / 2 . Импримитивные максимальные подгруппы - это в точности те, которые имеют вид Sym ( k ) wr Sym ( n / k ), где 2 ≤ kn / 2 - собственный делитель n, а «wr» обозначает импримитивно действующее сплетение . Примитивные максимальные подгруппы труднее идентифицировать, но с помощью теоремы О'Нана – Скотта и классификации конечных простых групп ( Liebeck, Praeger & Saxl 1988 ) дали довольно удовлетворительное описание максимальных подгрупп этого типа. согласно ( Dixon & Mortimer 1996 , p. 268).

Силовские подгруппы

В силовских подгруппах симметрических групп являются важными примерами р -групп . Их легче сначала описать в особых случаях:

Силовские р -подгруппа симметрической группы степени р являются только циклическими подгруппами , порожденными р -циклами. Есть ( p - 1)! / ( P - 1) = ( p - 2)! такие подгруппы просто подсчетом генераторов. Нормализатор , следовательно , имеет порядок р ⋅ ( р - 1) и известен как группа Фробениус F р ( р - 1) ( в частности , для р = 5 ), и является аффинной линейной группой , AGL (1, р ) .

Силовские p -подгруппы симметрической группы степени p 2 являются сплетением двух циклических групп порядка p . Например, когда p = 3 , силовская 3-подгруппа Sym (9) порождается a = (1 4 7) (2 5 8) (3 6 9) и элементами x = (1 2 3), y = (4 5 6), z = (7 8 9) , и каждый элемент силовской 3-подгруппы имеет вид a i x j y k z l для .

Силовские p -подгруппы симметрической группы степени p n иногда обозначают W p ( n ), и, используя это обозначение, мы получаем, что W p ( n + 1) является сплетением групп W p ( n ) и W p ( 1).

В общем, силовские p -подгруппы симметрической группы степени n являются прямым произведением a i копий W p ( i ), где 0 ≤ a ip - 1 и n = a 0  +  pa 1  + ... +  p ka k (базовое p разложение числа n ).

Например, W 2 (1) = C 2 и W 2 (2) = D 8 , группа диэдра порядка 8 , и поэтому силовская 2-подгруппа симметрической группы степени 7 порождается {(1,3 ) (2,4), (1,2), (3,4), (5,6)} и изоморфна D 8 × C 2 .

Эти расчеты приписываются ( Kaloujnine 1948 ) и более подробно описаны в ( Rotman 1995 , p. 176) . Однако обратите внимание, что ( Kerber 1971 , стр. 26) приписывает результат работе Коши 1844 года и упоминает, что он даже описан в форме учебника в ( Netto 1882 , §39-40).

Транзитивные подгруппы

Транзитивная подгруппа из S п является подгруппой, действие которого на {1, 2, ...,  п } является транзитивным . Например, группа Галуа ( конечного ) расширения Галуа является транзитивной подгруппой в S n для некоторого n .

Теорема Кэли

Теорема Кэли утверждает, что каждая группа G изоморфна подгруппе некоторой симметрической группы. В частности, можно взять подгруппу симметрической группы на элементах группы G , поскольку каждая группа точно действует сама на себя умножением (левым или правым).

Группа автоморфизмов

п Aut (S n ) Выход (S n ) Z (S n )
п 2, 6 S n C 1 C 1
п = 2 C 1 C 1 S 2
п = 6 S 6 ⋊ C 2 C 2 C 1

При n 2, 6 S n - полная группа : ее центр и группа внешних автоморфизмов тривиальны.

При n = 2 группа автоморфизмов тривиальна, но S 2 нетривиальна: она изоморфна C 2 , которая является абелевой, и, следовательно, центром является вся группа.

При n = 6 она имеет внешний автоморфизм порядка 2: Out (S 6 ) = C 2 , а группа автоморфизмов является полупрямым произведением Aut (S 6 ) = S 6 C 2 .

Фактически, для любого множества X мощности, отличной от 6, каждый автоморфизм симметрической группы на X является внутренним, что, согласно ( Schreier & Ulam 1937 ), согласно ( Dixon & Mortimer 1996 , p. 259), является внутренним .

Гомология

Группа гомология из S п вполне регулярная и стабилизирует: первый гомологии (конкретно, абелианизация ) является:

Первая группа гомологии является абелианизацией, и соответствует карте знака S п → S 2 , который является абелианизацией для п ≥ 2; при n <2 симметрическая группа тривиальна. Эти гомологии легко вычисляются следующим образом: S n порождается инволюциями (2-циклами, имеющими порядок 2), поэтому единственными нетривиальными отображениями S n → C p являются S 2, и все инволюции сопряжены, следовательно, отображаются в тот же элемент в абелианизации (поскольку сопряжение тривиально в абелевых группах). Таким образом, единственным возможным Maps S п → S 2 ≅ {± 1} отправить инволюцию к 1 (тривиальное карту) , либо -1 (знак карта). Также необходимо показать, что отображение знаков хорошо определено, но в предположении, что это дает первые гомологии S n .

Вторая гомология (конкретно, множитель Шура ):

Это было вычислено в ( Schur 1911 ) и соответствует двойному покрытию симметрической группы 2 · S n .

Отметим, что исключительные низкоразмерные гомологии знакопеременной группы ( соответствующие нетривиальной абелианизации и благодаря исключительному трехмерному покрытию) не изменяют гомологии симметрической группы; явления знакопеременной группы делают выход симметричных явлений группы - карта распространяется и тройные крышки A 6 и A 7 распространяются на тройные покрытия S 6 и S 7 - но они не являются гомологическими - карта не изменяет абелианизацию из S 4 , и тройные покрытия также не соответствуют гомологиям.

Гомологии «стабилизируются» в смысле стабильной теории гомотопий : существует отображение включения S n → S n +1 , а при фиксированном k индуцированное отображение на гомологиях H k (S n ) → H k (S n +1 ) является изоморфизмом при достаточно больших n . Это аналогично гомологиям стабилизирующих групп Ли семейств .

Гомологии бесконечной симметрической группы вычислены в ( Nakaoka 1961 ) с алгеброй когомологий, образующей алгебру Хопфа .

Теория представлений

Теория представлений симметрической группы является частным случаем теории представлений конечных групп , для которого может быть получена конкретная и подробная теория. У этого есть большая область потенциальных приложений, от теории симметричных функций до задач квантовой механики для ряда идентичных частиц .

Симметрическая группа S n имеет порядок n !. Его классы сопряженности помечены перегородками из  п . Следовательно, согласно теории представлений конечной группы, количество неэквивалентных неприводимых представлений над комплексными числами равно количеству разбиений  n . В отличие от общей ситуации для конечных групп, на самом деле существует естественный способ параметризации неприводимого представления тем же набором, который параметризует классы сопряженности, а именно разбиением n или, что эквивалентно, диаграмм Юнга размера  n .

Каждое такое неприводимое представление может быть реализовано над целыми числами (каждая перестановка действует матрицей с целыми коэффициентами); его можно явно построить, вычислив симметризаторы Юнга, действующие в пространстве, порожденном таблицами Юнга формы, заданной диаграммой Юнга.

По другим месторождениям ситуация может значительно усложниться. Если поле К имеет характерное равен нулю или больше , чем п то по Машке теореме групповая алгебра K S п полупрост. В этих случаях неприводимые представления, определенные над целыми числами, дают полный набор неприводимых представлений (после редукции по модулю характеристики, если это необходимо).

Однако неприводимые представления симметрической группы в произвольной характеристике неизвестны. В этом контексте чаще используется язык модулей, а не представлений. Представление, полученное из неприводимого представления, определенного над целыми числами путем сведения по модулю характеристики, в общем случае не будет неприводимым. Построенные таким образом модули называются модулями Шпехта , и всякое неприводимое действительно возникает внутри некоторого такого модуля. Сейчас меньше неприводимых, и, хотя их можно классифицировать, они очень плохо изучены. Например, вообще не известны даже их размеры .

Определение неприводимых модулей для симметрической группы над произвольным полем считается одной из важнейших открытых проблем теории представлений.

Смотрите также

Примечания

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

внешние ссылки