補題
A をネーター環とし、m をその極大イデアル、
M を有限生成 A-加群とする。
m ∈ Ass(M) であるためには、Hom(A/m,M) ≠ 0 であることが
必要十分である。

証明
前スレ１の93より、m ∈ Ass(M) であるためには
A-加群としての単射 A/m → M が存在することが必要十分である。
m は極大イデアルだから、これは Hom(A/m,M) ≠ 0 と同値である。
証明終