自由群・自由積と群の表示 | 群論入門

1 簡約語と自由群

定義 1.1. 集合 $X$ に対して、各 $x\in X$ の形式的な逆元 (formal inverse) を $x^{-1}$ と書き、

X^{\pm1}=\{x,x^{-1}\mid x\in X\}

とおく。文字の逆 (inverse of a letter) を $(x^{-1})^{-1}=x$ と定める。 $X^{\pm1}$ の有限列を語 (word) といい、長さ $0$ の語を空語 (empty word) と呼ぶ。

定義 1.2. 語の中で隣り合う $yy^{-1}$ を削除する操作を一段階の自由簡約 (free reduction) と呼ぶ。ここで $y$ は $X^{\pm1}$ の任意の文字である。隣り合う逆文字の組を含まない語を簡約語 (reduced word) という。

補題 1.3. 任意の語 $w$ から自由簡約を有限回行うと簡約語が得られる。その簡約語は削除の順序に依存せず、一意である。この一意な簡約語を $\operatorname{red}(w)$ と書く。

さらに、隣り合う $yy^{-1}$ の挿入と削除によって二つの語を移り合わせることができるための必要十分条件は、両者の簡約形が一致することである。

証明. 一段階の自由簡約は語の長さを $2$ 減らす。したがって自由簡約の無限列は存在せず、有限回の簡約によって簡約語へ到達する。

二つの異なる箇所で一段階簡約を行い、二語を得たとする。二つの箇所が交わらなければ、一方を削除した後に他方を削除することができ、どちらの順序でも同じ語を得る。二つの箇所が一文字を共有するならば、該当部分は

yy^{-1}y\qquad\text{または}\qquad y^{-1}yy^{-1}

である。いずれの組を削除しても同じ一文字が残る。したがって、一つの語から異なる一段階簡約で得た二語は、さらに高々一段階ずつ簡約することによって共通の語へ到達する。

長さ $0$ と $1$ の語には削除することができる隣接対がないため、その語自身が唯一の簡約形である。語 $w$ が二つの簡約語 $u,v$ へ簡約されるとする。 $w$ が既に簡約語ならば $u=v=w$ である。そうでなければ、それぞれの簡約列の最初の一段階を $w\to w_1$ 、 $w\to w_2$ とする。 $w_1=w_2$ ならば、長さの短い $w_1$ に帰納法を適用して $u=v$ を得る。 $w_1\neq w_2$ ならば、前段落から $w_1$ と $w_2$ は共通の語 $z$ へ簡約される。 $z$ を最後まで簡約して簡約語 $t$ を取る。 $u$ と $t$ はともに $w_1$ の簡約形であり、 $w_1$ の長さは $w$ より短いため、帰納法から $u=t$ である。同様に $v=t$ である。したがって $u=v$ となる。

一段階の挿入または削除では簡約形が変わらないため、挿入と削除で移り合う二語の簡約形は一致する。逆に、二語 $w,w'$ が同じ簡約形をもつならば、 $w$ と $w'$ はいずれもその簡約形へ削除だけで移ることができる。一方の簡約列を逆向きにたどると挿入列になるため、 $w$ から $w'$ へ挿入と削除で移ることができる。▨

定義 1.4. 集合 $X$ 上の自由群 (free group) $F(X)$ を、 $X^{\pm1}$ の簡約語全体の集合として定める。簡約語 $u,v$ の積、単位元、および逆元を

u\cdot v=\operatorname{red}(uv),\qquad e=\varnothing,\qquad (y_1y_2\cdots y_m)^{-1}=y_m^{-1}\cdots y_2^{-1}y_1^{-1}

\text{(1.4.1)}

によって定める。ここで $uv$ は二語の連結であり、 $\varnothing$ は空語である。

定理 1.5.式 (1.4.1)により $F(X)$ は群になる。写像

\iota_X\colon X\longrightarrow F(X),\qquad x\longmapsto x

は単射であり、その像は $F(X)$ を生成する。

証明. 語の挿入と削除による同値関係を $\sim$ と書く。挿入または削除を語の前後に同じ語を付けた状態でも行うことができるため、

w\sim w'\quad\Longrightarrow\quad awb\sim aw'b

\text{(1.5.1)}

が成り立つ。式 (1.5.1)と補題 1.3により、

\operatorname{red}\bigl(a\operatorname{red}(w)b\bigr) =\operatorname{red}(awb)

\text{(1.5.2)}

が成り立つ。

簡約語 $u,v,w$ に対して式 (1.5.2)を二度用いると

\begin{aligned} (u\cdot v)\cdot w &=\operatorname{red}\bigl(\operatorname{red}(uv)w\bigr) =\operatorname{red}(uvw),\\ u\cdot(v\cdot w) &=\operatorname{red}\bigl(u\operatorname{red}(vw)\bigr) =\operatorname{red}(uvw) \end{aligned}

