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

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)$ を生成する。▨

証明では、各語を写像 $f$ の値とその逆元の積として評価することから始める。自由簡約で削除される隣接対の評価が単位元であることを用いて、評価が簡約語上で定まることを示す。連結語とその簡約形の評価を比較して準同型性を得る。最後に、標準生成元上の値が指定されると全簡約語上の値も決まることから一意性へ帰着させる。

定理 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\mathbb Z$ ）の形に一意に表され、 $x^m x^k=x^{m+k}$ である。したがって $F(\{x\})\cong\mathbb 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)$ であり、中間の積が単位元になる場合も、単位元を除けば同じ一文字または空語へ到達する。したがって異なる一段階簡約の結果は共通の語へさらに簡約される。

以上の局所的な性質と停止性から、一意性を語の長さに関する帰納法で示す。二つの簡約列の最初の一段階が同じならば、その短い語に帰納法を適用する。異なるならば、前段落の共通の語を最後まで簡約し、両方の一段階簡約後の語に帰納法を適用する。両簡約列の終点は、その共通の簡約形に一致する。したがって交互簡約語は一意である。

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

定義 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$ についても同じ証明が成り立つ。▨

証明では、交互簡約語の各文字を、その所属する因子に応じて $f$ または $g$ で評価する。因子内の簡約が評価を変えないことを準同型性から示し、正規形上の写像を定める。連結語と交互簡約形の評価を比較して、この写像が積を保つことを確認する。最後に、二つの標準埋め込みの像が自由積を生成することから一意性へ帰着させる。

定理 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$ は一意である。▨

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)$ 自身を含むため空でない。正規部分群の交わりは正規部分群であるから、 $\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 (正規閉包が必要であること). 関係式の集合 $R$ が生成する部分群 $\langle R\rangle$ は、一般には $F(S)$ の正規部分群ではない。この場合、剰余類集合 $F(S)/\langle R\rangle$ に商群の積を入れることはできない。関係式は任意の語で共役しても成立しなければならないため、表示では部分群 $\langle R\rangle$ ではなく正規閉包 $\langle\!\langle R\rangle\!\rangle$ で割る。

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

4 巡回群の表示

証明では、表示された群 $P$ の任意の元を一生成元の冪として表すことから始める。関係式 $a^n=1$ を用いて指数を $0,\ldots,n-1$ へ戻し、 $|P|\leq n$ を得る。次に、 $C_n$ への生成写像を表示の普遍性によって誘導し、全射性と位数比較から同型を得る。最後に、誘導同型の単射性を用いて生成写像の核を正規閉包と同定する。

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

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

\text{(4.1.1)}

である。ここで $C_n=\mathbb Z/n\mathbb 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\mathbb 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$ であり、表示の普遍的性質により全射準同型

\overline\pi\colon P\longrightarrow C_n

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

標準射影を $q\colon F(\{a\})\to P$ とすると $\pi=\overline\pi\circ q$ である。 $\overline\pi$ は単射であるから

\ker\pi=\ker q=N=\langle\!\langle a^n\rangle\!\rangle

である。▨

5 二面体群の表示

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

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

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

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

\text{(5.1.1)}

である。

証明では、関係式から $s$ と $r$ の冪を交換する等式を得ることから始める。この等式によって、生成される置換を $r^i$ または $r^is$ の形へ帰着させる。次に、 $\mathbb Z/n\mathbb Z$ の二点における作用を比較し、候補同士が異なることを示す。最後に、候補の包含と相異性を合わせて群の位数を $2n$ と決定する。

補題 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\mathbb 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$ が $\mathbb Z/n\mathbb Z$ で成り立つことになる。 $n\geq 3$ では不可能である。したがって式 (5.2.1)の置換はすべて異なり、 $|D_{2n}|=2n$ である。▨

証明では、抽象的な表示群 $P$ の関係式から $sr^k=r^{-k}s$ を導く。任意の語で $s$ を右へ移し、 $s^2=1$ と $r^n=1$ を用いて候補を $2n$ 個に制限する。具体的な置換群 $D_{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\mathbb 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)の同型を得る。

$N=\langle\!\langle r^n,s^2,srsr\rangle\!\rangle$ とおき、 $q\colon F(\{r,s\})\to P$ を標準射影、 $\pi\colon F(\{r,s\})\to D_{2n}$ を生成写像とする。 $\pi=\overline\pi\circ q$ であり $\overline\pi$ は単射であるから

\ker\pi=\ker q=N

である。▨

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)}

を満たす。

証明では、任意の互換 $(a\ b)$ を隣接互換の積として具体的に構成する。構成した積の作用を区間内と区間外で調べ、実際に $a$ と $b$ だけを交換することを確認する。次に、任意の置換が互換の積であるという既知の分解を用いる。各互換を先の積へ置き換え、 $S_n$ 全体の生成へ帰着させる。

補題 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 定理 4.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)}

とする。

証明では、 $n$ に関する帰納法を用い、前段階の生成元が作る部分群を $Q_{n-1}$ とする。末尾の因子の候補集合 $T_n$ を定め、各 $t\in T_n$ の右に生成元を掛けた積を $Q_{n-1}T_n$ の形へ戻す関係式を証明する。この閉性から $P_n=Q_{n-1}T_n$ を得て、帰納法による $Q_{n-1}$ の正規形と結合する。最後に候補数を数えて $|P_n|\leq n!$ へ帰着させる。

補題 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!$ となる。▨

証明では、隣接互換が Coxeter 関係を満たすことを置換の作用から確認する。表示の普遍性によって $P_n$ から $S_n$ への準同型を構成し、隣接互換による生成から全射性を得る。正規形による上界と $|S_n|=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 命題 1.2から $|S_n|=n!$ である一方、補題 6.4から $|P_n|\leq n!$ である。したがって $\overline\pi$ は全単射であり、式 (6.5.1)の同型を得る。

$N=\langle\!\langle R_n\rangle\!\rangle$ とおき、 $q\colon F(\{s_1,\ldots,s_{n-1}\})\to P_n$ を標準射影、 $\pi\colon F(\{s_1,\ldots,s_{n-1}\})\to S_n$ を生成写像とする。 $\pi=\overline\pi\circ q$ であり $\overline\pi$ は単射であるから

\ker\pi=\ker q=N

である。

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

7 周辺例

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

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

とする。行列

\begin{pmatrix}a&b\\c&d\end{pmatrix} \in\operatorname{SL}_2(\mathbb Z)

は

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

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

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

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

\operatorname{PSL}_2(\mathbb Z) =\operatorname{SL}_2(\mathbb 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$ と置く。 $\operatorname{PSL}_2(\mathbb Z)$ では

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

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

\operatorname{PSL}_2(\mathbb 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 演習

参考文献

前提記事