対称群の生成系を構成する

　5次対称群を例に取る. 部分群 $⟨ (\begin{matrix} 1 & 4 & 2 & 5 & 3 \end{matrix}) ⟩$ に対して,
$\begin{array}{rcl} ⟨ (\begin{array}{c} 1 & 4 & 2 & 5 & 3 \end{array}) ⟩ & ⟶ & ⟨ (\begin{array}{c} 1 & 4 & 2 \end{array}), (\begin{array}{c} 2 & 5 & 3 \end{array}) ⟩ \\ ⟶ & ⟨ (\begin{array}{c} 1 & 4 & 2 \end{array}), (\begin{array}{c} 2 & 5 & 3 \end{array}), (\begin{array}{c} 2 & 5 \end{array}) ⟩ \end{array}$
という操作の列が考えられ, 得られた生成系 $⟨ (\begin{matrix} 1 & 4 & 2 \end{matrix}), (\begin{matrix} 2 & 5 & 3 \end{matrix}), (\begin{matrix} 2 & 5 \end{matrix}) ⟩$ は生成元として互換を含んでいるため $S_{5}$ と等しいことを主張している.
　証明の準備としていくつかの補題を示す.

補題1

S_{n}

において,

(\begin{matrix} a_{1} & a_{2} \end{matrix}), (\begin{matrix} a_{2} & a_{3} \end{matrix}), \dots, (\begin{matrix} a_{n - 1} & a_{n} \end{matrix})

は

S_{n}

全体を生成する.

　任意の置換は有限個の互換の積で表せるのだから, 任意の $i, j$ で $(\begin{matrix} a_{i} & a_{j} \end{matrix})$ が生成できることを示せばよい.
$1 \leq i < n$ と $i < j$ について, $i$ と $j$ の差で帰納法を用いることにより証明する.
$j - i = 1$ のとき, $(\begin{matrix} a_{i} & a_{j} \end{matrix})$ は $(\begin{matrix} a_{i} & a_{i + 1} \end{matrix})$ として既に生成系の中に存在する.
$j - i = k$ のとき $(\begin{matrix} a_{i} & a_{j} \end{matrix})$ が与えられた生成元の積で表せたとすると,
$j - i = k + 1$ のとき,
$\begin{array}{r} (\begin{array}{c} a_{i} & a_{j} \end{array}) = (\begin{array}{c} a_{i} & a_{i + k + 1} \end{array}) = (\begin{array}{c} a_{i} & a_{i + 1} \end{array}) (\begin{array}{c} a_{i + 1} & a_{i + k + 1} \end{array}) (\begin{array}{c} a_{i} & a_{i + 1} \end{array}) \end{array}$
$(\begin{matrix} a_{i + 1} & a_{i + k + 1} \end{matrix})$ は仮定から与えられた生成元の積で表せるため, $(\begin{matrix} a_{i} & a_{i + k + 1} \end{matrix})$ も生成系に含まれる.
よって, 任意の互換が生成できるため, $(\begin{matrix} a_{1} & a_{2} \end{matrix}), (\begin{matrix} a_{2} & a_{3} \end{matrix}), \dots, (\begin{matrix} a_{n - 1} & a_{n} \end{matrix})$ は $S_{n}$ 全体を生成する.

補題2

S_{n}

において,

(\begin{matrix} a_{1} & a_{2} & \dots & a_{n} \end{matrix})

と

(\begin{matrix} a_{i} & a_{i + 1} \end{matrix}) (1 \leq i < n)

は

S_{n}

全体を生成する.

