$G:$ 空でない集合.
$G$ 上の演算が定義されていて、
以下が成り立つとき、$G$を$群$という。

1. 単位元が存在する。
2. $\forall a \in G$ に対し、逆元が存在する。
3. 結合法則が成り立つ。