WikiDer > Автоморфизмы симметрической и знакопеременной групп

В теория групп, филиал математика, то автоморфизмы и внешние автоморфизмы из симметричные группы и чередующиеся группы являются как стандартными примерами этих автоморфизмов, так и самостоятельными объектами изучения, в частности исключительным внешним автоморфизмом S₆, симметрическая группа из 6 элементов.

Резюме

${displaystyle n}$	${displaystyle operatorname {Aut} (mathrm {S} _ {n})}$	${displaystyle operatorname {Out} (mathrm {S} _ {n})}$
${displaystyle neq 2,6}$	${displaystyle mathrm {S} _ {n}}$	${displaystyle mathrm {C} _ {1}}$
${displaystyle n = 2}$	${displaystyle mathrm {C} _ {1}}$	${displaystyle mathrm {C} _ {1}}$
${displaystyle n = 6}$	${displaystyle mathrm {S} _ {6} умножить на mathrm {C} _ {2}}$[1]	${displaystyle mathrm {C} _ {2}}$

${displaystyle n}$	${displaystyle operatorname {Aut} (mathrm {A} _ {n})}$	${displaystyle operatorname {Out} (mathrm {A} _ {n})}$
${displaystyle ngeq 4, neq 6}$	${displaystyle mathrm {S} _ {n}}$	${displaystyle mathrm {C} _ {2}}$
${displaystyle n = 1,2}$	${displaystyle mathrm {C} _ {1}}$	${displaystyle mathrm {C} _ {1}}$
${displaystyle n = 3}$	${displaystyle mathrm {C} _ {2}}$	${displaystyle mathrm {C} _ {2}}$
${displaystyle n = 6}$	${displaystyle mathrm {S} _ {6} умножить на mathrm {C} _ {2}}$	${displaystyle mathrm {V} = mathrm {C} _ {2} imes mathrm {C} _ {2}}$

Общий случай

• ${displaystyle neq 2,6}$: ${displaystyle operatorname {Aut} (mathrm {S} _ {n}) = mathrm {S} _ {n}}$, и поэтому ${displaystyle operatorname {Out} (mathrm {S} _ {n}) = mathrm {C} _ {1}}$.

Формально, ${displaystyle mathrm {S} _ {n}}$ является полный и естественная карта ${displaystyle mathrm {S} _ {n} o OperatorName {Aut} (mathrm {S} _ {n})}$ является изоморфизмом.

• ${displaystyle neq 2,6}$: ${displaystyle operatorname {Out} (mathrm {A} _ {n}) = mathrm {S} _ {n} / mathrm {A} _ {n} = mathrm {C} _ {2}}$, а внешний автоморфизм сопряжен нечетная перестановка.
• ${displaystyle neq 2,3,6}$: ${displaystyle operatorname {Aut} (mathrm {A} _ {n}) = operatorname {Aut} (mathrm {S} _ {n}) = mathrm {S} _ {n}}$

Действительно, естественные карты ${displaystyle mathrm {S} _ {n} o operatorname {Aut} (mathrm {S} _ {n}) o operatorname {Aut} (mathrm {A} _ {n})}$ являются изоморфизмами.

Исключительные случаи

• ${displaystyle n = 1,2}$: тривиально:

${displaystyle operatorname {Aut} (mathrm {S} _ {1}) = operatorname {Out} (mathrm {S} _ {1}) = operatorname {Aut} (mathrm {A} _ {1}) = operatorname {Out } (mathrm {A} _ {1}) = mathrm {C} _ {1}}$

${displaystyle operatorname {Aut} (mathrm {S} _ {2}) = operatorname {Out} (mathrm {S} _ {2}) = operatorname {Aut} (mathrm {A} _ {2}) = operatorname {Out } (mathrm {A} _ {2}) = mathrm {C} _ {1}}$

