proper generator theorem ProperGeneratorTheorem 2009-05-03 14:10:44 2009-05-03 14:13:42 Theorem proper generator theorem,GrothendieckCategory,commutative ring, commutative ring proper generator theorem GrothendieckCategory commutative ring proper generator theorem,GrothendieckCategory,commutative ring, \begin{theorem} Any commutative ring is the endomorphism ring of a proper generator in a suitably chosen Grothendieck category. \end{theorem}