nLab
CRing

Context

Algebra

Category theory

The category CRingCRing

Definition

CRingCRing is the category of commutative rings and ring homomorphisms.

A commutative ring is a commutative monoid object in Ab, so CRing=CMon(Ab)CRing = CMon(Ab) is the category of commutative monoids in abelian groups.

The opposite category CRing opCRing^{op} is the category of affine schemes.

Properties

Epi/Monomorphisms

Every surjective homomorphism of commutative rings is an epimorphism in CRingCRing, 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.

Cocartesian co-monoidal structure

Proposition

The coproduct in CRingCRing is given by the underlying tensor product of abelian groups, equipped with its canonically induced commutative ring structure.

By this general proposition discussed at category of commutative monoids.

Remark

Prop. 1 means that tensor product of commutative rings exhibits cartesian monoidal category structure on the opposite category CRing opCRing^{op}.

Generalizations

References

category: category

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