Skip to main content
Post Made Community Wiki
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

Here's a proposal for a proof, though I can't finish it.

  • A morphism in a category is a regular epimorphism if it coequalizes some pair of morphisms.
  • An object $P$ in a category is projective if $\mathrm{Hom}(P,X)\to \mathrm{Hom}(P,Y)$ is surjective for every regular epimorphism $X\to Y$.
  • An object $K$ in a category is compact if $\mathrm{Hom}(K,-)$ takes filtered colimits to filtered colimits of sets.
  • An object $X$ in a category is irreducible if the only retracts of $X$ are itself and the initial object.

A self-equivalence of a category will preserve the these conditions.

Claim: $\mathbb{Z}[x]$ is (up to isomorphism) the unique irreducible compact projective in commutative rings.

What I do know (I think):

  • Regular epis in $\mathrm{Rings}$ are exactly the surjective ring homomorphisms.
  • Compact objects in $\mathrm{Rings}$ are exactly the finitely presented rings.

Since polynomial rings are certainly projective, this means that the compact projective objects in $\mathrm{Rings}$ are precisely the retracts of the $\mathbb{Z}[x_1,\dots,x_n]$s.

My intuition is that retracts of a polynomial ring are always isomorphic to a polynomial ring. In which case $\mathbb{Z}[x]$ would be the only irreducible compact projective. But I could be completely wrong about that.