定義
A と B を可換環とする。
A が B の部分環のとき A と B の対を B/A と書き（A の）拡大と呼ぶ。
B は A の拡大環または拡大と言う。