半直積と分裂拡大 | 群論入門 | 天游ヶ丘数理学院

1 外部半直積の構成

群 $N,H$ と群準同型

\alpha\colon H\longrightarrow\operatorname{Aut}(N), \qquad h\longmapsto\alpha_h

を固定する。

定義 1.1. 集合 $N\times H$ 上の積を

(n,h)(m,k) =\bigl(n\alpha_h(m),hk\bigr)

と定める。この積を備えた集合を

N\rtimes_\alpha H

と書き、 $\alpha$ による外部半直積 (external semidirect product) と呼ぶ。

証明では、三つの元を二通りに結合し、 $\alpha_{hk}=\alpha_h\circ\alpha_k$ を用いて第一成分が一致することを示す。次に $\alpha_{e_H}=\operatorname{id}_N$ から $(e_N,e_H)$ が両側単位元であることを確認する。最後に候補 $(\alpha_{h^{-1}}(n^{-1}),h^{-1})$ を左右から掛け、両方の積が単位元になることを直接計算する。

定理 1.2. $N\rtimes_\alpha H$ は群である。単位元と逆元は

(e_N,e_H),\qquad (n,h)^{-1} =\bigl(\alpha_{h^{-1}}(n^{-1}),h^{-1}\bigr)

である。

証明. 積は $N\times H$ の元を与えるから閉じている。 $(n,h),(m,k),(\ell,r)\in N\times H$ とする。左側から結合すると、

\begin{aligned} \bigl((n,h)(m,k)\bigr)(\ell,r) &=\bigl(n\alpha_h(m),hk\bigr)(\ell,r)\\ &=\bigl(n\alpha_h(m)\alpha_{hk}(\ell),hkr\bigr). \end{aligned}

一方、右側から結合すると、

\begin{aligned} (n,h)\bigl((m,k)(\ell,r)\bigr) &=(n,h)\bigl(m\alpha_k(\ell),kr\bigr)\\ &=\bigl(n\alpha_h(m\alpha_k(\ell)),hkr\bigr)\\ &=\bigl(n\alpha_h(m)(\alpha_h\circ\alpha_k)(\ell),hkr\bigr). \end{aligned}

$\alpha$ は群準同型であるから $\alpha_{hk}=\alpha_h\circ\alpha_k$ であり、二つの結果は等しい。したがって結合律が成り立つ。

$\alpha_{e_H}=\operatorname{id}_N$ であり、各自己同型は単位元を保つため、

(e_N,e_H)(n,h)=(n,h) =(n,h)(e_N,e_H)

である。

$u=\alpha_{h^{-1}}(n^{-1})$ と置く。 $\alpha_h\circ\alpha_{h^{-1}}=\operatorname{id}_N$ から

(n,h)(u,h^{-1}) =\bigl(n\alpha_h(u),e_H\bigr) =(e_N,e_H)

である。また、

\begin{aligned} (u,h^{-1})(n,h) &=\bigl(u\alpha_{h^{-1}}(n),e_H\bigr)\\ &=\bigl(\alpha_{h^{-1}}(n^{-1}) \alpha_{h^{-1}}(n),e_H\bigr)\\ &=(e_N,e_H). \end{aligned}

したがって表示した元は両側逆元であり、群の公理がすべて成り立つ。▨

2 標準部分群と短完全列

写像

i_N\colon N\to N\rtimes_\alpha H,\quad i_N(n)=(n,e_H),

j_H\colon H\to N\rtimes_\alpha H,\quad j_H(h)=(e_N,h),

p_H\colon N\rtimes_\alpha H\to H,\quad p_H(n,h)=h

を考える。

命題 2.1. $i_N$ と $j_H$ は単射準同型であり、 $p_H$ は全射準同型である。さらに、

\ker p_H=i_N(N)

であるから、

1\longrightarrow N \xrightarrow{i_N}N\rtimes_\alpha H \xrightarrow{p_H}H \longrightarrow1

は短完全列である。写像 $j_H$ はこの列の切断である。また、

j_H(h)i_N(n)j_H(h)^{-1} =i_N\bigl(\alpha_h(n)\bigr)

が成り立つ。さらに、

i_N(N)\trianglelefteq N\rtimes_\alpha H,

i_N(N)\cap j_H(H)=\{(e_N,e_H)\},\qquad i_N(N)j_H(H)=N\rtimes_\alpha H