となる。したがって結合律が成り立つ。空語との連結は語を変えないため、空語は単位元である。 $u=y_1\cdots y_m$ とすると、連結語

uu^{-1}=y_1\cdots y_my_m^{-1}\cdots y_1^{-1}

は中央から順に削除して空語へ簡約される。同様に $u^{-1}u$ も空語へ簡約される。したがって式 (1.4.1)の $u^{-1}$ は群の逆元である。

異なる $x,x'\in X$ は異なる一文字の簡約語であるから、 $\iota_X$ は単射である。任意の簡約語は $\iota_X(x)$ とその逆元の有限積であるため、 $\iota_X(X)$ は $F(X)$ を生成する。▨

定理 1.6. 任意の群 $G$ と写像 $f\colon X\to G$ に対して、

\widehat f\circ\iota_X=f

を満たす群準同型 $\widehat f\colon F(X)\to G$ がただ一つ存在する。具体的には、 $\varepsilon_i\in\{1,-1\}$ に対して

\widehat f(x_1^{\varepsilon_1}\cdots x_m^{\varepsilon_m}) =f(x_1)^{\varepsilon_1}\cdots f(x_m)^{\varepsilon_m}

\text{(1.6.1)}

である。

証明. 語に式 (1.6.1)の右辺を対応させる。隣り合う $yy^{-1}$ の評価は $e_G$ であるため、一段階の挿入または削除は評価を変えない。したがって評価は簡約形だけで決まり、 $F(X)$ 上の写像 $\widehat f$ を定める。

簡約語 $u,v$ に対して、 $uv$ と $\operatorname{red}(uv)$ の評価は等しいため

\widehat f(u\cdot v) =\widehat f(\operatorname{red}(uv)) =\widehat f(u)\widehat f(v)

である。ゆえに $\widehat f$ は群準同型であり、一文字の語では $\widehat f(x)=f(x)$ となる。

別の群準同型 $\Phi\colon F(X)\to G$ が $\Phi\circ\iota_X=f$ を満たすとする。任意の簡約語 $x_1^{\varepsilon_1}\cdots x_m^{\varepsilon_m}$ に対して

\Phi(x_1^{\varepsilon_1}\cdots x_m^{\varepsilon_m}) =f(x_1)^{\varepsilon_1}\cdots f(x_m)^{\varepsilon_m}

であるから、 $\Phi=\widehat f$ である。▨

例 1.7. $X=\{x\}$ とする。簡約語は $x^m$ （ $m\in\Z$ ）の形に一意に表され、 $x^m x^k=x^{m+k}$ である。したがって $F(\{x\})\cong\Z$ である。

2 自由積

群 $A,B$ の単位元以外の元を、所属する群を区別して

A^\times=A\setminus\{e_A\},\qquad B^\times=B\setminus\{e_B\}

と書く。直和集合 $A^\times\sqcup B^\times$ の有限語を考える。

定義 2.1. 語 $g_1\cdots g_m$ の各文字が $A^\times\sqcup B^\times$ に属し、隣り合う二文字が異なる群に属するとき、この語を交互簡約語 (alternating reduced word) という。空語も交互簡約語とする。

同じ群に属する隣接文字 $g_i,g_{i+1}$ を、その群における積 $g_ig_{i+1}$ へ置き換え、積が単位元ならば二文字を削除する操作を自由積の一段階簡約 (one-step reduction in a free product) と呼ぶ。

補題 2.2. 任意の語は自由積の簡約によって一意な交互簡約語へ移る。この正規形を $\operatorname{alt}(w)$ と書く。

同じ因子に属する隣接文字をその積へ置き換える操作と、その逆操作によって二つの語を移り合わせることができるための必要十分条件は、両者の交互簡約形が一致することである。

証明. 一段階簡約は語の長さを少なくとも $1$ 減らすため、簡約は有限回で停止する。二つの一段階簡約が交わらない位置にあれば、二つの操作を逆の順序で行って共通の語へ到達することができる。二つの操作が一文字を共有するならば、該当する三文字 $x,y,z$ はすべて $A$ に属するか、すべて $B$ に属する。このとき二通りの簡約は $(xy)z$ と $x(yz)$ に対応する。各群の結合律から $(xy)z=x(yz)$ であり、中間の積が単位元になる場合も、単位元を除けば同じ一文字または空語へ到達する。したがって異なる一段階簡約の結果は共通の語へさらに簡約される。

語 $w$ が二つの交互簡約語 $u,v$ へ簡約されるとする。 $w$ が既に交互簡約語ならば $u=v=w$ である。そうでなければ、 $w$ より短い語の交互簡約形は一意であると仮定する。二つの簡約列の最初の一段階が同じならば、その短い語に帰納法の仮定を適用する。異なるならば、前段落の共通の語を最後まで簡約し、両方の一段階簡約後の語に帰納法を適用する。両簡約列の終点は、その共通の簡約形に一致する。したがって交互簡約語は一意である。