• ${displaystyle n = 3}$: ${displaystyle operatorname {Aut} (mathrm {A} _ {3}) = operatorname {Out} (mathrm {A} _ {3}) = mathrm {S} _ {3} / mathrm {A} _ {3} = mathrm {C} _ {2}}$
• ${displaystyle n = 6}$: ${displaystyle operatorname {Out} (mathrm {S} _ {6}) = mathrm {C} _ {2}}$, и ${displaystyle operatorname {Aut} (mathrm {S} _ {6}) = mathrm {S} _ {6} умножить на mathrm {C} _ {2}}$ это полупрямой продукт.
• ${displaystyle n = 6}$: ${displaystyle operatorname {Out} (mathrm {A} _ {6}) = mathrm {C} _ {2} imes mathrm {C} _ {2}}$, и ${displaystyle operatorname {Aut} (mathrm {A} _ {6}) = operatorname {Aut} (mathrm {S} _ {6}) = mathrm {S} _ {6} умножить на mathrm {C} _ {2}. }$

Исключительный внешний автоморфизм S₆

Среди симметрических групп только S₆ имеет нетривиальный внешний автоморфизм, который можно назвать исключительный (по аналогии с исключительные алгебры Ли) или же экзотика. Фактически, Out (S₆) = C₂.^[2]

Это было обнаружено Отто Гёльдер в 1895 г.^[2][3]

Это также дает еще один внешний автоморфизм A₆, и это единственный исключительный внешний автоморфизм конечной простой группы:^[4] для бесконечных семейств простых групп существуют формулы для числа внешних автоморфизмов, а простая группа порядка 360, рассматриваемая как A₆, ожидается, что будет иметь два внешних автоморфизма, а не четыре.₆ рассматривается как PSL (2, 9), группа внешних автоморфизмов имеет ожидаемый порядок. (За спорадические группы - то есть тех, которые не попадают в бесконечное семейство - понятие исключительного внешнего автоморфизма не определено, поскольку не существует общей формулы.)

Строительство

Существует множество конструкций, перечисленных в (Януш и Ротман 1982) ошибка harv: несколько целей (2 ×): CITEREFJanuszRotman1982 (помощь).

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

Один из способов:

• Построить экзотическую карту (вложение) S₅ → S₆
• S₆ действует сопряжением на шести сопряженных этой подгруппе, давая отображение S₆ → S_Икс, куда Икс - множество конъюгатов. Идентификация Икс с номерами 1, ..., 6 (что зависит от выбора нумерации конъюгатов, т. е. с точностью до элемента S₆ (внутренний автоморфизм)) дает внешний автоморфизм S₆ → S₆.
• Это отображение является внешним автоморфизмом, поскольку транспозиция не отображается на транспозицию, но внутренние автоморфизмы сохраняют структуру цикла.

Далее можно работать с действием умножения на смежных классах или действием сопряжения на сопряженных.

Чтобы увидеть, что S₆ имеет внешний автоморфизм, напомним, что гомоморфизмы из группы грамм симметрической группе S_п по сути такие же, как действия грамм на наборе п элементов, и подгруппа, фиксирующая точку, тогда является подгруппой индекс в большинстве п в грамм. И наоборот, если у нас есть подгруппа индекса п в грамм, действие на смежных классах дает транзитивное действие грамм на п точек, а значит, гомоморфизм в S_п.

Построение из разбиений графа

Перед более математически строгими построениями он помогает понять простую конструкцию.

Взять полный график с 6 вершинами, K₆. Он имеет 15 ребер, которые можно разделить на 3 ребра. идеальное соответствие 15 разными способами. Наконец, можно найти набор из 5 идеальных совпадений из набора из 15 таких, что никакие два сопоставления не имеют общего ребра, и что между ними есть все 5 × 3 = 15 ребра графа; это факторизация графа можно сделать 6 разными способами.

Рассмотрим перестановку 6 вершин и увидим ее влияние на 6 различных факторизаций. В конечном итоге мы получаем карту от 720 входных перестановок до 720 выходных перестановок. Это отображение является в точности внешним автоморфизмом S₆.

