交代群

**交代群**（こうたいぐん、, ）とは、有限集合の偶置換全体がなす群である。集合 {1,...,*n*} 
上の交代群は *n* 次の交代群、もしくは *n* 文字の交代群  と呼ばれ、*A**n* もしくは Alt(*n*), \mathfrak{A}_n という記号で表す。これは *n* 変数の交代式を不変とするような変数の置換がなす群と思ってもよい。

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

## 基本的性質
*n* &gt; 1 とする。群 *A**n* は対称群 *S**n* の指数 2 の交換子群であり、*n*!/2 個の元を持つ。これは、符号準同型 sgn: *S**n* → {1, &minus;1} の核である（置換の符号については置換 (数学)の項を参照）。
群 *A**n* が可換群となるのは、*n* ≤ 3 のときかつそのときに限る。また単純群となるのは *n* = 3 もしくは *n* ≥ 5 のときかつそのときに限る。*A*5 は位数  を持つ最小の非可換単純群であり、最小の非可解群である。

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

## 共軛類

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

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

## 自己同型群

一般の *n* &gt; 3 (*n* &ne; 6) に対する *A**n* の自己同型群は対称群 *S**n* で、内部自己同型群として *A**n* を外部自己同型群として **Z**/2**Z** を持つ。このとき外部自己同型群は奇置換による共軛変換から得られる。

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

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

## 例外的な同型

小さい位数の交代群とリー型の群（とくに特殊射影線型群）との間にはと呼ばれる対応が取れるものがある。
* *A*4 は PSL2(3) に同型である。また鏡像異種正六面体の対称性の群とも同型である。
* *A*5 は PSL2(4), PSL2(5) に同型であり、また鏡像異種正二十面体の対称性の群とも同型である。
* *A*6 は PSL2(9) および PSp4(2)' に同型である。
* *A*8 は PSL4(2) に同型である。

もっと明らかなものとしては、*A*3 が巡回群 **Z**/3**Z** に同型であることや *A*0, *A*1, *A*2 が自明群に（これは任意の *q* に対する SL1(*q*) = PSL1(*q*) とも）同型であることなどが挙げられる。

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

## 群の表示
交代群 *A* (*n* &ge; 3)の生成元と関係式による表示には以下のものが知られている。ひとつはCarmichaelによる（対称な）表示
: 生成元 *V*, …, *V* と
: 関係式 *V* = (*V* *V*) = *e* (1 &le; *i* V_i \mapsto (i, n - 1, n) という対応から得られる。

もうひとつはMooreによる表示
: 生成元 *x*, …, *x* と
: 関係式
::*x* = *x* = *e* (2 &le; *i* &le; *n*&minus;2)
::(*x* *x*) = *e* (1 &le; *i* &le; *n*&minus;3)
::(*x* *x*) = *e* (1 &le; *i* &le; *n*&minus;4, *i*+1 x_i \mapsto (1, 2)(i+1, i+2) という対応から得られる。

## 多重可移群

## 群ホモロジー

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

### アーベル化 H<sub>1</sub>
群の一次元ホモロジー群は群のアーベル化に一致する（また、*A**n* は知られた例外を除いて完全である）から、
:H_1(A_n,\mathbb{Z})=0\mbox{ for } n=0,1,2;
:H_1(A_3,\mathbb{Z})=A_3^{\text{ab}} = A_3 = \mathbb{Z}/3\mathbb{Z};
:H_1(A_4,\mathbb{Z})=A_4^{\text{ab}} = \mathbb{Z}/3\mathbb{Z};
:H_1(A_n,\mathbb{Z})=0\mbox{ for }n\geq 5

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

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

*n* &lt; 3 のときは *A**n* 自身が自明群だから、そのアーベル化も同様に自明である。*A*3, *A*4 については直接そのアーベル化を計算して確かめればよいが、注意すべきは長さ 3 の巡回置換の全体はすべてが共軛というわけにはいかず、ふたつの共軛類に分かれることである。したがって、非自明な全射準同型 
: A_3  \twoheadrightarrow C_3, \quad A_4 \twoheadrightarrow C_3
が存在する。前者は実際には同型である。

### シューア乗因子 H<sub>2</sub>

*n* &ge; 5 の場合の *A**n* のは（*n* = 6, 7 の場合を除いて）位数 2 の巡回群である。*n* = 6, 7 の場合、三重被覆が存在し、シューア乗因子は位数 6 の巡回群となる。これらの計算は  において初めて成されている。

:H_2(A_n,\mathbb{Z})=0\mbox{ for }n = 1,2,3;
:H_2(A_n,\mathbb{Z})=\mathbb{Z}/2\mathbb{Z}\mbox{ for }n = 4,5;
:H_2(A_n,\mathbb{Z})=\mathbb{Z}/6\mathbb{Z}\mbox{ for }n = 6,7;
:H_2(A_n,\mathbb{Z})=\mathbb{Z}/2\mathbb{Z}\mbox{ for }n \geq 8.

## 脚注

## 参考文献

* 
*  (Review by Gian-Carlo Rota in Bull. Amer. Math. Soc.)
*
* 
* 

## 外部リンク
*