一段階の簡約またはその逆操作では最終的な交互簡約形が変わらないため、これらの操作で移り合う二語の交互簡約形は一致する。逆に二語の交互簡約形が一致するならば、両者から共通の交互簡約形への簡約列の一方を逆向きにたどることにより、一方の語から他方の語へ移ることができる。▨

定義 2.3. 群 $A,B$ の自由積 (free product) $A*B$ を交互簡約語全体の集合とする。積は

u\cdot v=\operatorname{alt}(uv)

\text{(2.3.1)}

によって定め、単位元は空語とする。

定理 2.4.式 (2.3.1)によって $A*B$ は群になる。また

j_A\colon A\longrightarrow A*B,\qquad j_B\colon B\longrightarrow A*B

を、単位元は空語へ、単位元以外の元は対応する一文字の語へ移す写像として定めると、 $j_A,j_B$ は単射群準同型である。

証明. 自由積の簡約と、その逆である同じ因子内の積の分解によって生成される同値関係を $\approx$ と書く。一段階の操作は任意の前後の文脈内でも行うことができるため

w\approx w' \quad\Longrightarrow\quad \operatorname{alt}\bigl(a\operatorname{alt}(w)b\bigr) =\operatorname{alt}(awb)

が成り立つ。したがって交互簡約語 $u,v,w$ に対して

(u\cdot v)\cdot w =\operatorname{alt}(uvw) =u\cdot(v\cdot w)

となり、結合律が成り立つ。空語は単位元である。

交互簡約語 $u=g_1\cdots g_m$ に対して

u^{-1}=g_m^{-1}\cdots g_1^{-1}

と定める。この語も交互簡約語であり、 $uu^{-1}$ と $u^{-1}u$ は中央から順に各因子内の逆元を掛けることで空語へ簡約される。したがって $A*B$ は群である。

$a,a'\in A$ に対して、 $j_A(a)j_A(a')$ の連結語は、同じ因子に属する二文字を $aa'$ へ簡約した語である。積が単位元の場合も空語になるため

j_A(a)j_A(a')=j_A(aa')

が成り立つ。よって $j_A$ は群準同型である。 $a\neq e_A$ の像は空語でない一文字の正規形であるから、核は $\{e_A\}$ である。§E7.3 命題 2.2により $j_A$ は単射である。 $j_B$ についても同じ証明が成り立つ。▨

定理 2.5. 群準同型 $f\colon A\to G$ と $g\colon B\to G$ に対して、

\Phi\circ j_A=f,\qquad \Phi\circ j_B=g

を満たす群準同型 $\Phi\colon A*B\to G$ がただ一つ存在する。

証明. 交互簡約語 $u=x_1\cdots x_m$ に対して、 $x_i\in A^\times$ ならば $h_i=f(x_i)$ 、 $x_i\in B^\times$ ならば $h_i=g(x_i)$ とおき、

\Phi(u)=h_1\cdots h_m

\text{(2.5.1)}

と定める。空語の像は $e_G$ とする。同じ因子に属する二文字を掛ける簡約では、 $f$ または $g$ の準同型性により式 (2.5.1)の値が変わらない。したがって式 (2.5.1)は語の正規形に適合する。

$u,v\in A*B$ に対して、連結語 $uv$ の評価と $\operatorname{alt}(uv)$ の評価は等しいため

\Phi(u\cdot v)=\Phi(u)\Phi(v)

である。よって $\Phi$ は群準同型であり、定義から $\Phi\circ j_A=f$ および $\Phi\circ j_B=g$ を満たす。

$A*B$ の任意の元は $j_A(A)$ と $j_B(B)$ の元の積である。したがって二つの標準埋め込み上で値が指定された群準同型は、すべての交互簡約語上で式 (2.5.1)の値を取らなければならない。ゆえに $\Phi$ は一意である。▨

命題 2.6. $S,T$ を任意の集合とし、 $D=S\sqcup T$ とおく。標準入射を $i_S\colon S\to D$ 、 $i_T\colon T\to D$ とし、自由群の生成写像を $\eta_S\colon S\to F(S)$ 、 $\eta_T\colon T\to F(T)$ 、 $\eta_D\colon D\to F(D)$ とする。このとき、自由積の標準準同型を $j_S\colon F(S)\to F(S)*F(T)$ 、 $j_T\colon F(T)\to F(S)*F(T)$ とすると、

\Phi\circ j_S\circ\eta_S=\eta_D\circ i_S, \qquad \Phi\circ j_T\circ\eta_T=\eta_D\circ i_T

を満たす同型 $\Phi\colon F(S)*F(T)\to F(S\sqcup T)$ がただ一つ存在する。

空集合上の自由群は自明群であり、 $F(\varnothing)*F(T)\cong F(T)$ および $F(S)*F(\varnothing)\cong F(S)$ が成り立つ。非負整数 $m,n$ に対して、 $m$ 元集合上の自由群を $F_m$ と書けば、 $F_0$ は自明群であり、 $F_m*F_n\cong F_{m+n}$ が成り立つ。

