习题 14, § 2

令 A 为环，M A-模，N 为 M 的原初直因子。令 $M =\bigoplus_{i\in I}M_i$ 为 M 到直和的分解，并令 $(p_i)_{i\in I}$ 为投影算子的相关族。证明存在一个$i\in I$使得$p_i$诱导同构从N到直因子$M_i$。