Trivial Ring from Abelian Group

Theorem
Any abelian group $\left({G, +}\right)$ may be turned into a trivial ring by defining the ring product as being:


 * $\forall x, y \in G: x \circ y = e_G$

Proof
Follows directly from the definition of a trivial ring.