Как автоморфизм, отображение должно сохранять порядок элементов, но не сохраняет структуру цикла. Например, 2-цикл отображается в продукт трех 2-циклов; легко видеть, что 2-цикл каким-то образом влияет на все 6 факторизаций графа и, следовательно, не имеет фиксированных точек, если рассматривать его как перестановку факторизаций. Тот факт, что этот автоморфизм вообще можно построить, основан на большом количестве числовых совпадений, которые относятся только к п = 6.

Экзотическая карта S₅ → S₆

В S есть подгруппа (действительно, 6 сопряженных подгрупп).₆ которые абстрактно изоморфны S₅, но которые транзитивно действуют как подгруппы в S₆ действует на набор из 6 элементов. (Образ очевидного отображения S_п → S_п+1 фиксирует элемент и, следовательно, не является транзитивным.)

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

Януш и Ротман строят его так:

• S₅ действует транзитивно сопряжением на множестве своих 6 Силовские 5-подгруппы, что дает вложение S₅ → S₆ как транзитивная подгруппа порядка 120.

Это следует из проверки 5-циклов: каждый 5-цикл порождает группу порядка 5 (таким образом, силовская подгруппа), имеется 5! / 5 = 120/5 = 24 5-циклов, что дает 6 подгрупп (поскольку каждая подгруппа также включает тождество), а S_п действует транзитивно сопряжением на множестве циклов данного класса, следовательно, транзитивно сопряжением на этих подгруппах.

В качестве альтернативы можно использовать теоремы Силова, которые в общем утверждают, что все силовские p-подгруппы сопряжены.

PGL (2,5)

В проективная линейная группа измерения два над конечное поле с пятью элементами PGL (2, 5) действует на проективная линия над полем с пятью элементами, п¹(F₅), состоящий из шести элементов. Далее это действие верный и 3-переходный, как это всегда бывает для действия проективной линейной группы на проективной прямой. Это дает отображение PGL (2, 5) → S₆ как транзитивная подгруппа. Идентификация PGL (2, 5) с помощью S₅ и проективная специальная линейная группа PSL (2, 5) с A₅ дает желаемые экзотические карты S₅ → S₆ и А₅ → А₆.^[5]

Следуя той же философии, можно реализовать внешний автоморфизм как следующие два неэквивалентных действия S₆ на наборе из шести элементов:^[6]

• обычное действие как группа перестановок;
• шесть неэквивалентных структур абстрактного 6-элементного множества как проективная линия п¹(F₅) - прямая имеет 6 точек, а проективная линейная группа действует 3-транзитивно, поэтому, зафиксировав 3 точки, будет 3! = 6 различных способов расставить оставшиеся 3 точки, что дает желаемое альтернативное действие.

Группа Фробениуса

Другой способ: построить внешний автоморфизм S₆, нам нужно построить «необычную» подгруппу индекса 6 в S₆, другими словами, тот, который не входит в число шести очевидных S₅ подгруппы, фиксирующие точку (которые как раз соответствуют внутренним автоморфизмам S₆).

В Группа Фробениуса из аффинные преобразования из F₅ (карты Икс ${displaystyle mapsto}$ топор + б куда а ≠ 0) имеет порядок 20 = (5 - 1) · 5 и действует на поле из 5 элементов, следовательно, является подгруппой в S₅. (Действительно, это нормализатор силовской 5-группы, упомянутой выше, рассматриваемой как группа переводов порядка 5F₅.)

S₅ действует транзитивно в пространстве смежных классов, которое представляет собой набор из 120/20 = 6 элементов (или путем сопряжения, что дает действие выше).

Прочие конструкции

Эрнст Витт нашел копию Aut (S₆) в Группа Матье M₁₂ (подгруппа Т изоморфна S₆ и элемент σ это нормализует Т и действует внешним автоморфизмом). Аналогично S₆ действуя на множество из 6 элементов двумя разными способами (имеющими внешний автоморфизм), M₁₂ действует на набор из 12 элементов двумя разными способами (имеет внешний автоморфизм), хотя, поскольку M₁₂ сам исключительный, этот внешний автоморфизм не считается исключительным.

Полная группа автоморфизмов A₆ естественно появляется как максимальная подгруппа группы Матье M₁₂ двумя способами: либо как подгруппа, фиксирующая разделение 12 точек на пару наборов из 6 элементов, либо как подгруппа, фиксирующая подмножество из 2 точек.