証明.定理 1.6により、 $\eta_D\circ i_S$ 、 $\eta_D\circ i_T$ はそれぞれ準同型 $a_S\colon F(S)\to F(D)$ 、 $a_T\colon F(T)\to F(D)$ に一意に延長する。定理 2.5により、 $\Phi\circ j_S=a_S$ 、 $\Phi\circ j_T=a_T$ を満たす準同型 $\Phi\colon F(S)*F(T)\to F(D)$ がただ一つ存在する。自由群の普遍性の一意性により、命題の二つの等式を満たす準同型はこの $\Phi$ に限る。

§E1.2 命題 6.2により、 $b\circ i_S=j_S\circ\eta_S$ 、 $b\circ i_T=j_T\circ\eta_T$ を満たす写像 $b\colon D\to F(S)*F(T)$ がただ一つ存在する。定理 1.6により、 $\Psi\circ\eta_D=b$ を満たす準同型 $\Psi\colon F(D)\to F(S)*F(T)$ がただ一つ存在する。合成 $\Phi\circ\Psi\circ\eta_D$ と $\eta_D$ は、 $i_S$ および $i_T$ との合成がそれぞれ一致するので、直和の普遍性の一意性により一致する。自由群の普遍性の一意性により、 $\Phi\circ\Psi=\id_{F(D)}$ である。また、

\Psi\circ\Phi\circ j_S\circ\eta_S=j_S\circ\eta_S, \qquad \Psi\circ\Phi\circ j_T\circ\eta_T=j_T\circ\eta_T

が成り立つ。自由群の普遍性の一意性により $\Psi\circ\Phi\circ j_S=j_S$ 、 $\Psi\circ\Phi\circ j_T=j_T$ となる。したがって、自由積の普遍性の一意性により $\Psi\circ\Phi=\id_{F(S)*F(T)}$ となる。したがって $\Phi$ は同型である。

空集合から $F(\varnothing)$ への写像は一つだけなので、自由群の普遍性の一意性により、 $F(\varnothing)$ の恒等準同型はすべての元を単位元へ送る準同型と一致する。したがって $F(\varnothing)$ は自明群である。集合の全単射とその逆写像を自由群の普遍性で延長すると、合成の一意性から互いに逆な同型を得る。 $\varnothing\sqcup T\cong T$ 、 $S\sqcup\varnothing\cong S$ にこの事実を適用すれば、空集合の場合の同型が従う。 $S,T$ がそれぞれ $m$ 元集合、 $n$ 元集合ならば $S\sqcup T$ は $m+n$ 元集合なので、 $F_m*F_n\cong F_{m+n}$ が従う。▨

例 2.7. $a,b$ を異なる二つの記号とする。自由積 $G=F(\{a\})*F(\{b\})$ の標準準同型を $j_a,j_b$ とし、各因子の生成元の像を $x=j_a(a)$ 、 $y=j_b(b)$ とおく。このとき、命題 2.6と標準全単射 $\{a\}\sqcup\{b\}\to\{a,b\}$ により、 $x$ を $a$ に、 $y$ を $b$ に送る同型 $\Phi\colon G\to F(\{a,b\})$ を得る。 $ab$ と $ba$ は異なる簡約語なので、補題 1.3により $F(\{a,b\})$ の異なる元を表す。したがって $\Phi(xy)=ab\ne ba=\Phi(yx)$ である。よって $xy\ne yx$ となる。よって $G$ は非可換群である。

3 生成元と関係式

集合 $S$ 上の自由群を $F(S)$ とする。関係式 $u=v$ は $uv^{-1}\in F(S)$ を単位元とする条件として表すことができるため、関係式の集合を $F(S)$ の部分集合 $R$ として扱う。

定義 3.1. $R\subseteq F(S)$ の正規閉包 (normal closure) を

\langle\!\langle R\rangle\!\rangle =\bigcap_{\substack{N\trianglelefteq F(S)\\R\subseteq N}}N

\text{(3.1.1)}

と定める。生成元 $S$ と関係式 $R$ による群の表示 (group presentation) を

\langle S\mid R\rangle =F(S)/\langle\!\langle R\rangle\!\rangle

\text{(3.1.2)}

と定める。

式 (3.1.1)の交わりを取る正規部分群の族は $F(S)$ 自身を含むため空でない。§E7.7 命題 1.4により、 $\langle\!\langle R\rangle\!\rangle\trianglelefteq F(S)$ である。また、この部分群は $R$ を含み、 $R$ を含む任意の正規部分群に含まれる。したがって正規閉包は $R$ を含む最小の正規部分群である。

定理 3.2. 群 $G$ と写像 $f\colon S\to G$ を取り、定理 1.6による一意な延長を $\widehat f\colon F(S)\to G$ とする。次の二条件は同値である。