が成り立つ。

証明. $n,m\in N$ に対し、

i_N(n)i_N(m) =(n,e_H)(m,e_H)=(nm,e_H)=i_N(nm)

である。 $(n,e_H)=(e_N,e_H)$ ならば $n=e_N$ であるから、 $i_N$ は単射である。 $h,k\in H$ に対し、

j_H(h)j_H(k) =(e_N,h)(e_N,k)=(e_N,hk)=j_H(hk)

であり、同じく $j_H$ は単射である。

p_H\bigl((n,h)(m,k)\bigr)=hk=p_H(n,h)p_H(m,k)

であるから $p_H$ は準同型であり、 $p_H(e_N,h)=h$ であるから全射である。また、

p_H(n,h)=e_H \quad\Longleftrightarrow\quad (n,h)=(n,e_H)\in i_N(N)

である。よって $\ker p_H=i_N(N)$ であり、短完全性が従う。

p_H\circ j_H=\operatorname{id}_H

であるから、 $j_H$ は切断である。

最後に、 $j_H(h)^{-1}=j_H(h^{-1})$ を用いると、

\begin{aligned} j_H(h)i_N(n)j_H(h)^{-1} &=(e_N,h)(n,e_H)(e_N,h^{-1})\\ &=(\alpha_h(n),h)(e_N,h^{-1})\\ &=(\alpha_h(n),e_H)\\ &=i_N(\alpha_h(n)). \end{aligned}

$i_N(N)=\ker p_H$ であるから、§E7.7 定理 1.3により

i_N(N)\trianglelefteq N\rtimes_\alpha H

である。 $(n,e_H)=(e_N,h)$ ならば $n=e_N$ かつ $h=e_H$ であるから、

i_N(N)\cap j_H(H)=\{(e_N,e_H)\}

となる。また、任意の $(n,h)\in N\rtimes_\alpha H$ は

(n,h)=(n,e_H)(e_N,h)=i_N(n)j_H(h)

と表されるため、

i_N(N)j_H(H)=N\rtimes_\alpha H

である。▨

3 内部半直積

定義 3.1. $N\trianglelefteq G$ とする。部分群 $H\leq G$ が

N\cap H=\{e_G\},\qquad NH=G

を満たすとき、 $H$ を $N$ の補群 (complement) と呼び、 $G$ は $N$ と $H$ の内部半直積 (internal semidirect product) であるという。

標準半直積では、 $j_H(H)$ は $i_N(N)$ の補群である。

証明では、まず $N\trianglelefteq G$ により各 $h\in H$ の共役が $N$ の自己同型を定めることを確認し、共役の合成から作用 $\alpha\colon H\to\operatorname{Aut}(N)$ を構成する。次に $\Phi(n,h)=nh$ を定め、半直積の積に現れる $\alpha_h(m)=hmh^{-1}$ を用いて準同型性を示す。 $NH=G$ から全射性を得て、二つの像の等式を $N\cap H=\{e_G\}$ へ帰着させて単射性を示す。最後に全単射準同型であることから群同型を結論する。

定理 3.2. 群 $G$ の部分群 $N,H$ が

N\trianglelefteq G,\qquad N\cap H=\{e_G\},\qquad NH=G

を満たすとする。

\alpha_h(n)=hnh^{-1}

と定めると、

\alpha\colon H\longrightarrow\operatorname{Aut}(N)

は群準同型である。さらに、

\Phi\colon N\rtimes_\alpha H\longrightarrow G,\qquad \Phi(n,h)=nh

は群同型である。

証明. $N\trianglelefteq G$ であるから、各 $h\in H$ による共役は $N$ を保つ。共役写像の逆写像は $h^{-1}$ による共役であるため、 $\alpha_h\in\operatorname{Aut}(N)$ である。 $h,k\in H$ 、 $n\in N$ に対し、

\alpha_{hk}(n) =(hk)n(hk)^{-1} =h(knk^{-1})h^{-1} =(\alpha_h\circ\alpha_k)(n)

であるから、 $\alpha$ は群準同型である。

$(n,h),(m,k)\in N\rtimes_\alpha H$ に対し、

