# Trivial Ring from Abelian Group

## Theorem

Any abelian group $\struct {G, +}$ may be turned into a trivial ring by defining the ring product to be:

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

## Proof

Follows directly from the definition of a trivial ring.

$\blacksquare$