PlanetPhysics/Proper Generator Theorem

From Wikiversity
Jump to navigation Jump to search

\begin{theorem} Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category. \end{theorem}