Abelian group
定义的任何两个元素乘运算为0，任何阿贝尔群可以变成一个零环。这使证明任何阿贝尔群添加乘运算变成环更严格化了。