Noether's theorem
有理整数環 の場合には，ラスカー・ネーターの定理は算術の基本定理に同値である．整数 が素因数分解 formula_5 を持てば， で生成されるイデアルの準素分解は