群の定義は?

最終更新日: 2022-12-29

二項演算の定義

写像 $f: G \times G \to G ; \ \ a,b \mapsto a \cdot b$ を $G$ 上の二項演算という。これを二項演算 $\cdot$ と書くとする。

群の定義

集合 $G$ に二項演算 $\cdot$ が与えられて以下を満たすとき、$G$ は群であるという。

参考文献