ネーター環
同値な主張は：ネーター環上の任意の有限生成加群は coprimary 加群の有限個の積に含まれる．