习题 24, § 2

令$M$为$A$模，$I$其单射包络（习题18），$a$为$A$和$Q$子模的$I$由……组成的双边理想$z \in I$这样那个$az = \{0\}$； $Q$ 具有天然的 $(A/a)$ 模块结构。令$N$为$x \in M$的$M$由……组成中的子模，使得$ax = \{0\}$；如果 $N$ 被视为 $(A/a)$ 模，则证明 $Q$ 同构于 $N$ 的单射包络。