13C10 - Commutative rings and algebras :: Theory of modules and ideals :: Projective and free modules and ideals