ring-finite integral extensions are module-finite
Theorem If is a subring of and are integral over , then is module-finite over .
Proof.If then , so spans over .
If , use induction on and multiply the spanning sets together.
数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。