Abelian group
在环和半环之间的区别是加法只产生交换幺半群，而不必然是阿贝尔群。