习题 22, § 11

标签 0696，永久不变。引用为 [Bourbaki, Tag 0696]。

代数, III, 652

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 E 为有序集合，其中每个区间 $[a, b]$ 都是有限的。令 S 为 $E \times E$ 由……组成的有序对 $(x, y)$ 的子集，使得 $x \leq y$ 。证明 S 的元素的形式线性组合的A-模 $A^{(S)}$ 上定义了一个共结合余代数结构，取余积

c((x, y)) = \sum_{x \leq z \leq y} (x, z) \otimes (z, y).

对于这个余代数线性形式 $\gamma$ 这样

\gamma((x, y)) = 0 \quad \text{if} \quad x \neq y \text{ in } E, \qquad \gamma((x, x)) = 1

是余单位。

解答

尚未写出解答。

被以下引用

无。

无。