ネーター環
をネーター環とし， を のイデアルとする．このとき は準素イデアルへのむだのない準素分解をもつ：