Trivial Ring from Abelian Group

From ProofWiki
Jump to navigation Jump to search

Theorem

An 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$


Sources