交代群

代数的構造 → 群論 群論
基本概念 部分群 正規部分群 商群 （半）直積 群準同型 核 像 直和 リース積 単純 有限 無限（英語版） 連続 乗法 加法 巡回 アーベル 二面体 冪零 可解 群論の用語 群論のトピックス一覧
有限群 有限単純群の分類 巡回 交代 リー型（英語版） 散在（英語版） コーシーの定理 ラグランジュの定理 シローの定理 ホールの定理 p 群 基本アーベル群 フロベニウス群（英語版） シューア multiplier（英語版） 対称群 Sn クラインの四元群 V 二面体群 Dn 四元数群 Q8 二重巡回群 Dicn
離散群 格子 整数 (Z) 格子 モジュラー群 PSL(2, Z) SL(2, Z)
位相 / リー群 ソレノイド（英語版） 円周 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) ユークリッド E(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) 斜交 Sp(n) G2（英語版） F4（英語版） E6（英語版） E7（英語版） E8 ローレンツ ポアンカレ 共形（英語版） 微分同相 ループ（英語版） 無限次元リー群（英語版） O(∞) SU(∞) Sp(∞)
代数群 楕円曲線 線型代数群 アーベル多様体

交代群（こうたいぐん、英: alternating group, 独: Alternierende Gruppe）とは、有限集合の偶置換全体がなす群である^[1]。集合 {1,...,n} 上の交代群は n 次の交代群、もしくは n 文字の交代群 (the alternating group on n letters) と呼ばれ、A_n もしくは Alt(n), ${\displaystyle {\mathfrak {A}}_{n}}$ という記号で表す。これは n 変数の交代式^[2]を不変とするような変数の置換がなす群と思ってもよい^[3]。

例として、4つの元からなる集合 {1, 2, 3, 4} の交代群 A₄ は以下のようになる。A₄ = {e, (123), (132), (124), (142), (134), (143), (234), (243), (12)(34), (13)(24), (14)(23)}（巡回置換記法を参照）

n > 1 とする。群 A_n は対称群 S_n の指数 2 の交換子群であり、n!/2 個の元を持つ。これは、符号準同型 sgn: S_n → {1, −1} の核である（置換の符号については置換 (数学)の項を参照）。 群 A_n が可換群となるのは、n ≤ 3 のときかつそのときに限る。また単純群となるのは n = 3 もしくは n ≥ 5 のときかつそのときに限る。A₅ は位数 60 を持つ最小の非可換単純群であり^[4]、最小の非可解群である。

群 A₄ はクラインの4元群 V を真の正規部分群として持つ。V は {e, (12)(34), (13)(24), (14)(23)} であり、列 V → A₄ → A₃ (= C₃) は完全である。ガロア理論によればこの写像、あるいはこれに対応する S₄ → S₃ に、四次方程式のフェラリの解法における（三次の）ラグランジュ分解方程式（分解方程式の根によって四次方程式を解くことができる）が対応している。

対称群の場合と同様、A_n の各共軛類は同じ巡回置換型を持つ元からなる。しかし、巡回置換型を構成する巡回置換の長さが奇数のみでしかも重複がないとき（巡回置換型には長さ1の巡回置換も含めるとする）、この型に対応する共軛類はちょうど二つ存在する^[5]。

例:

• ふたつの置換 (123) および (132) は同じ型を持つにもかかわらず A₃ において互いに共軛ではない（S₃ においては共軛である）。
• A₈ において、置換 (123)(45678) はその逆置換 (132)(48765) と同じ型をもつが、互いに共軛でない（S₈ の元としては共軛）。

n	Aut(An)	Out(An)
n = 1, 2	1	1
n = 3	${\displaystyle C_{2}}$	${\displaystyle C_{2}}$
n ≥ 4, n ≠ 6	${\displaystyle S_{n}}$	${\displaystyle C_{2}}$
n = 6	${\displaystyle S_{6}\rtimes C_{2}}$	${\displaystyle V=C_{2}\times C_{2}}$

一般の n > 3 (n ≠ 6) に対する A_n の自己同型群は対称群 S_n で^[6]、内部自己同型群として A_n を外部自己同型群として Z/2Z を持つ。このとき外部自己同型群は奇置換による共軛変換から得られる。

n = 1, 2 のとき自己同型群は自明群である。n = 3 の場合の自己同型群は Z/2Z で、内部自己同型群は自明、外部自己同型群は Z/2Z である。

A₆ の外部自己同型群はクラインの四元群 V = Z₂ × Z₂ であり、S₆ の外部自己同型に関係がある。The extra outer automorphism in A₆ swaps the 3-cycles (like (123)) with elements of shape 3² (like (123)(456)).

小さい位数の交代群とリー型の群（とくに特殊射影線型群）との間には例外的な同型（英語版）と呼ばれる対応が取れるものがある。

• A₄ は PSL₂(3) に同型である。また鏡像異種正六面体の対称性の群とも同型である。
• A₅ は PSL₂(4), PSL₂(5) に同型であり^[7]、また鏡像異種正二十面体の対称性の群とも同型である。
• A₆ は PSL₂(9) ^[7]および PSp₄(2)' に同型である。
• A₈ は PSL₄(2) に同型である^[7]。

