デデキント環
単項イデアル整域はデデキント環である。
K を有理数体 Q の有限次拡大体とすると、K の整数環 OK (K における Z の整閉包)はデデキント環である。