可換群
任意の集合
$ A
と
$ A
上の
二項演算
$ *:A\times A\to A
にて、以下を満たす組
$ (A,*)
を
可換群
と呼ぶ
1.
$ (A,*)
が
monoid
をなす
2.
逆元
の存在：
$ \forall a\in A\exist a_\mathrm{inv}\in A; a*a_\mathrm{inv}=1_A
$ 1_A
：monoid
$ (A,*)
の
両側単位元
3.
交換律
の成立：
$ \forall a,b\in A; a*b=b*a
References
https://ja.m.wikipedia.org/wiki/モノイド
#2024-10-22
18:17:13