もっと明らかなものとしては、A₃ が巡回群 Z/3Z に同型であることや A₀, A₁, A₂ が自明群に（これは任意の q に対する SL₁(q) = PSL₁(q) とも）同型であることなどが挙げられる。

交代群 A₄ は、ラグランジュの定理の逆が一般には成立しないことを示す最小の群である。すなわち、有限群 G と、 |G| の約数 d が存在するときでも、G には位数 d の部分群が必ず存在するとは限らない。G = A₄ とすると、位数は12になるが、位数6の部分群は存在しない。A₄ の中で、3個だけの元の交代（3個だけの元の巡回置換）からなる元の集合は部分群をなすが、それに任意の元を付け加えて生成する群は A₄ 全体になる。

交代群 A_n (n ≥ 3)の生成元と関係式による表示には以下のものが知られている。ひとつはCarmichaelによる（対称な）表示^[8]

生成元 V₁, …, V_n−2 と

関係式 V3
i = (V_i V_j)² = e (1 ≤ i < j ≤ n−2)

で、これは交代群 A_n を定める。この表示は ${\displaystyle V_{i}\mapsto (i,n-1,n)}$ という対応から得られる。

もうひとつはMooreによる表示^[8]

生成元 x₁, …, x_n−2 と

関係式

x3
1 = x2
i = e (2 ≤ i ≤ n−2)

(x_i x_i+1)³ = e (1 ≤ i ≤ n−3)

(x_i x_j)² = e (1 ≤ i ≤ n−4, i+1 < j)

で、これも交代群 A_n を定める^[9]。この表示は ${\displaystyle x_{i}\mapsto (1,2)(i+1,i+2)}$ という対応から得られる。

この節には内容がありません。 加筆して下さる協力者を求めています。

交代群の群ホモロジーは安定ホモトピー論における意味で安定である。つまり（有限個の小さい次元のホモロジー群を除いて）十分大きな n に対する n-次ホモロジー群が（同型の意味で）一定となる。

群の一次元ホモロジー群は群のアーベル化に一致する（また、A_n は知られた例外を除いて完全である）から、

${\displaystyle H_{1}(A_{n},\mathbb {Z} )=0{\mbox{ for }}n=0,1,2;}$

${\displaystyle H_{1}(A_{3},\mathbb {Z} )=A_{3}^{\text{ab}}=A_{3}=\mathbb {Z} /3\mathbb {Z} ;}$

${\displaystyle H_{1}(A_{4},\mathbb {Z} )=A_{4}^{\text{ab}}=\mathbb {Z} /3\mathbb {Z} ;}$

${\displaystyle H_{1}(A_{n},\mathbb {Z} )=0{\mbox{ for }}n\geq 5}$

が得られる。これは以下のようにすれば直接確認することも容易である。まず、A₃ は長さ 3 の巡回置換によって生成され、位数 3 の元は位数 3 の元に写らなければならないから、非自明なアーベル化写像は準同型 A_n → C₃ のとり方のみによって決まる。

n ≥ 5 ならば、長さ 3 の巡回置換はすべて互いに共軛であるから、これらの元はアーベル化の中で同じ元に写る（共軛変換は可換群には自明に働く）。したがって、(123) のような長さ 3 の巡回置換はその逆元 (321) ともども同じ元へ写るが、その行き先は位数が 2 も 3 も割り切るものである単位元でなければならない。ゆえにアーベル化は自明群である。

n < 3 のときは A_n 自身が自明群だから、そのアーベル化も同様に自明である。A₃, A₄ については直接そのアーベル化を計算して確かめればよいが、注意すべきは長さ 3 の巡回置換の全体はすべてが共軛というわけにはいかず、ふたつの共軛類に分かれることである。したがって、非自明な全射準同型

${\displaystyle A_{3}\twoheadrightarrow C_{3},\quad A_{4}\twoheadrightarrow C_{3}}$

が存在する。前者は実際には同型である。

n ≥ 5 の場合の A_n のシューア乗因子（英語版）は（n = 6, 7 の場合を除いて）位数 2 の巡回群である。n = 6, 7 の場合、三重被覆が存在し、シューア乗因子は位数 6 の巡回群となる^[10]。これらの計算は (Schur 1911) において初めて成されている。

${\displaystyle H_{2}(A_{n},\mathbb {Z} )=0{\mbox{ for }}n=1,2,3;}$

${\displaystyle H_{2}(A_{n},\mathbb {Z} )=\mathbb {Z} /2\mathbb {Z} {\mbox{ for }}n=4,5;}$

${\displaystyle H_{2}(A_{n},\mathbb {Z} )=\mathbb {Z} /6\mathbb {Z} {\mbox{ for }}n=6,7;}$

${\displaystyle H_{2}(A_{n},\mathbb {Z} )=\mathbb {Z} /2\mathbb {Z} {\mbox{ for }}n\geq 8.}$

• Vil'yams, N. N. (2001), “Alternating group”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Alternating_group&oldid=31835