整数環の拡大環となる体は有理数体を部分体とする.