Bourbaki

习题 12, § 2

标签 05ZO,永久不变。引用为 [Bourbaki, Tag 05ZO]。

代数, III, 621

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

令 I 为非空集合。证明自由岩浆M(I)M(I)的元素可以用序列(ai)1≤i≤n(a_i)_{1 \leq i \leq n}(nn任意整数≥1\geq 1)来识别,其中aia_i要么是I的元素,要么是特殊符号P(代表“开放”)括号”),其中序列满足以下条件:

(i) 序列中的长度nn等于其中出现的符号P的两倍数加1。

(iii) 对于所有k≤n−1k \leq n - 1,出现在子序列(ai)1≤i≤k(a_i)_{1 \leq i \leq k}中的符号P的数是≥k/2\geq k/2。

(使用集合理论,I,附录与M(I)M(I)的每个序列(ai)(a_i)元素关联;对于例,到序列PPPxyzPxy对应字((xy)z)(xy)((xy)z)(xy))。)

解答

尚未写出解答。

被以下引用

无。

引用了

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