Bourbaki

习题 3, 附录 0

标签 03GZ,永久不变。引用为 [Bourbaki, Tag 03GZ]。

集合论, I, 60

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

令 E 为集合,并令 ff 为 E 中 E×EE \times E 的映射(“合成的内部律”)。令S为符号的集合,即E的不相交的并和单个元素ff的集合由……组成。将 n(f)=1n(f) = 1 和 n(x)=0n(x) = 0 放入所有 x∈Ex \in E。

(a) 令 M 为集合 / 有意义字 / L0(S)L_0(S)。证明 M 有唯一映射 vv 到 E 满足以下条件 : (1) v(x)=xv(x) = x 对于所有 x∈Ex \in E; (2) 如果AA和BB是两个有意义字,则v(fAB)=f(v(A),v(B))v(fAB) = f(v(A), v(B))。

(b) 对于L0(S)L_0(S)中的每个字A=(si)0⩽i⩽nA = (s_i)_{0 \leqslant i \leqslant n},令A∗A^*为字(sik)(s_{i_k}),其中iki_k为指标ii,使得si≠fs_i \neq f按升序排列序。如果A∗=B∗A^* = B^*,则称L0(S)L_0(S)中的两个字AA、BB相似。证明如果合成 ff 的律是结合律,即,如果

f(f(x,y),z)=f(x,f(y,z)),f(f(x, y), z) = f(x, f(y, z)),

那么当AA和BB相似有意义字时v(A)=v(B)v(A) = v(B)(“结合性的一般定理”)。 (显着字

A=(si)0⩽i⩽2nA = (s_i)_{0 \leqslant i \leqslant 2n}

如果 i=0,2,4,…,2n−2i = 0, 2, 4, \ldots, 2n - 2 为 si=fs_i = f,其他指标为 si≠fs_i \neq f,则据说是正常的。证明每个显着的字都与唯一的法线字 A′A' 相似,并证明 v(A)=v(A′)v(A) = v(A') 与归纳在 AA 的长度上。)

解答

尚未写出解答。

被以下引用

引用了

无。

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