\begin{aligned} \Phi\bigl((n,h)(m,k)\bigr) &=\Phi(n\alpha_h(m),hk)\\ &=n(hmh^{-1})hk\\ &=nhmk\\ &=\Phi(n,h)\Phi(m,k). \end{aligned}

したがって $\Phi$ は準同型である。 $NH=G$ から $\Phi$ は全射である。 $\Phi(n,h)=\Phi(m,k)$ ならば

nh=mk,\qquad m^{-1}n=kh^{-1}\in N\cap H

である。したがって $m^{-1}n=kh^{-1}=e_G$ となり、 $n=m$ かつ $h=k$ である。よって $\Phi$ は単射である。したがって $\Phi$ は群同型である。▨

内部直積の判定と異なり、 $H\trianglelefteq G$ は仮定しない。 $H$ が正規でない場合には、作用 $\alpha$ が非自明になり得る。

4 分裂拡大と半直積

拡大

1\longrightarrow N \xrightarrow{\iota}E \xrightarrow{\pi}Q \longrightarrow1

を固定する。§E7.15 定義 1.1と§E7.15 定義 1.4の定義を用いる。

証明では、まず切断 $s$ による共役から $\alpha\colon Q\to\operatorname{Aut}(N)$ を構成し、 $s(qr)=s(q)s(r)$ を用いて準同型性を示す。次に $\Phi(n,q)=\iota(n)s(q)$ を定め、共役の式から準同型性を確認する。短完全性と切断条件を用いて $\Phi$ の全射性と単射性を証明し、 $\Phi\circ i_N=\iota$ 、 $\pi\circ\Phi=p_Q$ により拡大の同型を得る。逆向きでは、拡大の同型と標準切断 $j_Q$ を合成して元の拡大の切断を構成する。

定理 4.1. 群準同型

\iota\colon N\longrightarrow E,\qquad \pi\colon E\longrightarrow Q

が、 $\iota$ は単射、 $\pi$ は全射、 $\operatorname{im}\iota=\ker\pi$ を満たす短完全列

1\longrightarrow N\xrightarrow{\iota}E\xrightarrow{\pi}Q\longrightarrow1

をなすとする。この拡大が分裂することと、ある群準同型

\alpha\colon Q\longrightarrow\operatorname{Aut}(N)

について、この拡大が標準半直積拡大

1\longrightarrow N \xrightarrow{i_N}N\rtimes_\alpha Q \xrightarrow{p_Q}Q \longrightarrow1

と拡大として同型であることとは同値である。ここで、標準写像は

i_N\colon N\longrightarrow N\rtimes_\alpha Q,\qquad i_N(n)=(n,e_Q),

p_Q\colon N\rtimes_\alpha Q\longrightarrow Q,\qquad p_Q(n,q)=q

である。

切断 $s\colon Q\to E$ が与えられたとき、作用と同型は

\alpha_q(n) =\iota^{-1}\bigl(s(q)\iota(n)s(q)^{-1}\bigr),

\Phi\colon N\rtimes_\alpha Q\longrightarrow E,\qquad \Phi(n,q)=\iota(n)s(q)

で与えられる。さらに、

\Phi\circ i_N=\iota,\qquad \pi\circ\Phi=p_Q

が成り立つ。

証明. まず拡大が分裂し、切断 $s\colon Q\to E$ が与えられているとする。 $\iota(N)=\ker\pi\trianglelefteq E$ であるから、

s(q)\iota(n)s(q)^{-1}\in\iota(N)

となり、 $\alpha_q(n)$ は一意に定まる。共役写像であるから各 $\alpha_q$ は自己同型である。 $q,r\in Q$ 、 $n\in N$ に対し、 $s$ が準同型であることを用いると、

\begin{aligned} \iota\bigl(\alpha_{qr}(n)\bigr) &=s(qr)\iota(n)s(qr)^{-1}\\ &=s(q)s(r)\iota(n)s(r)^{-1}s(q)^{-1}\\ &=\iota\bigl((\alpha_q\circ\alpha_r)(n)\bigr). \end{aligned}

$\iota$ は単射であるから $\alpha_{qr}=\alpha_q\circ\alpha_r$ であり、 $\alpha$ は群準同型である。

$\Phi$ は各組 $(n,q)$ に対して $E$ の元を与えるため、写像として定まる。 $(n,q),(m,r)\in N\rtimes_\alpha Q$ に対し、