Другой способ увидеть, что S₆ имеет нетривиальный внешний автоморфизм, заключается в использовании того факта, что A₆ изоморфен PSL₂(9), группа автоморфизмов которого проективная полулинейная группа PΓL₂(9), в котором PSL₂(9) имеет индекс 4, что дает внешнюю группу автоморфизмов порядка 4. Наиболее наглядный способ увидеть этот автоморфизм - дать интерпретацию через алгебраическую геометрию над конечными полями, как показано ниже. Рассмотрим действие S₆ на аффинном 6-пространстве над полем k с 3 элементами. Это действие сохраняет несколько вещей: гиперплоскость. ЧАС на котором сумма координат равна 0, линия L в ЧАС где все координаты совпадают, а квадратичная форма q дается суммой квадратов всех 6 координат. Ограничение q к ЧАС есть дефектная линия L, поэтому существует индуцированная квадратичная форма Q на 4-х мерном ЧАС/L тот, который проверяется, является невырожденным и нерасщепляемым. Нулевая схема Q в ЧАС/L определяет гладкую квадратичную поверхность Икс в ассоциированном проективном 3-пространстве над k. Над алгебраическим замыканием k, Икс является произведением двух проективных прямых, поэтому по аргументу спуска Икс ограничение Вейля на k проективной прямой над квадратичной этальной алгеброй K. С Q не разделен k, вспомогательное рассуждение со специальными ортогональными группами над k силы K быть полем (а не продуктом двух копий k). Естественный S₆-действие на все в поле зрения определяет карту из S₆ к k-группа автоморфизмов Икс, который является полупрямым продуктом грамм PGL₂(K) = PGL₂(9) против инволюции Галуа. Это отображение несет простую группу A₆ нетривиально в (а значит, и на) подгруппу PSL₂(9) индекса 4 в полупрямом произведении грамм, поэтому S₆ таким образом идентифицируется как подгруппа индекса 2 группы грамм (а именно, подгруппа грамм генерируется PSL₂(9) и инволюция Галуа). Спряжение любым элементом грамм вне S₆ определяет нетривиальный внешний автоморфизм S₆.

Структура внешнего автоморфизма

На циклах он меняет перестановки типа (12) на (12) (34) (56) (класс 2¹ с классом 2³), и типа (123) с (145) (263) (класс 3¹ с 3 классом²). Внешний автоморфизм также меняет перестановки типа (12) (345) на (123456) (класс 2¹3¹ с 6 классом¹). Для каждого из других типов цикла в S₆внешний автоморфизм фиксирует класс перестановок циклического типа.

На₆, он меняет местами 3-циклы (как (123)) с элементами класса 3² (как (123) (456)).

Никаких других внешних автоморфизмов

Чтобы убедиться, что ни одна из других симметрических групп не имеет внешних автоморфизмов, проще всего выполнить два шага:

1. Сначала покажем, что любой автоморфизм, сохраняющий класс сопряженности транспозиций - это внутренний автоморфизм. (Это также показывает, что внешний автоморфизм S₆ уникален; см. ниже.) Обратите внимание, что автоморфизм должен посылать каждый класс сопряженности (характеризуемый циклическая структура что его элементы разделяют) к (возможно другому) классу сопряженности.
2. Во-вторых, покажите, что каждый автоморфизм (кроме указанного выше для S₆) стабилизирует класс транспозиций.

Последнее можно показать двумя способами:

• Для любой симметрической группы, отличной от S₆, не существует другого класса сопряженности, состоящего из элементов порядка 2, который имел бы такое же количество элементов, как класс транспозиций.
• Или так:

Каждая перестановка второго порядка (называемая инволюция) является продуктом k > 0 непересекающихся транспозиций, так что он имеет циклическую структуру 2^k1^п−2k. Что особенного в классе транспозиций (k = 1)?

