群の定義

今回は群についてかく。 とりあえず、群の定義をする。 定義(群) $G$ を集合とする。 $G$ に対して、$2$ 項演算 $f:G\times G\to G$ が定まっているとする。 $f(a,b)=ab$ 書く。 $(G,f)$ が群である $ \begin{align} \overset{\mathrm{def}…