今回は を環の拡大として, が 上整としたとき, が において単元なら において単元であることを示します. まずは少し定義を述べます. 定義 1. を環の拡大とする. が 上整とは, がある 係数モニック多項式の根になることである. の任意の元が 上整なら が 上整…