\begin{aligned} \Phi\bigl((n,q)(m,r)\bigr) &=\Phi(n\alpha_q(m),qr)\\ &=\iota(n)\iota(\alpha_q(m))s(qr)\\ &=\iota(n)s(q)\iota(m)s(q)^{-1}s(q)s(r)\\ &=\iota(n)s(q)\iota(m)s(r)\\ &=\Phi(n,q)\Phi(m,r). \end{aligned}

したがって $\Phi$ は準同型である。

$e\in E$ を取って $q=\pi(e)$ と置く。

\pi\bigl(es(q)^{-1}\bigr)=qq^{-1}=e_Q

であるから、ある $n\in N$ が存在して

es(q)^{-1}=\iota(n)

となる。よって $e=\iota(n)s(q)=\Phi(n,q)$ であり、 $\Phi$ は全射である。

$\Phi(n,q)=\Phi(m,r)$ とする。両辺へ $\pi$ を適用すると

q=\pi(\iota(n)s(q)) =\pi(\iota(m)s(r))=r

である。右から $s(q)^{-1}=s(r)^{-1}$ を掛けると $\iota(n)=\iota(m)$ となり、 $\iota$ の単射性から $n=m$ である。したがって $\Phi$ は単射である。

さらに、 $n\in N$ 、 $q\in Q$ に対し、

(\Phi\circ i_N)(n)=\Phi(n,e_Q)=\iota(n)s(e_Q)=\iota(n),

(\pi\circ\Phi)(n,q) =\pi(\iota(n)s(q))=q=p_Q(n,q)

である。よって $\Phi$ は両端の恒等写像と可換する拡大の同型である。

逆に、ある $\alpha$ と拡大の同型

\Phi\colon N\rtimes_\alpha Q\longrightarrow E

が与えられているとする。標準切断 $j_Q(q)=(e_N,q)$ を用いて

s=\Phi\circ j_Q\colon Q\longrightarrow E

と置く。写像 $s$ は準同型である。また、拡大の同型が $\pi\circ\Phi=p_Q$ を満たすため、

\pi\circ s =\pi\circ\Phi\circ j_Q =p_Q\circ j_Q =\operatorname{id}_Q

である。したがって $s$ は切断であり、元の拡大は分裂する。▨

切断から得た $\alpha$ を $\operatorname{Aut}(N)\to\operatorname{Out}(N)$ と合成すると、§E7.15 定理 2.1になる。

5 自明な作用と二面体群

命題 5.1. $\alpha_h=\operatorname{id}_N$ がすべての $h\in H$ について成り立つならば、

N\rtimes_\alpha H=N\times H

が群の積まで含めて成り立つ。

証明. 自明な作用のもとでは、

(n,h)(m,k) =(n\alpha_h(m),hk) =(nm,hk)

であり、この積は§E7.13 定義 1.1の積そのものである。▨

例 5.2 (二面体群と $S_3$ ). $n\geq3$ とし、

C_n=\langle a\mid a^n=e\rangle,\qquad C_2=\langle b\mid b^2=e\rangle

とする。 $b$ の $C_n$ への作用を

\alpha_b(a)=a^{-1}

と定める。反転 $a^i\mapsto a^{-i}$ は $C_n$ の自己同型であり、その二乗は恒等写像である。したがって、この式は準同型 $C_2\to\operatorname{Aut}(C_n)$ を定める。この作用について、

\Phi\colon C_n\rtimes_\alpha C_2\longrightarrow D_{2n}, \qquad \Phi(a^i,b^\varepsilon)=r^i s^\varepsilon

と定める。ここで、 $r,s$ は§E7.9 補題 5.1で定めた置換である。§E7.9 定理 5.2により、

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

である。

$0\leq i,j<n$ 、 $\varepsilon,\delta\in\{0,1\}$ とする。半直積の積は

(a^i,b^\varepsilon)(a^j,b^\delta) = \bigl(a^{i+(-1)^\varepsilon j},b^{\varepsilon+\delta}\bigr)

である。一方、 $srs=r^{-1}$ と $s^2=e$ から $sr^j=r^{-j}s$ が成り立つため、

r^i s^\varepsilon r^j s^\delta = r^{i+(-1)^\varepsilon j}s^{\varepsilon+\delta}

