群の定義と例 - 数学の世界地図.net（マプマス）

このページでは，代数学における群の定義と例を紹介します．

群の定義

まずは群の定義から確認します．

定義：群

集合 $G$ が1つの二項演算 $*$ をもち，それが次の性質を満たすとき， $G$ は群であるという．

（結合法則）　$(a*b)*c=a*(b*c)$
（単位元の存在）　ある $e\in G$ という特別な元が存在し，任意の元 $a\in G$ に対して， $a*e=e*a=a$
この $e$ のことを，$G$ の単位元という．
（逆元の存在）　任意の元 $a\in G$ それぞれに応じて，ある $a^{-1}\in G$ が存在して， $a*a^{-1}=a^{-1}*a=e$
この $a^{-1}$ を，$a$ の逆元という．

続いて，群の例を見ていきましょう．

例：整数全体のなす群

$G=\mathbb{Z}$ （整数全体の集合）， $*$ を $+$ （整数の加法）とします．すると，$G$ はこの演算で群となります．実際，

例：有理数，実数，複素数全体のなす群

$G=\mathbb{Q}$ （有理数全体の集合）や$G=\mathbb{R}$ （実数全体の集合），$G=\mathbb{C}$ （複素数全体の集合）などとして，$*$ を $+$ （通常の加法）とすると，いずれの場合も， $G$ はこの演算で群となります．理由は整数の場合と全く同じです．

例：0 以外の有理数がなす群

$G=\mathbb{Q}\setminus \{0\} $ （ $0$ 以外の有理数全体の集合）として，$*$ を $\times $ （通常の乗法）とすると， $G$ は群となります．実際，

結合法則 $(a\times b) \times c= a\times (b\times c)$
単位元は， $e=1$ です．すなわち整数 $1$ は，あらゆる $a\in G$ に対して， $a\times 1=1\times a=a$ を満たします．
$a$ の逆元は，$\frac{1}{a}$ です．すなわち，$\frac{1}{a}$ は $a$ に対して，$a\times \frac{1}{a}= \frac{1}{a} \times a =1$ という性質を満たします．

この群 $G$ は，$\mathbb{Q}^\times $ と書かれ，$\mathbb{Q}$ の乗法群（単元群）といいます．

同様に，$\mathbb{R}^\times = \mathbb{R}\setminus \{0\} $ や $\mathbb{C}^\times = \mathbb{C}\setminus \{0\} $ なども通常の乗法で群となります．

このほかの例としては，行列にまつわる群が挙げられます．それに関しては，別のページでまとめています（準備中）