A near-ring is a ring if and only if multiplication also distributes over addition on the left. (It follows then that addition is commutative).
This is not true! Take a nonabelian group (G, +) and define the multiplication trivially, i.e. x•y = 0 for all x,y ε G. Then • is commutative and distributive over +, but (G, +, •) is not a ring. 18.104.22.168 00:47, 11 April 2007 (UTC)