任意の $r\in R$ に対して $\widehat f(r)=e_G$ である。
表示式 (3.1.2)の標準生成元を $f(s)$ へ移す群準同型 $\overline f\colon\langle S\mid R\rangle\longrightarrow G$ が存在する。

この準同型が存在するとき、 $\overline f$ は一意である。

証明.(1) $\Rightarrow$ (2)を示す。(1)を仮定する。 $R\subseteq\ker\widehat f$ である。§E7.7 定理 1.3により $\ker\widehat f\trianglelefteq F(S)$ であるから、正規閉包の最小性から

\langle\!\langle R\rangle\!\rangle\subseteq\ker\widehat f

となる。§E7.7 定理 2.4を適用すると、 $\widehat f$ は一意な準同型

\overline f\colon F(S)/\langle\!\langle R\rangle\!\rangle\longrightarrow G

を経由する。この準同型は各標準生成元を $f(s)$ へ移す。

(2) $\Rightarrow$ (1)を示す。逆に(2)を仮定する。標準射影を $q$ とすると $\widehat f=\overline f\circ q$ である。任意の $r\in R\subseteq\langle\!\langle R\rangle\!\rangle=\ker q$ に対して $q(r)=e$ であるから、 $\widehat f(r)=e_G$ となる。

一意性は、標準射影 $q$ が全射であること、または商群の普遍性の一意性から従う。▨

命題 3.3. $S$ を集合、 $\pi\colon F(S)\to G$ を全射群準同型とし、 $R\subseteq\ker\pi$ とする。 $N=\langle\!\langle R\rangle\!\rangle$ とおくと、 $\pi$ から誘導される準同型

\overline\pi\colon F(S)/N\longrightarrow G

は全射であり、 $\ker\overline\pi=(\ker\pi)/N$ である。さらに、 $\overline\pi$ が同型であるための必要十分条件は $\ker\pi=N$ である。

証明.§E7.7 定理 1.3と正規閉包の最小性により $N\subseteq\ker\pi$ である。§E7.7 定理 2.4により、標準射影 $q\colon F(S)\to F(S)/N$ に対して $\overline\pi\circ q=\pi$ を満たす準同型 $\overline\pi$ が存在する。 $\pi$ は全射であるから $\overline\pi$ も全射である。また、

\ker\overline\pi =\{wN\mid\pi(w)=e_G\} =(\ker\pi)/N

である。§E7.3 命題 2.2により、全射 $\overline\pi$ が同型であることは $(\ker\pi)/N=\{N\}$ と同値であり、後者は $\ker\pi=N$ と同値である。▨

注意 3.4 (正規閉包の役割). 関係式の集合 $R$ が生成する部分群 $\langle R\rangle$ は、一般には $F(S)$ の正規部分群ではない。この場合、剰余類集合 $F(S)/\langle R\rangle$ に商群の積は定まらない。関係式は任意の語で共役しても成立しなければならないため、表示では部分群 $\langle R\rangle$ ではなく正規閉包 $\langle\!\langle R\rangle\!\rangle$ で割る。

以下の具体的な表示では、関係式に現れる単位元を $1$ と書く。

4 巡回群の表示

定理 4.1. 整数 $n\geq 1$ に対して

C_n\cong\langle a\mid a^n=1\rangle

\text{(4.1.1)}

である。ここで $C_n=\Z/n\Z$ は位数 $n$ の巡回群である。生成写像 $F(\{a\})\to C_n$ の核は $a^n$ の正規閉包に等しい。

証明. $N=\langle\!\langle a^n\rangle\!\rangle\trianglelefteq F(\{a\})$ 、 $P=F(\{a\})/N$ とおく。一元集合上の自由群の各元は $a^m$ （ $m\in\Z$ ）と一意に表される。 $P$ では $a^n=1$ である。 $m=qn+i$ 、 $0\leq i<n$ と書けば

a^m=(a^n)^q a^i=a^i

となる。したがって $P$ の各元は $e,a,\ldots,a^{n-1}$ のいずれかであり、 $|P|\leq n$ である。

$a$ を $\overline1\in C_n$ へ移す写像は、自由群の普遍的性質によって全射準同型 $\pi\colon F(\{a\})\to C_n$ へ延長される。 $n\overline1=\overline0$ であるから $\pi(a^n)=e$ であり、命題 3.3により全射準同型

\overline\pi\colon P\longrightarrow C_n

を得る。終域は $n$ 個の元をもつ一方で $|P|\leq n$ であるため、 $\overline\pi$ は全単射である。よって式 (4.1.1)の同型が得られる。

命題 3.3により $\ker\pi=N=\langle\!\langle a^n\rangle\!\rangle$ である。▨

5 二面体群の表示

公式 5.1. 整数 $n\geq 3$ とし、 $\Z/n\Z$ 上の置換

r(i)=i+1,\qquad s(i)=-i

を考える。合成は右から左へ行う。このとき