である。二つの積の公式が一致するので、 $\Phi$ は準同型である。 $\Phi(a,e)=r$ 、 $\Phi(e,b)=s$ であり、 $r,s$ は $D_{2n}$ を生成するため、 $\Phi$ は全射である。さらに、§E7.9 補題 5.1によれば、

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

は $D_{2n}$ の互いに異なる $2n$ 個の元である。したがって $\Phi(a^i,b^\varepsilon)=\Phi(a^j,b^\delta)$ ならば $i=j$ かつ $\varepsilon=\delta$ であり、 $\Phi$ は単射である。よって

C_n\rtimes_\alpha C_2\cong D_{2n}

である。

とくに $n=3$ では $D_6$ の位数は $6$ であり、

D_6\cong S_3

である。実際、 $r\mapsto(123)$ 、 $s\mapsto(12)$ とすると、

(123)^3=(12)^2=e,\qquad (12)(123)(12)=(123)^{-1}

であるから、二面体群の表示により準同型 $D_6\to S_3$ が定まる。 $(123)$ と $(12)$ は $S_3$ を生成するため、この準同型は全射である。両群の位数はともに $6$ であるから、この準同型は同型である。

6 無限群の幾何学的な例

例 6.1 (アフィン群とユークリッド群). $n\geq1$ とする。 $\operatorname{GL}_n(\mathbb R)$ は加法群 $\mathbb R^n$ に $A\cdot v=Av$ によって作用する。この作用による半直積の積は

(v,A)(w,B)=(v+Aw,AB) \tag{1}

である。 $(v,A)$ をアフィン変換

x\longmapsto Ax+v

に対応させると、二つのアフィン変換の合成は式 (1) と一致する。したがって

\operatorname{Aff}_n(\mathbb R) =\mathbb R^n\rtimes\operatorname{GL}_n(\mathbb R)

と同一視することができる。

同次座標を用いると、この半直積は

(v,A)\longmapsto \begin{pmatrix} A&v\\ 0&1 \end{pmatrix} \tag{2}

によって $\operatorname{GL}_{n+1}(\mathbb R)$ に埋め込まれる。実際、右辺の行列式は $\det A\neq0$ であり、

\begin{pmatrix}A&v\\0&1\end{pmatrix} \begin{pmatrix}B&w\\0&1\end{pmatrix} = \begin{pmatrix}AB&v+Aw\\0&1\end{pmatrix}

なので積が保たれる。また、右辺の行列から $A$ と $v$ を読み取ることができるため、この準同型は単射である。

直交群 $\operatorname O(n)$ と特殊直交群 $\operatorname{SO}(n)$ に作用を制限すると、

\operatorname E(n)=\mathbb R^n\rtimes\operatorname O(n), \qquad \operatorname{SE}(n)=\mathbb R^n\rtimes\operatorname{SO}(n)

を得る。 $\operatorname E(n)$ は $\mathbb R^n$ のユークリッド等長変換全体の群であり、 $\operatorname{SE}(n)$ は向きを保つユークリッド等長変換全体の群である。

この同一視の逆向きも距離から確認することができる。全射等長写像 $f\colon\mathbb R^n\to\mathbb R^n$ に対し、 $v=f(0)$ 、 $g(x)=f(x)-v$ と置く。 $g(0)=0$ であり、分極公式から

\langle g(x),g(y)\rangle =\frac{\lVert g(x)\rVert^2+\lVert g(y)\rVert^2-\lVert g(x)-g(y)\rVert^2}{2} =\langle x,y\rangle

を得る。任意の $x,y,z\in\mathbb R^n$ に対して

\langle g(x+y)-g(x)-g(y),g(z)\rangle=0

であり、 $g$ は全射なので $g(x+y)=g(x)+g(y)$ となる。また、任意の $t\in\mathbb R$ と $x,z\in\mathbb R^n$ に対して

\langle g(tx)-tg(x),g(z)\rangle =\langle tx,z\rangle-t\langle x,z\rangle=0

である。再び $g$ の全射性を用いると $g(tx)=tg(x)$ となる。したがって $g$ は直交線形写像であり、 $f(x)=g(x)+v$ は上の形である。

例 6.2 (実直線上の無限二面体群). $C_2=\langle s\mid s^2=e\rangle$ を $\mathbb Z$ に

s\cdot m=-m

