projective submodule free module projective variety projectivization algebra over a ring module preradical free abelian group comodule