 The additive group of a ring is the ring equipped just with the structure of addition.Although the definition assumes that the additive group is abelian, this can be inferred from the other ring axioms.The proof makes use of the "1", so does not work in a rng.