によって作用させる。この半直積を

D_\infty=\mathbb Z\rtimes C_2

と書く。 $\varepsilon,\delta\in\{0,1\}$ に対し、積は

(m,s^\varepsilon)(k,s^\delta) =\bigl(m+(-1)^\varepsilon k,s^{\varepsilon+\delta}\bigr)

である。

各元を実直線の等長変換

\Phi(m,s^\varepsilon)(x)=m+(-1)^\varepsilon x

に対応させる。合成を計算すると

\Phi(m,s^\varepsilon)\bigl(\Phi(k,s^\delta)(x)\bigr) =m+(-1)^\varepsilon k+(-1)^{\varepsilon+\delta}x

となるため、 $\Phi$ は準同型である。 $\Phi(m,e)(0)=m$ であり、 $\Phi(m,s)(0)=m$ かつ $\Phi(m,s)(1)=m-1$ であるから、異なる対は異なる等長変換を与える。したがって $\Phi$ は単射であり、 $D_\infty$ は整数平行移動 $x\mapsto x+1$ と鏡映 $x\mapsto-x$ が生成する実直線の等長変換群と同型である。

例 6.3 (外部作用の持上げだけでは半直積にならない).§E7.15 例 4.1 ( $C_4$ による非分裂拡大)の外部作用は $\operatorname{Aut}(C_2)$ へ持ち上がるが、この拡大は分裂しない。したがって、分裂拡大と半直積の同値により、この短完全列は両端を保つ半直積の標準短完全列と同型ではない。外部作用が持ち上がるという条件だけでは、半直積分解を結論することができない。

7 演習

問題 7.1.

半直積の逆元 $(n,h)^{-1}=(\alpha_{h^{-1}}(n^{-1}),h^{-1})$ を左右から掛けて確認せよ。
標準半直積で $i_N(N)\trianglelefteq N\rtimes_\alpha H$ となることを、共役を直接計算して示せ。
分裂拡大の証明で、各 $e\in E$ の表示 $e=\iota(n)s(q)$ が一意であることを示せ。
$C_3\rtimes C_2$ で反転作用を用いた場合と自明な作用を用いた場合について、得られる二群がそれぞれ非可換群とアーベル群になることを確かめよ。

解答 (演習の要点).

$u=\alpha_{h^{-1}}(n^{-1})$ と置くと、 $(n,h)(u,h^{-1}) =\bigl(n\alpha_h(\alpha_{h^{-1}}(n^{-1})),e_H\bigr) =(e_N,e_H)$ である。また、 $(u,h^{-1})(n,h) =\bigl(\alpha_{h^{-1}}(n^{-1})\alpha_{h^{-1}}(n),e_H\bigr) =(e_N,e_H)$ であるから、表示された元は両側逆元である。
$(n,h)\in N\rtimes_\alpha H$ 、 $m\in N$ とする。逆元の公式を用いると、 $\begin{aligned} (n,h)(m,e_H)(n,h)^{-1} &=(n\alpha_h(m),h) (\alpha_{h^{-1}}(n^{-1}),h^{-1})\\ &=(n\alpha_h(m)n^{-1},e_H)\in i_N(N). \end{aligned}$ したがって $i_N(N)\trianglelefteq N\rtimes_\alpha H$ である。
$\iota(n)s(q)=\iota(m)s(r)$ とする。両辺へ $\pi$ を適用すると $q=r$ である。右から $s(q)^{-1}=s(r)^{-1}$ を掛けると $\iota(n)=\iota(m)$ となり、 $\iota$ の単射性から $n=m$ を得る。したがって表示 $e=\iota(n)s(q)$ は一意である。
$C_3=\langle a\rangle$ 、 $C_2=\langle b\rangle$ とする。反転作用では $(e,b)(a,e)=(a^{-1},b),\qquad (a,e)(e,b)=(a,b)$ であり、 $a^{-1}\neq a$ なので群は非可換である。自明な作用では積が成分ごとの積となり、 $C_3\rtimes C_2=C_3\times C_2$ はアーベル群である。

▨

§E7.16半直積と分裂拡大

1 外部半直積の構成

2 標準部分群と短完全列

3 内部半直積

4 分裂拡大と半直積

5 自明な作用と二面体群

6 無限群の幾何学的な例

7 演習

参考文献

前提記事