別に解析とか関係なく、現代数学の常識だと思うが。
素元分解の一意性が成立しないから、「素イデアル」というものが考えられた。
これは代数体の整数環の話だが、これさえもごく特殊な可換環に過ぎない。