M[i+1] が M[i] の極大部分加群ならその商加群は単純加群、すなわち0と自分自身しか部分加群を持たない。
一方でNを単純加群、x∈Nを0でない元とするとxRはNの0でない部分加群だからN全体に一致。
この時p={r∈R | xr=0}とおく時NはR/pに同型でpは極大イデアル。