We solve one of the main problems of the theory of representable equiv
alences of module categories: we prove that every -module over an arb
itrary associative ring R with unit is finitely generated. Consequentl
y, we obtain the equality of the classes of all -modules and all quas
i-progenerators provided that R is commutative. (C) 1994 Academic Pres
s, Inc.