整拡大
可換環論において、可換環 B とその部分環 A について、B の元 b が A 係数のモニック多項式の根であるとき、b は A 上整である(integral over A)という。B のすべての元が A 上整であるとき、B は A 上整である、または、B は A の整拡大(integral extension)であるという。 本記事において、環とは単位元をもつ可換環のこととする。