r^n=e,\qquad s^2=e,\qquad srs=r^{-1}

\text{(5.1.1)}

である。

補題 5.2. $r,s$ が生成する置換群を $D_{2n}$ とする。この群の元は

r^i,\qquad r^i s\qquad (0\leq i<n)

\text{(5.2.1)}

の $2n$ 個である。

証明.式 (5.1.1)から $sr^j=r^{-j}s$ が任意の $j\in\Z$ に対して成り立つ。したがって式 (5.2.1)の形の置換の積は

\begin{aligned} r^ir^j&=r^{i+j},& r^i(r^js)&=r^{i+j}s,\\ (r^is)r^j&=r^{i-j}s,& (r^is)(r^js)&=r^{i-j} \end{aligned}

のいずれかであり、指数は $n$ を法として取ることができる。よって $r,s$ が生成する群のすべての元は式 (5.2.1)に含まれる。

$r^i=r^j$ ならば、 $\overline0$ における値を比較して $i=j$ を得る。 $r^is=r^js$ についても右から $s$ を合成して $i=j$ を得る。 $r^i=r^js$ と仮定すると、 $\overline0$ における値から $i=j$ である。しかし $\overline1$ における値を比較すると $i+1=i-1$ 、すなわち $2=0$ が $\Z/n\Z$ で成り立つことになる。 $n\geq 3$ では不可能である。したがって式 (5.2.1)の置換はすべて異なり、 $|D_{2n}|=2n$ である。▨

定理 5.3. 整数 $n\geq 3$ に対して

D_{2n} \cong \langle r,s\mid r^n=s^2=1,\ srs=r^{-1}\rangle

\text{(5.3.1)}

である。生成写像 $F(\{r,s\})\to D_{2n}$ の核は、三つの関係式に対応する語の正規閉包

\langle\!\langle r^n,\ s^2,\ srsr\rangle\!\rangle

に等しい。

証明.式 (5.3.1)の右辺の群を $P$ とする。 $P$ では $s^{-1}=s$ であり、 $srs=r^{-1}$ の右辺に $s$ を掛けると

sr=r^{-1}s

を得る。帰納法と逆元を取ることにより

sr^k=r^{-k}s\qquad(k\in\Z)

\text{(5.3.2)}

が成り立つ。任意の語で $s^{-1}$ を $s$ に置き換え、式 (5.3.2)を用いて $s$ を右へ移し、 $s^2=1$ を用いて対を消去する。 $r^n=1$ によって $r$ の指数を $0,\ldots,n-1$ に取ると、すべての元は

r^i s^\varepsilon \qquad (0\leq i<n,\ \varepsilon\in\{0,1\})

と表される。したがって $|P|\leq 2n$ である。

補題 5.2の置換 $r,s$ はすべての式 (5.1.1)を満たす。表示の普遍的性質により、標準生成元をこれらの置換へ移す全射準同型

\overline\pi\colon P\longrightarrow D_{2n}

が存在する。 $|D_{2n}|=2n$ かつ $|P|\leq2n$ であるため、 $\overline\pi$ は全単射であり、式 (5.3.1)の同型を得る。

生成写像 $\pi\colon F(\{r,s\})\to D_{2n}$ に命題 3.3を適用すると、 $\ker\pi=\langle\!\langle r^n,s^2,srsr\rangle\!\rangle$ である。▨

6 対称群の表示

公式 6.1. $n\geq2$ とし、 $S_n$ の隣接互換を

\tau_i=(i\ i+1)\qquad(1\leq i\leq n-1)

とする。これらは

\tau_i^2=e,\qquad \tau_i\tau_j=\tau_j\tau_i\quad(|i-j|\geq2), \qquad \tau_i\tau_{i+1}\tau_i =\tau_{i+1}\tau_i\tau_{i+1}

\text{(6.1.1)}

を満たす。

補題 6.2. 隣接互換 $\tau_1,\ldots,\tau_{n-1}$ は $S_n$ を生成する。

証明. $1\leq a<b\leq n$ に対して、互換 $(a\ b)$ は

(a\ b) =\tau_a\tau_{a+1}\cdots\tau_{b-2}\tau_{b-1} \tau_{b-2}\cdots\tau_{a+1}\tau_a

\text{(6.2.1)}

と表される。実際、右辺は $a$ と $b$ を交換し、その間の各元を元の位置へ戻し、区間外の元を固定する。§E7.4 定理 6.2により $S_n$ の任意の元は互換の積であるから、式 (6.2.1)によって隣接互換の積として表される。▨

例 6.3. 抽象的な生成元 $s_1,\ldots,s_{n-1}$ に式 (6.1.1)と同じ関係を課す。関係語の集合を

\begin{aligned} R_n={}&\{s_i^2\mid 1\leq i\leq n-1\}\\ &{}\cup \{s_is_js_i^{-1}s_j^{-1}\mid 1\leq i,j\leq n-1,\ |i-j|\geq2\}\\ &{}\cup \{s_is_{i+1}s_i(s_{i+1}s_is_{i+1})^{-1} \mid1\leq i\leq n-2\} \end{aligned}

