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