有限生成自由模

finitely generated flat module finitely generated module finitely generated extension finitely generated projective modulus finitely generated field finitely generated group free module module generated energy generated code generated time finitely generated free modules finitely generated projective modules finitely generated left ideal finitely generated ring finitely generated abelian group finitely generated right ideal finitely generated ideal finitely generated extension field