习题 17, § 1 标签 0AMY，永久不变。引用为 [Bourbaki, Tag 0AMY]。 李群与李代数, IV Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。 我们保留 Exerc 的记号。 16 并假设 WWW 是有限的。令H\mathfrak{H}H为AAA的墙的集合。对于任何H∈HH \in \mathfrak{H}H∈H，我们将由HHH包含CCC确定的AAA的一半H+H^+H+相关联。证明H\mathfrak{H}H的元素可以这样编号，使得映射j↦⋂i≤jHi+j \mapsto \bigcap_{i \leq j} H_i^+j↦⋂i≤jHi+在区间[1,Card(H)][1, \operatorname{Card}(\mathfrak{H})][1,Card(H)]上是严格递减。 （考虑按包含排序的集合 H+H^+H+ 交 F\mathfrak{F}F，并考虑最大长度 F\mathfrak{F}F 元素严格递减序列 (F0,…,Fq)(F_0, \ldots, F_q)(F0,…,Fq)。对于任何H∈HH \in \mathfrak{H}H∈H，存在iii，使得H+⊃FjH^+ \supset F_jH+⊃Fj代表j≥ij \geq ij≥i和H+⊅Fi−1H^+ \not\supset F_{i-1}H+⊃Fi−1：表明Fi=H+∩Fi−1F_i = H^+ \cap F_{i-1}Fi=H+∩Fi−1。） 解答 尚未写出解答。 被以下引用 无。 引用了 Exerc. 16