の有限次代数拡大体 L のことを代数体と言うが、このとき、L の中で の整閉包 R を考えると、これは Dedekind 環となることが知られている。これを L の整数環と言う。 L の整数環 R の二つのイデアル I , J について が成り立つとき と定義する。これは明ら…