とし、この表示が定める群を

P_n= \left\langle s_1,\ldots,s_{n-1} \ \middle|\ \begin{array}{l} s_i^2=1\quad(1\leq i\leq n-1),\\ s_is_j=s_js_i\quad(1\leq i,j\leq n-1,\ |i-j|\geq2),\\ s_is_{i+1}s_i=s_{i+1}s_is_{i+1}\quad(1\leq i\leq n-2) \end{array} \right\rangle

\text{(6.3.1)}

とする。

補題 6.4. $P_n$ の任意の元は

w_1w_2\cdots w_{n-1}

\text{(6.4.1)}

の形に表される。ここで

w_k\in \{e,\ s_k,\ s_ks_{k-1},\ldots,\ s_ks_{k-1}\cdots s_1\}.

\text{(6.4.2)}

したがって $|P_n|\leq2\cdot3\cdots n=n!$ である。

証明. 補助的に $P_1=\{e\}$ とおく。 $n$ に関する帰納法を用いる。 $P_n$ の中で $s_1,\ldots,s_{n-2}$ が生成する部分群を $Q_{n-1}$ と書く。 $Q_{n-1}$ の生成元は $P_{n-1}$ の関係式を満たすため、表示の普遍的性質から $P_{n-1}$ から $Q_{n-1}$ への全射準同型が存在する。したがって帰納法の仮定により、 $Q_{n-1}$ の任意の元は $w_1\cdots w_{n-2}$ の形に表される。

さらに

t_k=s_{n-1}s_{n-2}\cdots s_k\quad(1\leq k\leq n-1), \qquad t_n=e

とおく。 $T_n=\{t_1,\ldots,t_n\}$ は式 (6.4.2)における $w_{n-1}$ の候補全体である。

$1\leq i\leq n-1$ に対して、式 (6.3.1)から次の等式を得る。

\begin{array}{ll} t_ns_i=s_it_n &(i\leq n-2),\\ t_ns_{n-1}=t_{n-1},&\\ t_ks_i=s_it_k &(i\leq k-2),\\ t_ks_{k-1}=t_{k-1} &(2\leq k\leq n-1),\\ t_ks_k=t_{k+1} &(1\leq k\leq n-1),\\ t_ks_i=s_{i-1}t_k &(k+1\leq i\leq n-1). \end{array}

\text{(6.4.3)}

最初の可換式と第三の可換式は $|i-j|\geq2$ の関係から従い、第四式と第五式はそれぞれ語の末尾への追加と $s_k^2=1$ から従う。最後の式では、 $t_k$ の右にある $s_i$ を $s_{i-2},\ldots,s_k$ と交換し、

s_is_{i-1}s_i=s_{i-1}s_is_{i-1}

を適用した後、左端の $s_{i-1}$ を $s_{n-1},\ldots,s_{i+1}$ と交換する。以上の交換操作により $t_ks_i=s_{i-1}t_k$ を得る。

式 (6.4.3)により、任意の $t\in T_n$ と任意の生成元 $s_i$ に対して

ts_i=ut' \qquad (u\in Q_{n-1},\ t'\in T_n)

\text{(6.4.4)}

と表されることが示されている。 $s_i^2=1$ から $s_i^{-1}=s_i$ であるため、 $P_n$ の任意の元は生成元の正の語で表される。空語は $Q_{n-1}T_n$ に属し、 $Q_{n-1}T_n$ の元の右に生成元を掛けても式 (6.4.4)により再び $Q_{n-1}T_n$ に属する。したがって

P_n=Q_{n-1}T_n

\text{(6.4.5)}

である。

前段落の $Q_{n-1}$ の正規形と式 (6.4.5)によって、 $P_n$ の元は式 (6.4.1)の形に表される。 $w_k$ の候補は $k+1$ 個であるから、候補となる語の総数は

\prod_{k=1}^{n-1}(k+1)=n!

である。ゆえに $|P_n|\leq n!$ となる。▨

定理 6.5. 整数 $n\geq2$ に対して

S_n\cong \left\langle s_1,\ldots,s_{n-1} \ \middle|\ \begin{array}{l} s_i^2=1\quad(1\leq i\leq n-1),\\ s_is_j=s_js_i\quad(1\leq i,j\leq n-1,\ |i-j|\geq2),\\ s_is_{i+1}s_i=s_{i+1}s_is_{i+1}\quad(1\leq i\leq n-2) \end{array} \right\rangle.

\text{(6.5.1)}

同型は $s_i\mapsto(i\ i+1)$ によって与えられる。生成写像 $F(\{s_1,\ldots,s_{n-1}\})\to S_n$ の核は $\langle\!\langle R_n\rangle\!\rangle$ に等しい。また、補題 6.4の式 (6.4.1)は各元に対して一意である。

