以下の記事の続きを書く。 bananake-tai.hatenablog.com
まずは、演習の解説からする。
演習
$\in S_n$ が $\forall k\in X_n$ に対して
$(k)\leq k$ のとき、
$=1_{X_n}$ であることを示せ。
- $\forall$
$\in S_n$ と
$=(i_1\ i_2\ \cdots\ i_r)$ に対して、
$^{-1}=($
$(i_1)$
$(i_2)$ $\cdots$
$(i_r))$ が成立する。
証明1
$\neq1_{X_n}$ と仮定する。
すると、$\exists k\in X_n\ ;$$(k)\neq k$
$k_0={\rm min}\{k\in X_n\mid$$(k)\neq k\}$ とおく。
すると、
$(1)=1,\dots ,$
$(k_0-1)=k_0-1,$
$(k_0)<k_0$
となる。$(k_0)=i$ とすると、仮定より、$i<k_0$
よって、$(i)=i$ とならなければならないが、これは、$i=k_0$ となり、矛盾。
証明2
$\forall$$\in S_n$ をとる。
$1\leq \forall k\leq r-1$ に対して、
$k=r$ のとき、
前回同様、対称群の性質について調べていく。
定義(巡回域)
$S_n$ を対称群とする。
$=(i_1\ i_2\ \cdots\ i_r)$ なる巡回置換に対して、 $$ \{i_1,i_2,\dots ,i_r\} $$ を
の巡回域という。
前回の命題から、と
$^{-1}$ の巡回域は一致する。
定義(互いに素)
$\forall$
$\in S_n$ に対して、 $A,A'$ をそれぞれ、
の巡回域とする。
が互いに素である $\overset{\mathrm{def}}{\Leftrightarrow}$ $A\cap A'=\varnothing$
一般的に、対称群は可換ではないが、ある条件のときに2つの元は可換になる。
命題1
互いに素な2つの巡回置換は可換である。
証明
$\forall$$\in S_n$ を互いに素な巡回置換とする。
それぞれの巡回域を $A,A'$ とする。
$\forall i\in X_n$ に対して、次の3通りが考えられる。
$(1)\ i\in A$
$(2)\ i\in A'$
$(3)\ i\notin A \land i\notin A'$
$\underline{(1)}$
今、$A\cap A'=\varnothing$ なので、$i\notin A'$ である。
よって、$(i)=i$ なので、
$(i)=$
$(i)$
また、$(i)\notin A'$ でもあるので、
$(i)=$
$(i)$
$(2)$ も同様に証明できる。
$\underline{(3)}$
仮定より、$(i)=i$ かつ
$(i)=i$
よって、$(i)=$
$(i)=i$
また、$(i)=$
$(i)=i$
定理1
任意の置換$($
$\neq 1)$はいくつかの巡回置換の積として表せる。
証明
$\forall$$\in S_n$ をとり、帰納法で証明する。
$n=2$ のときは明らか。
$k<n$ に対して主張が成り立つと仮定する。
$n=k$ のときを考える。
$(n)=n$ のときは、
と考えられるので成立する。
$(n)\neq n$ のときは、
$=($
$(n)\ n)$ とおく。
すると、$(n)=n$ なので、
となる。
帰納法の仮定より、 $=$
と、いくつかの巡回置換の積として表せる。
よって、$=$
となり、主張が成り立つ。
定理1は命題2の同値関係を用いた方法もある。
この命題は自明なように思えるが、かなり重要で、結局なにを言っているのかというと、対称群を調べたかったら巡回置換を調べなさいと言っているのである。
系1
任意の置換$($
$\neq 1)$は、いくつかの互換の積で表せる。
証明
任意の置換はいくつかの巡回置換の積で表され、任意の巡回置換はいくつかの互換の積で表せるので、系は成り立つ。
ある群の生成元が分かるとその群はある程度分かったものとされる。その意味である群の生成元を求めるのは重要である。
命題
$n\geq 2$ のとき、$S_n$ は互換 $$ (1\ 2),(1\ 3),\dots ,(1\ n) $$ によって生成される。
証明
系1より、任意の置換はいくつかの互換の積で表せるので、互換の生成元を求めればよい。
$\forall i,j\in X_n$ に対して、
$$
(i\ j)=(1\ i)(1\ j)(1\ i)
$$
となる。よって、任意の互換は $(1\ k)$ という形をしている。
演習
- $n\geq 2$ のとき、$S_n$ は互換 $$ (1\ 2),(2\ 3),\dots ,(n\ n-1) $$ によって生成されることを示せ。
間違いや、感想がありましたら、コメントをよろしくお願いいたします。
参考文献
http://www.econ.hit-u.ac.jp/~yamada/algebra_pdf/2_1_2_symmetric_group.pdf
http://mathematics-pdf.com/pdf/symmetric_grp.pdf
http://www2.math.cst.nihon-u.ac.jp/sasaki/wp/wp-content/uploads/2014/12/fa75a316529d0ac746d8f50958ba66ed.pdf http://sci.kj.yamagata-u.ac.jp/~waki/jpn/GroupText.pdf