突然想起，可能是这个意思：含幺环
幺元：如果A中的一个元素e，它既是左幺元又是右幺元，则称e为A中关于运算☆的幺元。
显然，对任一x ∈ A，有 e ☆ x = x ☆ e = x
环
设是具有两个二元运算△ 和*的代数系统，如果适合:
① 是交换群(阿贝尔群)；
②
③运算☆对运算△是可分配的，即：
a ☆ (b △ c) = (a ☆ b) △ (a ☆ c)
(b △ c) ☆ a = (b ☆ a) △ (c ☆ a)
则称
含幺环：
如果
设 V=
设V=
(x☆y)☆z = x☆(y☆z)
则称V为半群。
内容全部来源于网络收集，如有侵权，请联系网站删除：QQ：24596024