# 群論入門：群の公理と、対称性を計算するための言葉 > 結合法則・単位元・逆元という三つの公理から群を定義し、整数の加法・剰余類・一般線形群・対称群を対比しながら、S3 の演算表・元の位数・巡回群までを証明付きで積み上げる。 > https://rikai.mugen-giken.com/mathematics/algebra/groups ## 0. この記事の要点 - 群とは、集合とその上の二項演算の組であって、**結合法則・単位元の存在・逆元の存在**という三つの条件だけを満たすものです。条件が三つしかないからこそ、整数の加法・行列の積・置換の合成・図形の対称操作が同じ言葉で扱えます。 - この三つから、単位元と逆元の**一意性**、**消約律**、$(ab)^{-1} = b^{-1}a^{-1}$ が導かれます。有限群の演算表は各行・各列にすべての元がちょうど一度ずつ現れる「ラテン方陣」になります。 - $(\mathbb{Z}, +)$ や $(\mathbb{R}\setminus\{0\}, \times)$ は可換ですが、対称群 $S_3$ や一般線形群 $GL(2,\mathbb{R})$ は**可換ではありません**。群論が豊かな理論になるのは、この非可換性のおかげです。 - $S_3$ の 6 個の元は正三角形の 3 個の回転と 3 本の鏡映に一対一に対応します。演算表を最後まで書き下すと、非可換性が目で見える形になります。 - 元 $a$ の位数とは $a^n = e$ となる最小の正整数 $n$ のことです。有限群ではすべての元が有限位数をもち、$a^m = e$ と「位数が $m$ を割る」ことは同値です。 - 1 個の元で生成される群を巡回群といい、巡回群は必ずアーベル群です。逆は成り立たず、位数 4 のアーベル群には巡回群でないもの（クラインの四元群）が存在します。 --- ## 1. 動機：方程式の「根の入れ替え」から抽象的な群へ 2 次方程式 $ax^2+bx+c=0$ の解の公式は誰でも知っています。3 次・4 次にも（複雑ですが）解の公式があります。では 5 次は。この問いに 200 年以上かけて出た答えが「四則演算と冪根だけを使った一般解の公式は存在しない」でした。 この結論に至る決定的な発想の転換をしたのがラグランジュです。彼は 1770 年代に、方程式の根 $\alpha_1, \ldots, \alpha_n$ の有理式が、根を**入れ替えたときに何個の値をとるか**を調べました。たとえば $\alpha_1+\alpha_2+\alpha_3$ はどう入れ替えても値が変わらず 1 個、$\alpha_1\alpha_2 + \alpha_3$ は入れ替え方によって 3 個の値をとります。解の公式が作れるかどうかは、この「入れ替えに対する振る舞い」で決まる、というのがラグランジュの洞察でした。 ここで主役になっているのは、根そのものではなく**根の入れ替え（置換）の全体**です。置換は続けて行えばまた置換になり、逆向きの置換もあり、何もしない置換もあります。ルフィニとアーベルは 5 次方程式の代数的非可解性を示し、ガロアは 1830 年前後に、方程式に対して置換の集まり（彼はこれを *groupe* と呼びました）を対応させ、その集まりの構造が可解性を完全に決定することを見抜きました。詳しくは [ガロア理論への招待](/mathematics/algebra/galois-theory) を参照してください。 その後ケイリーが 1854 年の論文で、置換という具体的な素材から離れ、「演算表が与えられた抽象的な集合」として群を定義しました。19 世紀末までに、現在教科書で見る公理の形に整理されます。抽象化の御利益は絶大でした。次の四つを見比べてください。 | 集合 | 演算 | 「何もしない」元 | 「戻す」元 | |---|---|---|---| | 整数 $\mathbb{Z}$ | 加法 $+$ | $0$ | $-a$ | | $0$ でない実数 | 乗法 $\times$ | $1$ | $1/a$ | | 正三角形の対称操作 | 続けて行う | 動かさない操作 | 逆向きの操作 | | 正則行列 | 行列の積 | 単位行列 $I$ | 逆行列 $A^{-1}$ | 素材はまったく違うのに、骨格が完全に一致しています。この骨格だけを取り出したものが群です。ですから「群を学ぶ」とは、この 4 行すべてに同時に通用する定理を証明することにほかなりません。この記事では公理と最初の例を固め、部分構造による分類は [部分群と剰余類](/mathematics/algebra/subgroups-and-lagrange)、構造を保つ写像による分類は [群の準同型定理](/mathematics/algebra/homomorphism-theorems) に引き継ぎます。 --- ## 2. 準備：二項演算と結合法則 集合と論理の記法は [数学の国語 - 集合と論理](/mathematics/foundations/sets-and-logic) の水準を仮定します。まず「演算」を写像として厳密に定義します。 集合 $G$ 上の**二項演算**とは、写像 $$ \mu : G \times G \longrightarrow G $$ のことをいいます。$\mu(a,b)$ を $a \cdot b$、あるいは単に $ab$ と書きます。 定義域が $G\times G$ で終域が $G$ である、と書いた時点で二つのことを要求しています。第一に、$G$ の**どの 2 元に対しても**値が定まること（部分的にしか定義されていない演算は二項演算ではありません）。第二に、その値が**再び $G$ に属する**こと。この第二の条件を「$G$ は演算について閉じている」といいます。たとえば奇数全体は加法について閉じていません（$1+1=2$ は奇数でない）から、奇数全体の上に「加法」という二項演算は存在しません。 三つ以上の元を演算するには括弧が要ります。$a\cdot b\cdot c$ は $(ab)c$ とも $a(bc)$ とも読めますが、この二つが常に一致するとは限りません。たとえば実数の減法では $(5-3)-1 = 1$、$5-(3-1)=3$ で一致しません。両者が常に一致することを**結合法則**といいます。結合法則を公理に入れるのは、単に便利だからではありません。群論の原型である「写像の合成」がこれを満たすからです。 集合 $X$ から $X$ への写像 $f, g, h$ に対して、$(f\circ g)\circ h = f\circ (g\circ h)$ が成り立ちます。 二つの写像が等しいとは、定義域のすべての元での値が等しいことです。任意の $x\in X$ をとると、合成の定義から $$ \bigl((f\circ g)\circ h\bigr)(x) = (f\circ g)\bigl(h(x)\bigr) = f\Bigl(g\bigl(h(x)\bigr)\Bigr) $$ であり、また $$ \bigl(f\circ (g\circ h)\bigr)(x) = f\bigl((g\circ h)(x)\bigr) = f\Bigl(g\bigl(h(x)\bigr)\Bigr) $$ です。どちらも $f(g(h(x)))$ に等しいので、すべての $x$ で値が一致します。したがって二つの写像は等しくなります。 結合法則が成り立てば、$a_1a_2\cdots a_n$ という積は括弧の付け方によらず定まります（$n$ に関する帰納法で示せます。[証明の技術](/mathematics/foundations/proof-techniques) の を使う典型例です）。以下ではこの事実を断りなく使い、括弧を省いて書きます。 --- ## 3. 群の定義と最初の帰結 集合 $G$ とその上の二項演算 $\cdot$ の組 $(G, \cdot)$ が**群**であるとは、次の三つが成り立つことをいいます。 - **(G1) 結合法則**：すべての $a, b, c \in G$ に対して $(ab)c = a(bc)$。 - **(G2) 単位元の存在**：ある $e \in G$ が存在して、すべての $a\in G$ に対して $ea = ae = a$。 - **(G3) 逆元の存在**：(G2) の $e$ に対し、すべての $a\in G$ に対して、ある $b\in G$ が存在して $ab = ba = e$。 さらに - **(G4) 可換法則**：すべての $a,b\in G$ に対して $ab = ba$ が成り立つとき、$G$ を**アーベル群**（可換群）といいます。$G$ が有限集合のとき $G$ を有限群といい、その元の個数 $|G|$ を $G$ の**位数**と呼びます。 公理は三つだけです。「単位元は一意」「逆元は一意」を公理に書いていないことに注意してください。書く必要がないからです。
B["半群（結合法則 G1 を追加）"] B --> C["モノイド（単位元 G2 を追加）"] C --> D["群（逆元 G3 を追加）"] D --> E["アーベル群（可換法則 G4 を追加）"]`} />
$(G,\cdot)$ を群とします。このとき次が成り立ちます。 1. 単位元は一意である。すなわち $e, e'$ がともに (G2) を満たすなら $e = e'$。 2. 各 $a\in G$ に対して (G3) を満たす $b$ は一意である。これを $a^{-1}$ と書く。 3. （消約律）$a, x, y \in G$ について、$ax = ay$ ならば $x = y$ であり、$xa = ya$ ならば $x=y$。 4. すべての $a, b\in G$ に対して $(a^{-1})^{-1} = a$ および $(ab)^{-1} = b^{-1}a^{-1}$。 **(1)** $e, e'$ をともに単位元とします。$e'$ が単位元であることを $a = e$ に適用すると $e e' = e$。一方、$e$ が単位元であることを $a = e'$ に適用すると $e e' = e'$。左辺が同じなので $e = e'$ です。ここで使ったのは (G2) を**両方の元について**適用したことだけです。 **(2)** $b, b'$ がともに $ab = ba = e$、$ab' = b'a = e$ を満たすとします。すると $$ b = be = b(ab') = (ba)b' = eb' = b' $$ です。1 番目の等号は (G2)、2 番目は $ab' = e$、3 番目は結合法則 (G1)、4 番目は $ba = e$、5 番目は再び (G2) を使いました。 **(3)** $ax = ay$ とします。(2) により $a$ の逆元 $a^{-1}$ が確定しているので、両辺に左から掛けて $$ x = ex = (a^{-1}a)x = a^{-1}(ax) = a^{-1}(ay) = (a^{-1}a)y = ey = y $$ を得ます。使ったのは (G2)、(G3)、(G1) です。$xa = ya$ のときは同様に右から $a^{-1}$ を掛けます。 **(4)** $a^{-1}a = a a^{-1} = e$ という等式は、そのまま「$a$ が $a^{-1}$ の逆元である」と読めます。逆元の一意性 (2) から $(a^{-1})^{-1} = a$ です。次に $$ (ab)(b^{-1}a^{-1}) = a\bigl(b(b^{-1}a^{-1})\bigr) = a\bigl((bb^{-1})a^{-1}\bigr) = a(ea^{-1}) = aa^{-1} = e $$ であり（(G1) を 2 回、(G3)、(G2) を使用）、同様に $$ (b^{-1}a^{-1})(ab) = b^{-1}\bigl((a^{-1}a)b\bigr) = b^{-1}(eb) = b^{-1}b = e $$ です。よって $b^{-1}a^{-1}$ は $ab$ の逆元であり、一意性 (2) から $(ab)^{-1} = b^{-1}a^{-1}$ となります。 (4) の順序が入れ替わることは重要です。「靴下を履いてから靴を履く」の逆操作は「靴を脱いでから靴下を脱ぐ」であって、順序が反転します。 $G = \{g_1, \ldots, g_n\}$ を有限群とし、$(i,j)$ 成分が $g_ig_j$ であるような $n\times n$ の表（演算表、ケイリー表）を作ります。このとき各行にも各列にも、$G$ のすべての元がちょうど一度ずつ現れます。 $g\in G$ を固定し、写像 $\lambda_g : G\to G$ を $\lambda_g(x) = gx$ で定めます。$\lambda_{g^{-1}}$ との合成を計算すると、任意の $x$ について $$ \lambda_{g^{-1}}\bigl(\lambda_g(x)\bigr) = g^{-1}(gx) = (g^{-1}g)x = ex = x $$ であり（(G1)、(G3)、(G2) を使用）、同様に $\lambda_g(\lambda_{g^{-1}}(x)) = x$ です。よって $\lambda_g$ は全単射で、逆写像は $\lambda_{g^{-1}}$ です。演算表の第 $i$ 行に並ぶ元は $\lambda_{g_i}(g_1), \ldots, \lambda_{g_i}(g_n)$ ですから、全単射の像として $G$ の全元がちょうど一度ずつ現れます。列については $\rho_g(x) = xg$ に対して同じ議論をします。 この系は実用的です。群の演算表を作ったとき、同じ行に同じ元が 2 回現れたら、どこかで計算を間違えています。 --- ## 4. 例のカタログ：可換な群、可換でない群 公理だけ眺めていても群はわかりません。例と非例を並べます。 **群になるもの。** - $(\mathbb{Z}, +)$、$(\mathbb{Q},+)$、$(\mathbb{R},+)$、$(\mathbb{C},+)$：単位元は $0$、$a$ の逆元は $-a$。いずれもアーベル群です。 - $(\mathbb{Q}\setminus\{0\}, \times)$、$(\mathbb{R}\setminus\{0\},\times)$、$(\mathbb{C}\setminus\{0\},\times)$：単位元は $1$、$a$ の逆元は $1/a$。$0$ を除いておかないと $0$ の逆元がなく (G3) が破れます。アーベル群です。 - $(\mathbb{R}_{>0}, \times)$：正の実数全体。積で閉じており、$a>0$ なら $1/a>0$ なので逆元も中に残ります。 - 体 $K$ 上のベクトル空間 $V$ は、加法についてアーベル群です（[ベクトル空間と線形変換](/mathematics/linear-algebra/vector-spaces) の のうち加法に関する部分が、そのまま (G1)〜(G4) です）。 **群にならないもの。** - $(\mathbb{N}, +)$（$\mathbb{N} = \{1,2,\ldots\}$）：単位元 $0$ が入っていません。$0$ を付け加えても、$1$ の逆元 $-1$ が入らないので (G3) が破れます。 - $(\mathbb{Z}\setminus\{0\}, \times)$：結合法則も単位元 $1$ もありますが、$2$ の逆元は $1/2 \notin \mathbb{Z}$ なので存在しません。 - $(\mathbb{R}, -)$（減法）：$(5-3)-1 = 1 \ne 3 = 5-(3-1)$ なので (G1) が破れます。 次の例は、有限群の最も基本的な供給源です。同値関係と商集合の扱いは [関係と同値関係](/mathematics/foundations/equivalence-relations) に従います。 $n$ を正の整数とします。整数 $a, b$ が $n$ を法として合同であるとは $n \mid a-b$ が成り立つことで、$a\equiv b \pmod n$ と書きます。これは $\mathbb{Z}$ 上の同値関係であり（）、$a$ の同値類を $[a] = \{a + kn : k\in\mathbb{Z}\}$、同値類全体を $\mathbb{Z}/n\mathbb{Z}$ と書きます。$\mathbb{Z}/n\mathbb{Z} = \{[0],[1],\ldots,[n-1]\}$ で、元の個数は $n$ 個です。 **加法の定義が意味をもつことの確認。** $[a]+[b] := [a+b]$ と定めたいのですが、$[a]$ の代表元の取り方に答えが依存しては困ります。$[a]=[a']$ かつ $[b]=[b']$ とすると、$n \mid a-a'$ かつ $n\mid b-b'$ です。したがって $$ (a+b)-(a'+b') = (a-a') + (b-b') $$ も $n$ で割り切れ、$[a+b] = [a'+b']$ が従います。これで加法が矛盾なく定義できました。 **群であることの確認。** 結合法則は $([a]+[b])+[c] = [(a+b)+c] = [a+(b+c)] = [a]+([b]+[c])$ で、整数の加法の結合法則に帰着します。単位元は $[0]$、$[a]$ の逆元は $[-a]$ です。$[a]+[b]=[a+b]=[b+a]=[b]+[a]$ なのでアーベル群です。位数 $n$ の有限アーベル群 $(\mathbb{Z}/n\mathbb{Z}, +)$ が得られました。 **乗法群。** 乗法 $[a][b] := [ab]$ も同じ議論で矛盾なく定義できます。ただし $\mathbb{Z}/n\mathbb{Z}$ 全体は乗法について群になりません（$[0]$ に逆元がない）。$[a]$ が乗法逆元をもつのは $\gcd(a,n)=1$ のとき、かつそのときに限ります。実際、$\gcd(a,n)=1$ ならベズーの等式により $ax+ny=1$ となる整数 $x,y$ があり、$[a][x]=[1-ny]=[1]$ です。逆に $[a][x]=[1]$ なら $ax-1 = ny$ と書けて、$\gcd(a,n)$ は $ax-ny=1$ の左辺を割るので $1$ です。そこで $$ (\mathbb{Z}/n\mathbb{Z})^{\times} := \{[a] : \gcd(a,n)=1\} $$ とおくと、これは乗法についてアーベル群になります（積で閉じることは、$\gcd(a,n)=\gcd(b,n)=1$ なら $\gcd(ab,n)=1$ から従います）。たとえば $n=8$ のとき $(\mathbb{Z}/8\mathbb{Z})^\times = \{[1],[3],[5],[7]\}$ で位数は 4 です。 ここまではすべて可換でした。可換でない例に移ります。 $2$ 次実正方行列で $\det A \ne 0$ となるもの全体を $GL(2,\mathbb{R})$ と書き、演算を行列の積とします。 - **閉じていること**：$\det(AB) = \det A \cdot \det B$（[行列式とその性質](/mathematics/linear-algebra/determinants) の ）なので、$\det A\ne 0$ かつ $\det B \ne 0$ なら $\det(AB)\ne 0$ です。 - **(G1)**：行列の積は線形写像の合成に対応する（[行列と連立一次方程式](/mathematics/linear-algebra/matrices-and-linear-systems) の ）ので、 から結合法則が従います。成分計算でも確認できます。 - **(G2)**：単位行列 $I$。 - **(G3)**：$A = \begin{pmatrix} p & q \\ r & s\end{pmatrix}$、$\det A = ps-qr \ne 0$ のとき $$ A^{-1} = \frac{1}{ps-qr}\begin{pmatrix} s & -q \\ -r & p \end{pmatrix} $$ が逆行列で、$\det(A^{-1}) = 1/\det A \ne 0$ なのでこれも $GL(2,\mathbb{R})$ の元です。 **可換でないこと。** $A = \begin{pmatrix}1&1\\0&1\end{pmatrix}$、$B = \begin{pmatrix}1&0\\1&1\end{pmatrix}$ とおくと（どちらも行列式は $1$）、 $$ AB = \begin{pmatrix}1&1\\0&1\end{pmatrix}\begin{pmatrix}1&0\\1&1\end{pmatrix} = \begin{pmatrix}2&1\\1&1\end{pmatrix}, \qquad BA = \begin{pmatrix}1&0\\1&1\end{pmatrix}\begin{pmatrix}1&1\\0&1\end{pmatrix} = \begin{pmatrix}1&1\\1&2\end{pmatrix} $$ となり $AB \ne BA$ です。したがって $GL(2,\mathbb{R})$ はアーベル群ではありません。 なお、$2$ 次実正方行列**全体** $M_2(\mathbb{R})$ は積について群になりません。零行列 $O$ は $\det O = 0$ で、$OX = I$ となる $X$ が存在しないからです。「正則なものだけを集める」という操作が (G3) を成立させています。 可換な群だけを考えるなら、群論はかなり早く終わってしまいます（有限アーベル群は巡回群の直積に分解する、という定理でほぼ尽きます）。実際の数学に現れる対称性――方程式の根の置換、空間の回転、結晶の対称操作――はほとんど非可換です。回転と鏡映は順序を変えると結果が変わりますし、ルービックキューブの二つの操作も交換しません。非可換性は不都合な例外ではなく、群論が扱いたい本体です。 --- ## 5. 対称群と正三角形の対称性 最後に、そして最も重要な例として、集合の「並べ替え」がつくる群を作ります。 $X$ を空でない集合とし、$X$ から $X$ への全単射全体の集合を $\operatorname{Sym}(X)$ と書きます。このとき $\operatorname{Sym}(X)$ は写像の合成 $\circ$ について群になります。 **演算が閉じていること。** $f, g \in \operatorname{Sym}(X)$ とします。$f\circ g$ が単射であることは、$(f\circ g)(x) = (f\circ g)(y)$ すなわち $f(g(x)) = f(g(y))$ から、$f$ の単射性で $g(x)=g(y)$、$g$ の単射性で $x = y$ と従います。全射であることは、任意の $z\in X$ に対し $f$ の全射性から $f(y)=z$ なる $y$ が、$g$ の全射性から $g(x)=y$ なる $x$ がとれて $(f\circ g)(x) = z$ となることからわかります。よって $f\circ g\in\operatorname{Sym}(X)$ です。 **(G1)**： がそのまま適用できます。 **(G2)**：恒等写像 $\mathrm{id}_X$ は全単射で、任意の $f$ と任意の $x$ について $(\mathrm{id}_X\circ f)(x) = f(x)$、$(f\circ \mathrm{id}_X)(x) = f(x)$ なので $\mathrm{id}_X\circ f = f\circ\mathrm{id}_X = f$ です。 **(G3)**：$f$ が全単射なら逆写像 $f^{-1}$ が存在し、これも全単射です（$f^{-1}$ の逆写像が $f$ だからです）。定義より $f\circ f^{-1} = f^{-1}\circ f = \mathrm{id}_X$ です。 $X = \{1,2,\ldots,n\}$ のとき $\operatorname{Sym}(X)$ を $n$ 次**対称群**といい $S_n$ と書きます。その元を**置換**と呼びます。置換 $\sigma$ は $$ \sigma = \begin{pmatrix} 1 & 2 & \cdots & n \\ \sigma(1) & \sigma(2) & \cdots & \sigma(n)\end{pmatrix} $$ と書くほか、$i_1 \mapsto i_2 \mapsto \cdots \mapsto i_k \mapsto i_1$ と巡回し、他を動かさない置換を $(i_1\, i_2\, \cdots\, i_k)$ と書きます（**巡回置換**、長さ $k$）。長さ 2 の巡回置換 $(i\ j)$ を**互換**といいます。 $n$ を正の整数とします。 1. $|S_n| = n!$。 2. $n \ge 3$ ならば $S_n$ はアーベル群ではない。 **(1)** $n$ に関する帰納法で示します。$n=1$ のとき $S_1$ は恒等写像だけからなり $|S_1| = 1 = 1!$ です。$n\ge 2$ とし、$|S_{n-1}| = (n-1)!$ を仮定します。$S_n$ の元を $\sigma(n)$ の値で分類します。$\sigma(n)$ のとりうる値は $1,\ldots,n$ の $n$ 通りです。$k$ を固定し、$A_k = \{\sigma\in S_n : \sigma(n) = k\}$ とおきます。互換 $\tau_k = (k\ n)$（$k=n$ のときは恒等写像）を用いて写像 $A_k \to A_n$、$\sigma\mapsto \tau_k\sigma$ を作ると、$(\tau_k\sigma)(n) = \tau_k(k) = n$ なので確かに像は $A_n$ に入ります。$\tau_k\tau_k = \mathrm{id}$ なので、$\rho\mapsto\tau_k\rho$ がこの写像の逆写像を与え、$A_k$ と $A_n$ は同じ個数の元をもちます。一方 $A_n$ は $n$ を固定する置換全体、すなわち $\{1,\ldots,n-1\}$ 上の全単射全体と同一視でき、帰納法の仮定から $|A_n| = (n-1)!$ です。$A_1,\ldots,A_n$ は互いに交わらず、その和集合は $S_n$ 全体なので $$ |S_n| = \sum_{k=1}^{n} |A_k| = n\cdot (n-1)! = n! $$ となります。 **(2)** $n\ge 3$ とし、$\sigma = (1\ 2)$、$\tau = (2\ 3)$ を $S_n$ の元と見ます（$4$ 以上の数は動かしません）。すると $$ (\sigma\tau)(1) = \sigma(\tau(1)) = \sigma(1) = 2, \qquad (\tau\sigma)(1) = \tau(\sigma(1)) = \tau(2) = 3 $$ です。$1$ での値が異なるので $\sigma\tau \ne \tau\sigma$ であり、(G4) は成り立ちません。 ### 5.1. 3 次対称群の演算表 $n=3$ の場合を完全に書き下します。 より $|S_3| = 3! = 6$ です。次のように名前を付けます。 $$ e = \mathrm{id},\quad r = (1\,2\,3),\quad r^2 = (1\,3\,2),\quad a = (2\,3),\quad b = (1\,3),\quad c = (1\,2) $$ $r^2$ が $(1\,3\,2)$ であることは確認しておきます。$r$ は $1\mapsto 2\mapsto 3\mapsto 1$ なので、$r^2(1) = r(r(1)) = r(2) = 3$、$r^2(3) = r(r(3)) = r(1) = 2$、$r^2(2) = r(3) = 1$。つまり $1\mapsto 3\mapsto 2\mapsto 1$ で、これは $(1\,3\,2)$ です。同様に $r^3 = e$ が確かめられます。 代表として $ra$ を計算します。まず $a=(2\,3)$ を施し、次に $r$ を施します。 $$ \begin{aligned} 1 &\xmapsto{\ a\ } 1 \xmapsto{\ r\ } 2, \\ 2 &\xmapsto{\ a\ } 3 \xmapsto{\ r\ } 1, \\ 3 &\xmapsto{\ a\ } 2 \xmapsto{\ r\ } 3. \end{aligned} $$ よって $ra$ は $1\mapsto 2$、$2\mapsto 1$、$3\mapsto 3$、すなわち $ra = (1\,2) = c$ です。同じ要領で $ar$ を計算すると、$1\xmapsto{r}2\xmapsto{a}3$、$2\xmapsto{r}3\xmapsto{a}2$、$3\xmapsto{r}1\xmapsto{a}1$ なので $ar = (1\,3) = b$ となります。**$ra = c$ と $ar = b$ は異なるので、$S_3$ は可換ではありません。** すべての積を同じ手順で計算すると、次の表を得ます。$(i,j)$ 成分は「行の元 $\cdot$ 列の元」（行の元をあとから施す）です。 | $\cdot$ | $e$ | $r$ | $r^2$ | $a$ | $b$ | $c$ | |---|---|---|---|---|---|---| | $e$ | $e$ | $r$ | $r^2$ | $a$ | $b$ | $c$ | | $r$ | $r$ | $r^2$ | $e$ | $c$ | $a$ | $b$ | | $r^2$ | $r^2$ | $e$ | $r$ | $b$ | $c$ | $a$ | | $a$ | $a$ | $b$ | $c$ | $e$ | $r$ | $r^2$ | | $b$ | $b$ | $c$ | $a$ | $r^2$ | $e$ | $r$ | | $c$ | $c$ | $a$ | $b$ | $r$ | $r^2$ | $e$ | **検算。** の主張どおり、どの行にも、どの列にも $e, r, r^2, a, b, c$ がちょうど一度ずつ現れています。たとえば第 $b$ 行は $b, c, a, r^2, e, r$ で 6 元すべてが並び、第 $a$ 列は $a, c, b, e, r^2, r$ でやはり 6 元すべてです。 **非可換性の確認。** 表は対角線に関して対称ではありません。$(r,a)$ 成分は $c$、$(a,r)$ 成分は $b$ です。一般に $\{e,r,r^2\}$ の元と $\{a,b,c\}$ の元は交換しません。 **部分的な可換性。** 一方、左上の $3\times 3$ の部分（$e, r, r^2$ どうしの積）は対称です。この 3 元は $\{e, r, r^2\}$ の中で閉じており、それ自身が位数 3 の可換な群をなします。これが「部分群」の最初の例で、[部分群と剰余類](/mathematics/algebra/subgroups-and-lagrange) で本格的に扱います。 ### 5.2. 正三角形の対称性としての読み替え $S_3$ には幾何的な意味があります。正三角形の頂点に $1,2,3$ と番号を振り、三角形を三角形に重ねる合同変換（対称操作）を考えます。対称操作は頂点集合の並べ替えを引き起こすので、$S_3$ の元が対応します。逆に、6 個の並べ替えはすべて実際の対称操作から来ています。
1 2 3 r (2 3) (1 3) (1 2)
対応は次のとおりです。 | $S_3$ の元 | 巡回置換 | 幾何的な操作 | |---|---|---| | $e$ | — | 動かさない | | $r$ | $(1\,2\,3)$ | 中心のまわりに $120^\circ$ 回転 | | $r^2$ | $(1\,3\,2)$ | 中心のまわりに $240^\circ$ 回転 | | $a$ | $(2\,3)$ | 頂点 1 を通る軸に関する鏡映 | | $b$ | $(1\,3)$ | 頂点 2 を通る軸に関する鏡映 | | $c$ | $(1\,2)$ | 頂点 3 を通る軸に関する鏡映 | $ra = c$ という等式は、「頂点 1 の軸で裏返してから $120^\circ$ 回す」と「頂点 3 の軸で裏返す」が同じ操作である、という幾何的事実を述べています。$ar = b$ は順序を変えると別の鏡映になることを示しています。抽象的な演算表と、手元で三角形を動かした結果が一致することを確かめてみてください。この群は正三角形の二面体群 $D_3$ とも呼ばれます。 --- ## 6. 元の位数と巡回群 群の元 $a$ を「何度も掛ける」ことを考えます。まず冪を定義します。$a^0 := e$、$n \ge 1$ に対して $a^{n} := a^{n-1}a$、そして $a^{-n} := (a^{-1})^{n}$ と定めます。この定義のもとで、すべての整数 $m, n$ について $$ a^{m+n} = a^m a^n, \qquad (a^m)^n = a^{mn} $$ が成り立ちます（$m,n\ge 0$ の場合は $n$ に関する帰納法、負の指数の場合は の (4) を使って場合分けします）。以下ではこれらを自由に使います。 群 $G$ の元 $a$ に対し、$a^n = e$ を満たす正の整数 $n$ が存在するとき、そのような $n$ の最小値を $a$ の**位数**といい $\operatorname{ord}(a)$ と書きます。そのような $n$ が存在しないとき、$a$ の位数は無限であるといい $\operatorname{ord}(a) = \infty$ と書きます。 $\operatorname{ord}(a) = 1$ となるのは $a = e$ のときだけです（$a^1 = a = e$ だから）。位数 2 の元とは $a \ne e$ かつ $a^2 = e$、すなわち $a^{-1} = a$ を満たす元のことです。$S_3$ の鏡映 $a, b, c$ がこれにあたります。 $G$ を有限群、$a\in G$ とします。このとき $\operatorname{ord}(a)$ は有限であり、$\operatorname{ord}(a)\le |G|$ が成り立ちます。 $|G| = N$ とおき、$N+1$ 個の元 $a^0, a^1, a^2, \ldots, a^{N}$ を考えます。これらはすべて $G$ の元ですが、$G$ の元は $N$ 個しかありません。鳩の巣原理により、$0\le i < j \le N$ となる添字で $a^i = a^j$ となるものが存在します。両辺に $(a^{i})^{-1} = a^{-i}$ を左から掛けると、指数法則から $$ e = a^{-i}a^{i} = a^{-i}a^{j} = a^{j-i} $$ です（消約律 の (3) を使ったと見ることもできます）。ここで $1 \le j-i \le N$ ですから、$a^n = e$ となる正の整数が実際に存在し、その最小値 $\operatorname{ord}(a)$ は $j-i \le N = |G|$ 以下です。 $G$ を群、$a\in G$ とし、$\operatorname{ord}(a) = n$ が有限であるとします。このとき、整数 $m$ について $$ a^m = e \iff n \mid m $$ が成り立ちます。 **($\Leftarrow$)** $n\mid m$ とすると $m = nq$ となる整数 $q$ があり、指数法則から $a^m = (a^n)^q = e^q = e$ です（$e^q = e$ は $q\ge 0$ なら帰納法で、$q<0$ なら $e^{-1}=e$ から従います）。 **($\Rightarrow$)** $a^m = e$ とします。整数の除法定理により、$m = qn + s$、$0\le s < n$ となる整数 $q, s$ が一意に存在します。すると $$ e = a^m = a^{qn+s} = (a^n)^q a^s = e^q a^s = a^s $$ です。もし $s > 0$ なら、$a^s = e$ かつ $0 < s < n$ となり、$n = \operatorname{ord}(a)$ が「$a^k = e$ となる最小の正整数」であることに矛盾します。よって $s = 0$、すなわち $m = qn$ で $n\mid m$ です。 この定理は「$a^{100} = e$ かどうか」を「位数が $100$ を割るかどうか」という整数の問題に置き換えます。位数 6 の群では、あとで学ぶラグランジュの定理の系（）により元の位数は $1,2,3,6$ のいずれかに限られ、計算が一気に楽になります。 群 $G$ の元 $a$ に対し $$ \langle a\rangle := \{a^k : k \in \mathbb{Z}\} $$ とおき、$a$ が**生成する**集合と呼びます。これは $G$ の演算について閉じており（$a^ia^j = a^{i+j}$）、$e = a^0$ を含み、$a^k$ の逆元 $a^{-k}$ を含むので、それ自身が群になります。ある元 $a$ について $G = \langle a\rangle$ となるとき、$G$ を**巡回群**といい、$a$ をその**生成元**といいます。 $G$ を群、$a\in G$ とします。 1. $\operatorname{ord}(a) = n$ が有限ならば $\langle a\rangle = \{e, a, a^2, \ldots, a^{n-1}\}$ であり、これら $n$ 個の元は互いに異なる。とくに $|\langle a\rangle| = \operatorname{ord}(a)$。 2. $\operatorname{ord}(a) = \infty$ ならば、$i \ne j$ なる整数に対して $a^i \ne a^j$ であり、$\langle a\rangle$ は無限集合である。 3. 巡回群はアーベル群である。 **(1)** 任意の整数 $k$ に対し、除法定理から $k = qn+s$、$0\le s の証明と同じ計算で $a^k = (a^n)^qa^s = a^s$ です。したがって $\langle a\rangle \subseteq \{e,a,\ldots,a^{n-1}\}$ です。逆の包含は、各 $s = 0,1,\ldots,n-1$ に対して $a^s$ が定義の $k = s$ の場合そのものであることから従います。よって等号が成り立ちます。次に $0\le i0$ なので $a$ は有限位数をもち、仮定に反します。よってすべての冪は相異なり、$\langle a\rangle$ は $\mathbb{Z}$ と同じ濃度の無限集合です。 **(3)** $G = \langle a\rangle$ とします。任意の 2 元は $a^i, a^j$ と書けて、指数法則と整数の加法の可換性から $$ a^ia^j = a^{i+j} = a^{j+i} = a^ja^i $$ です。よって (G4) が成り立ちます。 対偶をとると、**非可換な群は巡回群ではない**とわかります。 より $S_3$ は非可換ですから、$S_3$ は巡回群ではありません。実際、$S_3$ のどの元をとっても、その冪だけで 6 元全部を作ることはできません。次の例で確認します。 **$S_3$ の場合。** の表を使って各元の位数を求めます。 - $e$：$e^1 = e$ なので $\operatorname{ord}(e) = 1$。 - $r$：$r^2 \ne e$ であり、$r^3 = r^2\cdot r$ で表の $(r^2, r)$ 成分は $e$ です。よって $\operatorname{ord}(r) = 3$。同様に $\operatorname{ord}(r^2) = 3$（$(r^2)^2 = r$、$(r^2)^3 = e$）。 - $a$：表の $(a,a)$ 成分は $e$ なので $a^2 = e$、$a\ne e$ より $\operatorname{ord}(a) = 2$。$b, c$ も同様に位数 2。 したがって位数は $1,3,3,2,2,2$ です。最大でも 3 で、$|S_3| = 6$ に届きません。 の (1) より $|\langle x\rangle| = \operatorname{ord}(x) \le 3 < 6$ なので、どの $x$ をとっても $\langle x\rangle \ne S_3$、すなわち $S_3$ は巡回群ではありません。なお $\langle r\rangle = \{e,r,r^2\}$、$\langle a\rangle = \{e,a\}$ です。 **$\mathbb{Z}/12\mathbb{Z}$ の場合。** 加法群なので冪は $m[k] = [mk]$ と書きます。$d = \gcd(k,12)$ とおくと $$ \operatorname{ord}([k]) = \frac{12}{d} $$ です。理由を書きます。$m[k] = [0]$ は $12 \mid mk$ と同値です。$12 = d\cdot(12/d)$、$k = d\cdot(k/d)$ と書けるので、$12\mid mk$ は $(12/d) \mid m(k/d)$ と同値です。ここで $\gcd(12/d, k/d) = 1$ ですから、これは $(12/d)\mid m$ と同値になります。その最小の正整数 $m$ は $12/d$ です。実際に計算すると次の表になります。 | $k$ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | |---|---|---|---|---|---|---|---|---|---|---|---|---| | $\gcd(k,12)$ | 12 | 1 | 2 | 3 | 4 | 1 | 6 | 1 | 4 | 3 | 2 | 1 | | $\operatorname{ord}([k])$ | 1 | 12 | 6 | 4 | 3 | 12 | 2 | 12 | 3 | 4 | 6 | 12 | 位数 12 の元は $[1],[5],[7],[11]$ の 4 個で、これらが生成元です。たとえば $\langle [5]\rangle$ は $[5],[10],[3],[8],[1],[6],[11],[4],[9],[2],[7],[0]$ と 12 個すべてを巡り、$\mathbb{Z}/12\mathbb{Z}$ 全体に一致します。生成元は $12$ と互いに素な $k$ に対応し、その個数はオイラー関数 $\varphi(12) = 4$ です。 位数が同じでも群としては違う、という現象の最小の例を見ます。 **$\mathbb{Z}/4\mathbb{Z}$。** と同じ計算により、$\operatorname{ord}([1]) = 4$ です。よって $\langle [1]\rangle$ は 4 個の元をもち、$\mathbb{Z}/4\mathbb{Z}$ 全体に一致します。これは巡回群です。 **$(\mathbb{Z}/8\mathbb{Z})^\times = \{[1],[3],[5],[7]\}$。** で見たとおり、これは位数 4 の群です。各元の 2 乗を計算します。 $$ 3^2 = 9 = 8+1,\qquad 5^2 = 25 = 3\cdot 8 + 1, \qquad 7^2 = 49 = 6\cdot 8+1 $$ なので、$[3]^2 = [5]^2 = [7]^2 = [1]$ です。つまり単位元以外の 3 元はすべて位数 2 で、位数 4 の元が存在しません。 の (1) により $|\langle x\rangle| = \operatorname{ord}(x)\le 2 < 4$ なので、この群は巡回群ではありません。この群を**クラインの四元群**といいます。演算表は次のとおりです。 | $\cdot$ | $[1]$ | $[3]$ | $[5]$ | $[7]$ | |---|---|---|---|---| | $[1]$ | $[1]$ | $[3]$ | $[5]$ | $[7]$ | | $[3]$ | $[3]$ | $[1]$ | $[7]$ | $[5]$ | | $[5]$ | $[5]$ | $[7]$ | $[1]$ | $[3]$ | | $[7]$ | $[7]$ | $[5]$ | $[3]$ | $[1]$ | （たとえば $3\cdot 5 = 15 = 8+7$ なので $[3][5] = [7]$ です。表は対角線対称で、アーベル群であることが読み取れます。） 位数 4 のアーベル群が 2 種類あることになります。「2 種類ある」と言い切るには、$\mathbb{Z}/4\mathbb{Z}$ とクラインの四元群が本質的に違うことを定式化しなければなりません。それが**同型**の概念（）で、[群の準同型定理](/mathematics/algebra/homomorphism-theorems) の主題です。ここでは「位数 4 の元があるかないか」という、名前の付け替えでは変わらない性質が両者を区別している、と理解しておいてください。 ここまでで、群の公理・基本性質・代表的な例・位数と巡回群がそろいました。次の段階では、群の中に含まれる小さな群（部分群）で全体を割る操作を学びます。[部分群と剰余類](/mathematics/algebra/subgroups-and-lagrange) では「部分群の位数は全体の位数を割る」というラグランジュの定理を証明し、[正規部分群と商群](/mathematics/algebra/quotient-groups) では剰余類の集合自身に群構造を入れます（）。さらに、演算を一つでなく二つ（加法と乗法）もつ対象を扱うと [環と体の基礎](/mathematics/algebra/rings-and-fields) に進みます。$\mathbb{Z}/n\mathbb{Z}$ が加法群としても乗法をもつ対象としても現れたのは、その予告です。 --- ## 7. 演習 群 $G$ のすべての元 $x$ が $x^2 = e$ を満たすとします。このとき $G$ はアーベル群であることを示してください。 まず、任意の $x\in G$ について $x^2 = e$ は $xx = e$ と書けるので、逆元の定義から $x^{-1} = x$ です（逆元の一意性 の (2) により、$x$ 以外に逆元はありません）。 任意の $a,b\in G$ をとります。$ab\in G$ にもこの性質が適用できるので $(ab)^{-1} = ab$ です。一方 の (4) から $(ab)^{-1} = b^{-1}a^{-1}$ であり、いま示したことから $b^{-1} = b$、$a^{-1} = a$ です。よって $$ ab = (ab)^{-1} = b^{-1}a^{-1} = ba $$ となり、(G4) が成り立ちます。したがって $G$ はアーベル群です。 （クラインの四元群 はこの条件を満たす例です。逆に $\mathbb{Z}/4\mathbb{Z}$ では $[1]+[1] = [2]\ne [0]$ なので条件を満たしません。） の演算表を使って、$S_3$ のすべての元 $x$ について $xax^{-1}$ を計算してください（$a = (2\,3)$）。結果から何が言えますか。 まず各元の逆元を表から読み取ります。$e^{-1}=e$、$r^{-1} = r^2$（$rr^2 = e$）、$(r^2)^{-1} = r$、$a^{-1}=a$、$b^{-1}=b$、$c^{-1}=c$ です。 - $x = e$：$eae^{-1} = a$。 - $x = r$：$rar^{-1} = (ra)r^2$。表より $ra = c$、続いて $(c, r^2)$ 成分は $b$ なので、$rar^{-1} = b$。 - $x = r^2$：$(r^2)^{-1} = r$ なので $r^2a(r^2)^{-1} = (r^2a)r$。表より $r^2a = b$、$(b,r)$ 成分は $c$ なので、$r^2a(r^2)^{-1} = c$。 - $x = a$：$aaa^{-1} = a$（$aa = e$ より $ea = a$）。 - $x = b$：$bab^{-1} = (ba)b$。表より $ba = r^2$、$(r^2, b)$ 成分は $c$ なので、$bab^{-1} = c$。 - $x = c$：$cac^{-1} = (ca)c$。表より $ca = r$、$(r,c)$ 成分は $b$ なので、$cac^{-1} = b$。 結果は $a, b, c$ のいずれかで、$\{a,b,c\}$ の外には出ません。すなわち鏡映全体の集合 $\{a,b,c\}$ は「$g \mapsto xgx^{-1}$」という操作（共役）で閉じています。$a$ の位数は 2 でしたが、得られた $b, c$ の位数も 2 です。これは偶然ではなく、$x a x^{-1}$ の $k$ 乗が $(xax^{-1})^k = xa^kx^{-1}$ となるため、共役は位数を保つからです。共役という操作は [正規部分群と商群](/mathematics/algebra/quotient-groups) で中心的な役割を果たします。 $GL(2,\mathbb{R})$ の元 $$ A = \begin{pmatrix} 0 & -1 \\ 1 & 0\end{pmatrix}, \qquad B = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} $$ について、$\operatorname{ord}(A)$ と $\operatorname{ord}(B)$ を求めてください。 どちらも行列式が $1$ なので $GL(2,\mathbb{R})$ の元です。 **$A$ について。** 順に計算します。 $$ A^2 = \begin{pmatrix} 0 & -1 \\ 1 & 0\end{pmatrix}\begin{pmatrix} 0 & -1 \\ 1 & 0\end{pmatrix} = \begin{pmatrix} -1 & 0 \\ 0 & -1\end{pmatrix} = -I $$ です。よって $A^3 = A^2A = -A \ne I$、$A^4 = (A^2)^2 = (-I)^2 = I$ です。$A\ne I$、$A^2 = -I \ne I$、$A^3 = -A\ne I$、$A^4 = I$ なので $\operatorname{ord}(A) = 4$ です。（$A$ は原点まわりの $90^\circ$ 回転を表す行列で、4 回まわすと元に戻る、という幾何的な意味と一致します。） **$B$ について。** すべての正の整数 $n$ について $$ B^n = \begin{pmatrix} 1 & n \\ 0 & 1\end{pmatrix} $$ を $n$ に関する帰納法で示します。$n=1$ は定義そのものです。$B^n$ が上の形と仮定すると $$ B^{n+1} = B^nB = \begin{pmatrix}1 & n\\ 0 & 1\end{pmatrix}\begin{pmatrix}1&1\\0&1\end{pmatrix} = \begin{pmatrix}1 & n+1 \\ 0 & 1\end{pmatrix} $$ となり、主張が従います。したがって $n\ge 1$ では $(1,2)$ 成分が $n \ne 0$ なので $B^n \ne I$ です。よって $\operatorname{ord}(B) = \infty$ です。 この演習は、 の「有限群」という仮定が落とせないことを示しています。無限群 $GL(2,\mathbb{R})$ の中には、有限位数の元と無限位数の元が同居しています。 $G$ を空でない**有限**集合とし、$G$ 上に結合法則を満たす二項演算が与えられていて、さらに両側の消約律 $$ ax = ay \Rightarrow x = y, \qquad xa = ya \Rightarrow x = y \qquad (a,x,y\in G) $$ が成り立つとします。このとき $G$ は群であることを示してください。また、$G$ が無限集合ならこの主張が成り立たないことを、反例で示してください。 **単位元の存在。** $a\in G$ を一つ固定します。写像 $\lambda_a : G\to G$、$\lambda_a(x) = ax$ は、左消約律よりただちに単射です。$G$ は有限集合で $\lambda_a$ は $G$ から $G$ への写像ですから、単射なら全射でもあります。同様に $\rho_a(x) = xa$ も全単射です。 $\lambda_a$ が全射なので、$ae = a$ となる $e\in G$ がとれます。この $e$ が右単位元であることを示します。任意の $b\in G$ に対し、$\rho_a$ が全射なので $b = ya$ となる $y\in G$ があります。すると結合法則から $$ be = (ya)e = y(ae) = ya = b $$ です。よって $e$ はすべての元に対する右単位元です。同じ議論を $\rho_a$ の全射性から出発して行うと、$e'a = a$ なる $e'$ がとれ、$\lambda_a$ の全射性を使って $e'b = b$ がすべての $b$ で成り立つとわかります。そこで $b = e$ とすると $e'e = e$、一方 $e$ が右単位元であることを $e'$ に適用すると $e'e = e'$ です。よって $e = e'$ となり、$e$ は両側単位元です。 **逆元の存在。** $a\in G$ をとります。$\lambda_a$ が全射なので $ab = e$ となる $b$ が、$\rho_a$ が全射なので $ca = e$ となる $c$ が存在します。すると $$ c = ce = c(ab) = (ca)b = eb = b $$ です（1 番目は $e$ が右単位元、2 番目は $ab=e$、3 番目は結合法則、4 番目は $ca=e$、5 番目は $e$ が左単位元）。よって $b = c$ は $a$ の両側逆元です。結合法則は仮定にあるので、(G1)(G2)(G3) がそろい $G$ は群です。 **無限の場合の反例。** $\mathbb{N} = \{1,2,3,\ldots\}$ に加法を入れます。結合法則は成り立ち、$a+x = a+y$ からも $x+a = y+a$ からも $x=y$ が従うので両側消約律も成り立ちます。しかし $n + e = n$ となる $e\in\mathbb{N}$ は $e=0$ しかなく、$0\notin\mathbb{N}$ なので単位元が存在せず、$\mathbb{N}$ は群ではありません。証明のどこで有限性を使ったかを振り返ると、「単射なら全射」という一点だけです。無限集合ではこの推論が使えません（$x\mapsto x+1$ は $\mathbb{N}$ 上で単射ですが全射ではありません）。 --- ## 参考文献 - 松坂和夫『代数系入門』岩波書店、1976 — 第 2 章「群」。群の公理から準同型定理までを、例を丁寧に添えて進める定番の入門書です。 - 雪江明彦『代数学 1 群論入門』日本評論社、2010 — 第 1 章・第 2 章。対称群と具体的な有限群の計算が豊富です。 - 桂利行『代数学 I 群と環』東京大学出版会、2004 — 第 1 章。簡潔で、線形代数との接続が明快です。 - Michael Artin, *Algebra*, 2nd ed., Pearson, 2011 — Chapter 2 "Groups"。行列群と対称性を軸に群論を組み立てる構成で、$GL(n,\mathbb{R})$ の扱いが充実しています。 - Joseph J. Rotman, *An Introduction to the Theory of Groups*, 4th ed., Springer (GTM 148), 1995 — Chapter 1–2。置換群の詳細な取り扱いがあります。 - Arthur Cayley, "On the theory of groups, as depending on the symbolic equation $\theta^n = 1$", *Philosophical Magazine* (4th series) 7 (1854) — 抽象群の定義と演算表が初めて現れた原論文です。 --- ## Appendix: 群の公理はどこまで弱められるか **片側だけの公理で十分か。** では単位元にも逆元にも「両側」を要求しました。実はこれは冗長で、片側だけを仮定しても、それが**左どうし**（あるいは右どうし）でそろっていれば群になります。 空でない集合 $G$ 上の二項演算が結合法則 (G1) を満たし、さらに - (G2') ある $e\in G$ が存在して、すべての $a\in G$ に対し $ea = a$（左単位元） - (G3') 各 $a\in G$ に対し、ある $a'\in G$ が存在して $a'a = e$（左逆元） を満たすとします。このとき $(G,\cdot)$ は群です。 $a\in G$ をとり、(G3') により $a'a = e$ なる $a'$ を、さらに $a'$ に対して (G3') を適用して $a''a' = e$ なる $a''$ をとります。 まず $aa' = e$ を示します。 $$ aa' = e(aa') = (a''a')(aa') = a''\bigl((a'a)a'\bigr) = a''(ea') = a''a' = e $$ です。1 番目の等号は (G2')、2 番目は $a''a'=e$、3 番目は結合法則 (G1) による括弧の付け替え、4 番目は $a'a = e$、5 番目は (G2')、6 番目は $a''a'=e$ です。これで $a'$ は $a$ の右逆元でもあるとわかりました。 次に $ae = a$ を示します。いま示した $aa' = e$ と (G3') の $a'a=e$ を使って $$ ae = a(a'a) = (aa')a = ea = a $$ です（(G1) と (G2') を使用）。よって $e$ は右単位元でもあります。以上で (G2)(G3) がそろい、$G$ は群です。 **左右を混ぜてはいけません。** 「左単位元 + 右逆元」に弱めると主張は崩れます。$|G|\ge 2$ の集合 $G$ に演算 $x\cdot y := y$（右側を返す）を入れてみます。結合法則は $(xy)z = z$、$x(yz) = z$ で成立します。任意の $u\in G$ が左単位元です（$u\cdot x = x$）。$e\in G$ を一つ固定すると、任意の $a$ に対し $a\cdot e = e$ なので、$e$ を左単位元と見れば各元は右逆元 $e$ をもちます。しかしこの $G$ は群ではありません。もし群なら消約律 の (3) が成り立つはずですが、$x \ne y$ なる 2 元をとると $x\cdot e = e = y\cdot e$ なのに $x \ne y$ で、右消約律が破れています。公理を弱めるときは、単位元と逆元の「側」をそろえる必要があります。 **なぜ教科書は両側で書くのか。** があるにもかかわらず両側の形で定義するのは、具体的な群を扱うときに両側の等式をそのまま使いたいからです。定義を弱くすると、検証すべき項目は減りますが、使うときに毎回この命題を経由することになります。逆に、ある集合が群であることを**証明する**場面では、 によって手間が半分になります。