RinGs

A Ring is a commutative group under an operation +,

along with an associative operation * with unit element 1,

such that multiplication distributes over addition.

Why not define some of the simpler terminology here and used in other mathematical articles? Would be interesting to wikify an entire mathematico-deductive system of definitions in this way. -- LarrySanger