2006-05-14 松村「可換環論」§12. Krull 環 book Krull 環の局所化は Krull 環. 正規 Noether 整域は Krull 環. Krull 環上の多項式環,形式的べき級数環は Krull 環. 体でない整域に対し,Dedekind 環 ⇔ 1 次元 Krull 環. 定理 11.6 では体も Dedekind 環に入れているが,定理 12.5 ではそうなっていない.