Difference between revisions of "Zero ring"
(this is slightly less silly than the zero module) |
(No difference)
|
Revision as of 09:19, 14 August 2009
A zero ring is a ring with one element, 0 (equal to 1), with the additive and multiplicative structure of the trivial group. Technically speaking, there are infinitely many zero rings (one for each possible element "0"), but they are all trivially isomorphic, so by abuse of language we may refer to the zero ring.
Proposition. If 
is a ring in which 
, then is a trivial
ring.
Proof. For any 
, we have
![\[x = 1 \cdot x = 0 \cdot x = 0 . \qquad \blacksquare\]](http://latex.artofproblemsolving.com/9/2/c/92c9c85a1132aaccf464f6772d17663a4204ef64.png)
In the category of rings, the zero ring is an initial object. However, it is not a terminal object: in fact, the only rings with homomorphisms into the trivial rings are themselves trivial, as we require ring homomorphisms to preserve 0 and 1.
Note that by convention there is no "trivial field" or "zero field", as we usually require 0 and 1 to be distinct in fields.
