nLab
Ring

Context

Algebra

Category theory

The category RingRing or rings

Definition

Ring is the category of rings (with unit) and ring homomorphisms (that preserve the unit).

A ring is a monoid in Ab, where AbAb is the category of abelian groups. So, RingRing is an example of a category of internal monoids.

Properties

Epi/Monomorphisms

Every surjective homomorphism of rings is an epimorphism in RingRing, but not every epimorphism is surjective.

A counterexample is the defining inclusion \mathbb{Z} \hookrightarrow \mathbb{Q} of the ring of integers into the ring of rational numbers. This is an injective epimorphism of rings.

For more see for instance at Stacks Project, 10.106 Epimorphisms of rings.

References

category: category

Revised on May 7, 2017 05:15:47 by Urs Schreiber (92.218.150.85)