Definition:Additive Group of Ring