习题 1, § 21
标签 00OA,永久不变。引用为 [Bourbaki, Tag 00OA]。
代数, VIII, p. 424
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
设 A 为有限指标的 G 的交换环、G 群和 H 子群。假设 A 的元素 是可逆的。设 M 为 A[G]-模,N 为 M 的 A[G]-子模。证明,如果 N 在 M 中接纳一个补充 A[H]子模,则它在 M 中接纳一个补充 A[G]-子模(适应 VIII、p. 401 的定理 1 的证明)。推断出投影的 A[G] 模与 A[H] 模一样也是投影的。
解答
尚未写出解答。