　 $p \neq i$ を取り,
・ $1 \leq p \leq n - i - 1$ のとき,
$\begin{array}{r} {(\begin{array}{c} a_{1} & a_{2} & \dots & a_{n} \end{array})}^{p} (\begin{array}{c} a_{i} & a_{i + 1} \end{array}) {(\begin{array}{c} a_{1} & a_{2} & \dots & a_{n} \end{array})}^{- p} = (\begin{array}{c} a_{i + p} & a_{i + p + 1} \end{array}) \end{array}$
であるから $p$ を $1, 2, \dots, n - i - 1$ と動かせば $(\begin{matrix} a_{i + 1} & a_{i + 2} \end{matrix}), (\begin{matrix} a_{i + 2} & a_{i + 3} \end{matrix}), \dots, (\begin{matrix} a_{n - 1} & a_{n} \end{matrix})$ が得られる.
・ $n - i + 1 \leq p \leq n - 1$ のとき,
$\begin{array}{r} {(\begin{array}{c} a_{1} & a_{2} & \dots & a_{n} \end{array})}^{p} (\begin{array}{c} a_{i} & a_{i + 1} \end{array}) {(\begin{array}{c} a_{1} & a_{2} & \dots & a_{n} \end{array})}^{- p} = (\begin{array}{c} a_{i + p - n} & a_{i + p - n + 1} \end{array}) \end{array}$
であるから $p$ を $n - i + 1, n - i + 2, \dots, n - 1$ と動かせば $(\begin{matrix} a_{1} & a_{2} \end{matrix}), (\begin{matrix} a_{2} & a_{3} \end{matrix}), \dots, (\begin{matrix} a_{i - 1} & a_{i} \end{matrix})$ が得られる.
以上より, $(\begin{matrix} a_{1} & a_{2} \end{matrix}), (\begin{matrix} a_{2} & a_{3} \end{matrix}), \dots, (\begin{matrix} a_{n - 1} & a_{n} \end{matrix})$ が得られ, 補題1からこれらの生成系は $S_{n}$ に等しいため, $(\begin{matrix} a_{1} & a_{2} & \dots & a_{n} \end{matrix})$ と $(\begin{matrix} a_{i} & a_{i + 1} \end{matrix}) (1 \leq i < n)$ は $S_{n}$ 全体を生成する.

　以上の補題から最初の定理が示される.

定理(再掲)

以下では

n \geq 3

とする.

n

次対称群

S_{n}

における生成系に対して, 次の操作を考える.

1. ある生成元の一部を切り抜いて, 生成系に加えることができる. 即ち, 生成元

(\begin{matrix} a_{i} & a_{i + 1} & \dots & a_{j} \end{matrix}) (0 < j - i < n)

を持つ生成系

S

に対して,

i < k < l < j

として

(\begin{matrix} a_{k} & a_{k + 1} & \dots & a_{l} \end{matrix})

を生成系に加え,

\begin{array}{r} ⟨ S, (\begin{array}{c} a_{k} & a_{k + 1} & \dots & a_{l} \end{array}) ⟩ \end{array}

とできる. ただし,

\begin{array}{r} ⟨ S, (\begin{array}{c} a_{k} & a_{k + 1} & \dots & a_{l} \end{array}) ⟩ \end{array}

は

\begin{array}{r} S = ⟨ σ_{1}, σ_{2}, \dots, σ_{m} ⟩ \end{array}

に対して

\begin{array}{r} ⟨ σ_{1}, σ_{2}, \dots, σ_{m}, (\begin{array}{c} a_{k} & a_{k + 1} & \dots & a_{l} \end{array}) ⟩ \end{array}

を表す.

2. ある生成元を任意の位置で切り取ることができる. 即ち, 生成元

σ = (\begin{matrix} a_{i} & a_{i + 1} & \dots & a_{j} \end{matrix}) (0 < j - i < n)

を持つ生成系

\begin{array}{r} S = ⟨ σ_{1}, σ_{2}, \dots, σ, \dots σ_{m} ⟩ \end{array}

に対して,

\begin{array}{r} ⟨ σ_{1}, σ_{2}, \dots, (\begin{array}{c} a_{i} & a_{i + 1} & \dots & a_{t} \end{array}), (\begin{array}{c} a_{t} & a_{t + 1} & \dots & a_{j} \end{array}), \dots σ_{m} ⟩ (i < t < j) \end{array}

とできる.
　

S_{n}

における長さ

n

の巡回置換

(\begin{matrix} a_{1} & a_{2} & \dots & a_{n} \end{matrix})

の生成系

\begin{array}{r} ⟨ (\begin{array}{c} a_{1} & a_{2} & \dots & a_{n} \end{array}) ⟩ \end{array}

から上記の操作1または2を順繰りに施し, 生成元に互換が現れれば, その生成系は

S_{n}

と等しい.