証明. 隣接互換 $\tau_i=(i\ i+1)$ は式 (6.1.1)を満たす。第一の関係は互換の平方が恒等置換であること、第二の関係は台が交わらない置換の可換性から従う。第三の関係については、両辺が $i$ と $i+2$ を交換し、他の元を固定するため等しい。

表示の普遍的性質により、 $s_i$ を $\tau_i$ へ移す準同型

\overline\pi\colon P_n\longrightarrow S_n

が存在する。補題 6.2により $\overline\pi$ は全射である。§E7.4 命題 2.2から $|S_n|=n!$ である一方、補題 6.4から $|P_n|\leq n!$ である。したがって $\overline\pi$ は全単射であり、式 (6.5.1)の同型を得る。

生成写像 $\pi\colon F(\{s_1,\ldots,s_{n-1}\})\to S_n$ に命題 3.3を適用すると、 $\ker\pi=\langle\!\langle R_n\rangle\!\rangle$ である。

正規形式 (6.4.1)の候補はちょうど $n!$ 個であり、すべての元を表す。 $|P_n|=n!$ が判明したため、異なる候補が同じ元を表すことはない。したがって正規形は一意である。▨

7 周辺例

注意 7.1 (モジュラー群の自由積表示). 以下の同型は本論に用いない外部結果である。上半平面を

\mathbb H=\{z\in\C\mid\Im z>0\}

とする。行列

\begin{pmatrix}a&b\\c&d\end{pmatrix} \in\SL_2(\Z)

は

z\longmapsto\frac{az+b}{cz+d}

によって $\mathbb H$ に作用する。実際、 $ad-bc=1$ から

\Im\frac{az+b}{cz+d} =\frac{\Im z}{|cz+d|^2}>0

である。二つの行列 $A$ と $-A$ は同じ変換を与えるため、この作用は

\PSL_2(\Z) =\SL_2(\Z)/\{\pm I\}

の作用を定める。

行列

S=\begin{pmatrix}0&-1\\1&0\end{pmatrix}, \qquad T=\begin{pmatrix}1&1\\0&1\end{pmatrix}

の像をそれぞれ $s,t$ とし、 $r=st$ と置く。 $\PSL_2(\Z)$ では

s^2=e,\qquad r^3=e

が成り立つ。上半平面に対する標準基本領域の定理により、 $s,r$ が群全体を生成し、 $s^2=e$ と $r^3=e$ 以外の関係を持たないことが得られる。標準基本領域の定理は本稿では証明せず、 Serre, A Course in Arithmetic のモジュラー群の基本領域の扱いへ委ねる。この定理を外部結果として用いると、

\PSL_2(\Z) \cong\langle s,r\mid s^2=e,\ r^3=e\rangle \cong C_2*C_3

を得る。この例は、自由積が上半平面の幾何学的な対称性として現れることを示すが、前後の定理または演習の根拠には用いない。

8 演習

問題 8.1.

集合 $X=\varnothing$ に対して $F(X)$ が自明群であることを、簡約語の構成と普遍的性質の両方から説明せよ。
自由積 $C_2*C_2$ の標準生成元を $a,b$ とする。交互簡約語の一意性を用いて、 $ab$ が無限位数をもつことを証明せよ。
表示 $\langle a\mid a^6=e,\ a^4=e\rangle$ が $C_2$ を与えることを証明せよ。
対称群の正規形式 (6.4.1)について、 $n=3$ の六つの候補を列挙し、隣接互換へ移した像がすべて異なることを確認せよ。

解答 (演習の解答).

$X^{\pm1}$ に文字が存在しないため、唯一の語は空語であり、 $F(X)$ は自明群である。また、空集合から任意の群への写像は一意であり、自明群から任意の群への準同型も一意であるから、普遍的性質も満たす。
$(ab)^m$ は $m\geq1$ に対して長さ $2m$ の交互簡約語であり、空語ではない。したがって $(ab)^m\neq e$ であり、 $ab$ は無限位数をもつ。
この群では $a^6=e$ と $a^4=e$ から $a^2=a^6(a^4)^{-1}=e$ を得る。したがって元は $e,a$ の高々二つである。一方、 $a$ を $C_2$ の生成元へ移す写像は両関係式を満たし、 $C_2$ への全射を誘導する。よって表示された群は $C_2$ と同型である。
候補は $e,s_1,s_2,s_1s_2,s_2s_1,s_1s_2s_1$ である。これらの像はそれぞれ $e,(1\,2),(2\,3),(1\,2)(2\,3),(2\,3)(1\,2),(1\,3)$ であり、 $S_3$ の六つの異なる元を与える。

▨

§E7.9自由群・自由積と群の表示

1 簡約語と自由群

2 自由積

3 生成元と関係式

4 巡回群の表示

5 二面体群の表示

6 対称群の表示

7 周辺例

8 演習

参考文献

前提記事