交代群 (こうたいぐん、英 : alternating group , 独 : Alternierende Gruppe )とは、有限集合 の偶置換 全体がなす群 である。集合 {1,...,n }
上の交代群は n 次の交代群、もしくは n 文字の交代群 (the alternating group on n letters) と呼ばれ、A n もしくは Alt(n ),
A
n
{\displaystyle {\mathfrak {A}}_{n}}
という記号で表す。これは n 変数の交代式 [2] を不変とするような変数の置換がなす群と思ってもよい。
例として、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 > 1 とする。群 A n は対称群 S n の指数 2 の交換子群 であり、n !/2 個の元を持つ。これは、符号準同型 sgn: S n → {1, − 1} の核 である(置換の符号については置換 (数学) の項を参照)。
群 A n が可換群 となるのは、n ≤ 3 のときかつそのときに限る。また単純群 となるのは n = 3 もしくは n ≥ 5 のときかつそのときに限る。A 5 は位数 60 を持つ最小の非可換単純群であり[4] 、最小の非可解群 である。
群 A 4 はクラインの4元群 V を真の正規部分群 として持つ。V は {e, (12)(34), (13)(24), (14)(23)} であり、列 V → A 4 → A 3 (= C 3 ) は完全である。ガロア理論 によればこの写像、あるいはこれに対応する S 4 → S 3 に、四次方程式 のフェラリの解法における(三次の)ラグランジュ分解方程式 (分解方程式の根によって四次方程式を解くことができる)が対応している。
共軛類
対称群 の場合と同様、A n の各共軛類は同じ巡回置換型 を持つ元からなる。しかし、巡回置換型を構成する巡回置換の長さが奇数のみでしかも重複がないとき(巡回置換型には長さ1の巡回置換も含めるとする)、この型に対応する共軛類はちょうど二つ存在する。
例:
ふたつの置換 (123) および (132) は同じ型を持つにもかかわらず A 3 において互いに共軛ではない(S 3 においては共軛である)。
A 8 において、置換 (123)(45678) はその逆置換 (132)(48765) と同じ型をもつが、互いに共軛でない(S 8 の元としては共軛)。
例外的な同型
小さい位数の交代群とリー型の群 (とくに特殊射影線型群 )との間には例外的な同型 (英語版 ) と呼ばれる対応が取れるものがある。
A 4 は PSL2 (3) に同型である。また鏡像異種正六面体の対称性の群とも同型である。
A 5 は PSL2 (4), PSL2 (5) に同型であり、また鏡像異種正二十面体の対称性の群とも同型である。
A 6 は PSL2 (9) および PSp4 (2)' に同型である。
A 8 は PSL4 (2) に同型である。
もっと明らかなものとしては、A 3 が巡回群 Z /3Z に同型であることや 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 (n ≥ 3)の生成元と関係式による表示 には以下のものが知られている。ひとつはCarmichaelによる(対称な)表示[8]
生成元 V 1 , …, V n − 2 と
関係式 V 3i = (V i V j )2 = e (1 ≤ i < j ≤ n − 2)
で、これは交代群 A n を定める。この表示は
V
i
↦
(
i
,
n
−
1
,
n
)
{\displaystyle V_{i}\mapsto (i,n-1,n)}
という対応から得られる。
もうひとつはMooreによる表示[8]
生成元 x 1 , …, x n − 2 と
関係式
x 3 1 = x 2i = e (2 ≤ i ≤ n − 2)
(x i x i +1 )3 = e (1 ≤ i ≤ n − 3)
(x i x j )2 = e (1 ≤ i ≤ n − 4, i +1 < j )
で、これも交代群 A n を定める。この表示は
x
i
↦
(
1
,
2
)
(
i
+
1
,
i
+
2
)
{\displaystyle x_{i}\mapsto (1,2)(i+1,i+2)}
という対応から得られる。
多重可移群
この節には内容がありません。 加筆 して下さる協力者を求めています。
群ホモロジー
交代群の群ホモロジー は安定ホモトピー論 における意味で安定である。つまり(有限個の小さい次元のホモロジー群を除いて)十分大きな n に対する n -次ホモロジー群が(同型の意味で)一定となる。
アーベル化 H1
群の一次元ホモロジー群 は群のアーベル化 に一致する(また、A n は知られた例外を除いて完全 である)から、
H
1
(
A
n
,
Z
)
=
0
for
n
=
0
,
1
,
2
;
{\displaystyle H_{1}(A_{n},\mathbb {Z} )=0{\mbox{ for }}n=0,1,2;}
H
1
(
A
3
,
Z
)
=
A
3
ab
=
A
3
=
Z
/
3
Z
;
{\displaystyle H_{1}(A_{3},\mathbb {Z} )=A_{3}^{\text{ab}}=A_{3}=\mathbb {Z} /3\mathbb {Z} ;}
H
1
(
A
4
,
Z
)
=
A
4
ab
=
Z
/
3
Z
;
{\displaystyle H_{1}(A_{4},\mathbb {Z} )=A_{4}^{\text{ab}}=\mathbb {Z} /3\mathbb {Z} ;}
H
1
(
A
n
,
Z
)
=
0
for
n
≥
5
{\displaystyle H_{1}(A_{n},\mathbb {Z} )=0{\mbox{ for }}n\geq 5}
が得られる。これは以下のようにすれば直接確認することも容易である。まず、A 3 は長さ 3 の巡回置換によって生成され、位数 3 の元は位数 3 の元に写らなければならないから、非自明なアーベル化写像は準同型 A n → C 3 のとり方のみによって決まる。
n ≥ 5 ならば、長さ 3 の巡回置換はすべて互いに共軛であるから、これらの元はアーベル化の中で同じ元に写る(共軛変換は可換群には自明に働く)。したがって、(123) のような長さ 3 の巡回置換はその逆元 (321) ともども同じ元へ写るが、その行き先は位数が 2 も 3 も割り切るものである単位元でなければならない。ゆえにアーベル化は自明群である。
n < 3 のときは A n 自身が自明群だから、そのアーベル化も同様に自明である。A 3 , A 4 については直接そのアーベル化を計算して確かめればよいが、注意すべきは長さ 3 の巡回置換の全体はすべてが共軛というわけにはいかず、ふたつの共軛類に分かれることである。したがって、非自明な全射準同型
A
3
↠
C
3
,
A
4
↠
C
3
{\displaystyle A_{3}\twoheadrightarrow C_{3},\quad A_{4}\twoheadrightarrow C_{3}}
が存在する。前者は実際には同型である。
シューア乗因子 H2
n ≥ 5 の場合の A n のシューア乗因子 (英語版 ) は(n = 6, 7 の場合を除いて)位数 2 の巡回群である。n = 6, 7 の場合、三重被覆が存在し、シューア乗因子は位数 6 の巡回群となる[10] 。これらの計算は ( Schur 1911 ) において初めて成されている。
H
2
(
A
n
,
Z
)
=
0
for
n
=
1
,
2
,
3
;
{\displaystyle H_{2}(A_{n},\mathbb {Z} )=0{\mbox{ for }}n=1,2,3;}
H
2
(
A
n
,
Z
)
=
Z
/
2
Z
for
n
=
4
,
5
;
{\displaystyle H_{2}(A_{n},\mathbb {Z} )=\mathbb {Z} /2\mathbb {Z} {\mbox{ for }}n=4,5;}
H
2
(
A
n
,
Z
)
=
Z
/
6
Z
for
n
=
6
,
7
;
{\displaystyle H_{2}(A_{n},\mathbb {Z} )=\mathbb {Z} /6\mathbb {Z} {\mbox{ for }}n=6,7;}
H
2
(
A
n
,
Z
)
=
Z
/
2
Z
for
n
≥
8.
{\displaystyle H_{2}(A_{n},\mathbb {Z} )=\mathbb {Z} /2\mathbb {Z} {\mbox{ for }}n\geq 8.}
脚注
↑ たとえば基本交代式(差積 )
Δ
(
x
1
,
…
,
x
n
)
:=
∏
1
≤
i
<
j
≤
n
(
x
i
−
x
j
)
{\displaystyle \Delta (x_{1},\dotsc ,x_{n}):=\prod _{1\leq i<j\leq n}(x_{i}-x_{j})}
↑ ガロワ は素数位数でない単純群の最小位数は 60 であると予想していた ( Kline 1992 , p. 766) 。
1 2 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
↑ 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 , MR 0224703 , 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 , MR 0472307 , 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 , MR 0896269 , 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 , MR 2562037 , Zbl 1203.20012 , https://books.google.co.jp/books?id=lYMAg_Sj7hUC&pg=PA11
⌬ Phoenix Mesh
CID:
未登録
IPFS未登録
📡 0ピア
N=1
CRITICAL
PQS A84
🔍 P2P検証
⌬ 守護者になる
×
⌬ あなたはすでに守護者です
このページを読んだ瞬間、あなたのブラウザはIPFSノードとして起動し、この記事のNakamoto係数(NK) を+1しました。
読んだという事実が暗号学的証明になる — Proof of Read について →
🌐 ブラウザシーダー(自動起動中)
閲覧 = シーダー参加 です。何もしなくていい。
永続モード にすると読んだ記事がブラウザに保存され、次回以降タブを開くだけで自動シーダーになります。
💾 永続モードに切り替える
🔄 セッションのみ(現在)
不参加
方法3: コマンドライン
ipfs pin add IPFSに未登録
閉じる