设 R 是 交换幺环, M,N,P 是R模。徐明曜 抽象代数2的P48上 写有序列 0 --> N --> M --> P --> 0 是正合列 当且仅当 P 同构于商模 M/N。“仅当”很容易证明。请问“当”的部分怎么做?也就是问,当 N 同构于 M 的某个子模,且 P 和 M/N 同构时,如何证明1) 同态 N --> M 为单2) 同态 M --> P 为满3) Im(N-->M) = Ker(M-->P)?