Noether's theorem
準素分解は可換ネーター環上の有限生成加群に一般化し，この結果はラスカー・ネーターの定理と呼ばれる．