Noether's theorem
上記の例では素元分解の一意性が満足されないが、イデアルを考えれば一意的なイデアル分解が得られる。ラスカー-ネーターの定理も参照。