半群
设 S S S是一个非空集，在 S S S上存在一个二元运算记为“ · ”（乘法）,即对任意 x , y ∈ S x,y\in S x,y∈S，总存在唯一的元 x ⋅ y ∈ S x · y\in S x⋅y∈S与之对应，又该乘法适合结合律，则称S是一个半群
交换半群
一个半群的乘法如果适合交换律，则称这个半群为交换半群。
幺半群
如果在一个半群
S
S
S中存在一个元素
e
e
e，使对一切
a
∈
S
a\in S
a∈S，均有
e
a
=
a
e
=
a
ea=ae=a
ea=ae=a
则称
e
e
e是
S
S
S的幺元（或恒等元，单位元），这样的半群成为幺半群
群
一个幺半群
G
G
G(幺元为
e
e
e)如果似乎和下列条件则称为群：对
G
G
G中任意元
a
a
a，均存在
a
′
a'
a′，使
a
′
a
=
a
a
′
=
e
a'a=aa'=e
a′a=aa′=e
元素
a
′
a'
a′ 称为
a
a
a 的逆元，记为
a
−
1
a^{-1}
a−1
交换群/Abel群/加法群
群 G G G 的运算若适合交换律，则称之为交换群
总结
- 封闭性 + 结合律 = 半群
- 封闭性 + 结合律 + 交换律 = 交换半群
- 封闭性 + 结合律 + 幺元 = 幺半群
- 封闭性 + 结合律 + 幺元 + 逆元 = 群
- 封闭性 + 结合律 + 幺元 + 逆元 + 交换律 = A b e l Abel Abel群
2万+
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
