I know the definition of "module of finite type"
Is that different from finitely generated module ?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.Sign up to join this community
This term is sometimes used to mean a finitely generated module. That is to say, if someone says ``an $R$-module of finite type," he or she definitely means finitely generated as a module. I think that nowadays it is more common to say "finitely generated $R$-module," or, especially in commutative algebra, "finite $R$-module." I prefer this terminology. Of course the latter could lead to confusion in principle, but not usually in practice. In the contexts of $R$-algebras, an $R$-algebra of finite type is definitely not the same thing as an $R$-algebra that is finitely generated as an $R$-module (often just called a finite $R$-algebra).
finite type means finitely generated $R$- algebra
finite means finitely generated $R$-module
so in Atiyah-Macdonald's famous book this proposition