Если один образует продукт двух различных транспозиций τ₁ и τ₂, то всегда получается либо 3-цикл, либо перестановка типа 2²1^п−4, поэтому порядок произведенных элементов равен 2 или 3. С другой стороны, если один образует продукт двух различных инволюций σ₁, σ₂ типа k > 1, затем предоставил п ≥ 7, всегда можно получить элемент порядка 6, 7 или 4 следующим образом. Мы можем сделать так, чтобы продукт содержал либо

• два 2-цикла и 3-цикл (для k = 2 и п ≥ 7)
• 7-тактный (для k = 3 и п ≥ 7)
• два 4 цикла (для k = 4 и п ≥ 8)

За k ≥ 5, примыкают к перестановкам σ₁, σ₂ в последнем примере избыточные 2 цикла, которые отменяют друг друга, и мы все равно получаем два 4-цикла.

Приходим к противоречию, потому что если класс транспозиций передается через автоморфизм ж к классу инволюций, который имеет k > 1, то существуют две транспозиции τ₁, τ₂ такой, что ж(τ₁) ж(τ₂) имеет порядок 6, 7 или 4, но мы знаем, что τ₁τ₂ имеет порядок 2 или 3.

Никаких других внешних автоморфизмов S₆

S₆ имеет ровно один (класс) внешних автоморфизмов: Out (S₆) = C₂.

Чтобы убедиться в этом, заметим, что существует только два класса сопряженности S₆ размера 15: транспозиции и классы 2³. Каждый элемент Aut (S₆) либо сохраняет каждый из этих классов сопряженности, либо меняет их местами. Любой представитель построенного выше внешнего автоморфизма меняет классы сопряженности, тогда как подгруппа индекса 2 стабилизирует транспозиции. Но автоморфизм, стабилизирующий транспозиции, является внутренним, поэтому внутренние автоморфизмы образуют подгруппу индекса 2 в Aut (S₆), так что Out (S₆) = C₂.

Более кратко: автоморфизм, который стабилизирует транспозиции, является внутренним, и существует только два класса сопряженности порядка 15 (транспозиции и тройные транспозиции), следовательно, группа внешних автоморфизмов не выше порядка 2.

Маленький п

Симметричный

За п = 2, S₂ = C₂ = Z/ 2 и группа автоморфизмов тривиальна (очевидно, но более формально, поскольку Aut (Z/ 2) = GL (1,Z/2) = Z/2^* = C₁). Таким образом, группа внутренних автоморфизмов также тривиальна (также потому, что S₂ абелева).

Чередование

За п = 1 и 2, A₁ = А₂ = C₁ тривиальна, поэтому группа автоморфизмов также тривиальна. За п = 3, А₃ = C₃ = Z/ 3 абелева (и циклическая): группа автоморфизмов GL (1,Z/3^*) = C₂, а группа внутренних автоморфизмов тривиальна (поскольку она абелева).

Примечания

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

• https://web.archive.org/web/20071227060045/http://polyomino.f2s.com/david/haskell/outers6.html
• Некоторые мысли о числе 6, Джон Баэз: связывает внешний автоморфизм с правильный икосаэдр
• «12 баллов в PG (3, 5) с 95040 самотрансформациями» в «Красоте геометрии» Кокстера: обсуждает внешний автоморфизм на первых двух страницах.
• Януш, Джеральд; Ротман, Джозеф (1 января 1982 г.). «Внешние автоморфизмы S6». Американский математический ежемесячник. 89 (6): 407–410. Дои:10.2307/2321657. JSTOR 2321657.
• Фурнелле, Томас А. (1 января 1993 г.). «Симметрии куба и внешние автоморфизмы S6». Американский математический ежемесячник. 100 (4): 377–380. Дои:10.2307/2324961. JSTOR 2324961.
• Лоример, П. Дж. (1 января 1966 г.). «Внешние автоморфизмы S6». Американский математический ежемесячник. 73 (6): 642–643. Дои:10.2307/2314806. JSTOR 2314806.
• Миллер, Дональд В. (1 января 1958 г.). «Об одной теореме Гёльдера». Американский математический ежемесячник. 65 (4): 252–254. Дои:10.2307/2310241. JSTOR 2310241.