交代群

交代群（こうたいぐん、英: 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-次ホモロジー群が（同型の意味で）一定となる。

アーベル化 H₁

群の一次元ホモロジー群は群のアーベル化に一致する（また、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}}$

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

シューア乗因子 H₂

→詳細は「対称群・交代群の被覆群」を参照

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.}$

脚注

1. Scott 1987, p. 267.
2. たとえば基本交代式（差積）${\displaystyle \Delta (x_{1},\dotsc ,x_{n}):=\prod _{1\leq i<j\leq n}(x_{i}-x_{j})}$
3. Vilyams 2001.
4. ガロワは素数位数でない単純群の最小位数は 60 であると予想していた (Kline 1992, p. 766)。
5. Scott 1987, pp. 298–300, §11.1 Conjugacy classes.
6. Wilson 2009, p. 18（Theorem 2.3, Exercise 2.16 参照）
7. Scott 1987, p. 295.
8. Coxeter, Harold S. M.; Moser, William O. J. (1980). Generators and Relations for Discrete Groups (4th ed.). p. 66. ISBN 978-3-662-21945-4
9. Huppert 1967, p. 138, Beispiel 19.8（Aufgaben 75, Beispiel 19.9 も参照）
10. Wilson, Robert (October 31, 2006), “Chapter 2: Alternating groups”, http://www.maths.qmul.ac.uk/~raw/fsgs.html, 2.7: Covering groups

参考文献

• Huppert, B. (1967), Endliche Gruppen I, Die Grundlehren der Mathematischen Wissenschaften, 134, Springer-Verlag, doi:10.1007/978-3-642-64981-3, ISBN 978-3-642-64982-0, MR0224703, Zbl 0217.07201, https://books.google.co.jp/books?id=dfunBgAAQBAJ
• Kline, Morris (1972), Mathematical Thought from Ancient to Modern Times, Oxford University Press, ISBN 0-19-501496-0, MR0472307, Zbl 0277.01001 (Review by Gian-Carlo Rota in Bull. Amer. Math. Soc.)
• Schur, Issai (1911), “Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen”, J. Reine Angew. Math. 139: 155–250, doi:10.1515/crll.1911.139.155
• Scott, W. R. (1987) [1964], Group Theory (Second ed.), Dover, ISBN 978-0-486-65377-8, MR0896269, Zbl 0641.20001, https://books.google.co.jp/books?id=pOwxAwAAQBAJ
• Wilson, Robert A. (2009), “Chapter 2. The alternating groups”, The Finite Simple Groups, Graduate Texts in Mathematics, 251, Springer, pp. 11–39, doi:10.1007/978-1-84800-988-2, ISBN 978-1-84800-987-5, MR2562037, Zbl 1203.20012, https://books.google.co.jp/books?id=lYMAg_Sj7hUC&pg=PA11

外部リンク

• 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