Ring theory MOC

Zero ring

The zero ring 0 is the unique rng structure on the trivial group {0}, #m/def/ring and is thus also a ring.¹ It is initial and terminal in 𝖱𝗇𝗀, while it is only terminal in 𝖱𝗂𝗇𝗀, since the codomain of a ring homomorphism from the zero ring must itself be the zero ring.²

#state/tidy | #lang/en | #SemBr