　以下では操作1を切り抜き, 操作2を切り取り, 切り抜きと切り取りによって得られた互換を生成元として含む生成系を終系と呼ぶ. また, 巡回置換 $(\begin{matrix} a_{1} & a_{2} & \dots & a_{n} \end{matrix})$ を順序対 $⟨ a_{1}, a_{2}, \dots, a_{n} ⟩$ と見做すと, 切り抜きと切り取りの前後で順序関係は保存され, $a_{i}, a_{i + 1}$ がともに含まれる終系の置換を順序対と見做したとき, $a_{i} < a_{k} < a_{i + 1}$ を満たす $a_{k}$ は存在しないものとする.
　切り取りと切り抜きの定義から, 終系において, 任意の $a_{i}$ を含む置換が必ず存在し, $i \neq 1, n$ かつ $a_{i}$ がその置換において端に位置するのなら, $a_{i}$ を含む置換が2つ以上存在する. ただし, $a_{i}$ が置換の端に位置するとは, $a_{i}$ を含む置換を順序対と見做した際に, $a_{k} < a_{i}$ または $a_{i} < a_{k}$ なる $a_{k}$ が存在しないということである. 以上のことから, 終系における互換は $(\begin{matrix} a_{i} & a_{i + 1} \end{matrix})$ の形をしており, $n \geq 3$ より $i, i + 1$ が同時に $1$ または $n$ にならないため, $a_{i}, a_{i + 1}$ の少なくとも一方は $(\begin{matrix} a_{i} & a_{i + 1} \end{matrix})$ 以外の置換に含まれていることが分かる.
　ここで, $a_{i}$ が他の置換 $σ$ に含まれているとする.
(1) $a_{i}$ が $σ$ の端に位置しているとき
　 $σ = (\begin{matrix} a_{k} & a_{k + 1} & \dots & a_{i} \end{matrix})$ として,
$\begin{array}{r} {(\begin{array}{c} a_{k} & a_{k + 1} & \dots & a_{i} \end{array})}^{q} (\begin{array}{c} a_{i} & a_{i + 1} \end{array}) {(\begin{array}{c} a_{k} & a_{k + 1} & \dots & a_{i} \end{array})}^{- q} = (\begin{array}{c} a_{k + q - 1} & a_{i + 1} \end{array}) \end{array}$
で $q$ を $1, 2, \dots, i - k$ と動かすと $(\begin{matrix} a_{k} & a_{i + 1} \end{matrix}), (\begin{matrix} a_{k + 1} & a_{i + 1} \end{matrix}), \dots, (\begin{matrix} a_{i - 1} & a_{i + 1} \end{matrix})$ が得られる. さらに $(\begin{matrix} a_{k + q - 1} & a_{i + 1} \end{matrix})$ と $(\begin{matrix} a_{k + q} & a_{i + 1} \end{matrix})$ から
$\begin{array}{r} (\begin{array}{c} a_{k + q - 1} & a_{i + 1} \end{array}) (\begin{array}{c} a_{k + q} & a_{i + 1} \end{array}) (\begin{array}{c} a_{k + q - 1} & a_{i + 1} \end{array}) = (\begin{array}{c} a_{k + q - 1} & a_{k + q} \end{array}) \end{array}$
のように隣接互換が得られる.
(2) $a_{i}$ が $σ$ の端に位置していないとき
　 $σ = (\begin{matrix} a_{k} & a_{k + 1} & \dots & a_{l} \end{matrix})$ とすると, $a_{i + 1}$ も $σ$ に含まれているため, 補題2から $(\begin{matrix} a_{i} & a_{i + 1} \end{matrix})$ と $σ$ の積で隣接互換 $(\begin{matrix} a_{k} & a_{k + 1} \end{matrix}), (\begin{matrix} a_{k + 1} & a_{k + 2} \end{matrix}), \dots, (\begin{matrix} a_{l - 1} & a_{l} \end{matrix})$ を表すことができる.
　この議論は $a_{i + 1}$ が他の置換に含まれているとしても同様に進み, (1),(2)の操作で得られた隣接互換についてさらに(1),(2)の操作を行うといった具合で, 終系においては, 繰り返し巡回置換を隣接互換により分解していくことができるため, 補題1から, 終系は $S_{n}$ に等しいと言える.

投稿日：3月11日

更新日：4月18日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

パトポス

884

有限群論　好きな群は6次対称群

他の人のコメント

コメントはありません。

読み込み中

パトポス

対称群の生成系を構成する