数学

「群」「群の単位元」「群の逆元」の定義定義（群）$G$ を空でない集合とする．$G$ 上に二項演算 $*$ （ $G \times G \to G$ ）が存在して次の（G1）〜（G3）を満たすとき，組 $(G, *)$ を群という．$\te...