定義（過去スレpart1の82の拡張）
K と L を可換体とし、K が L の部分体のとき K と L の対を L/K と書き(K の)拡大と呼ぶ。
L は K の拡大体または拡大と言う。