习题 3, § 5
标签 06E0，永久不变。引用为 [Bourbaki, Tag 06E0]。
代数, IV, p. 93
Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。
令 k 为交换环且 E K-模。证明在代数 Γ(E) ⊗_k Γ(E) 中存在代数 Γ(E) (习题 2) 的唯一同态 A，使得
对于所有 x ∈ E 和所有 p ∈ N。证明余积 A 是共结合、共交换的 (III, p. 580-581) 和定义在 Γ(E) 上是分级大数结构 (III, p. 585)。证明习题 2, c) 中定义的同态 ε 是余单位。
解答
尚未写出解答。