习题 18, § 1
标签 0AMZ,永久不变。引用为 [Bourbaki, Tag 0AMZ]。
李群与李代数, IV
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 为公寓(练习 15)。 的折叠是的自同态,使得,并且使得的每个室在0或2个室的下是像。
a) 设是的折叠,是的一个室,这样。对于的任何相邻房间,或;如果我们有。证明,如果 是一个画廊,则所有 的 或 都不是最小的(事实上有两个连续的相等的室)。推断任何四肢在下不变的最小画廊在下不变。如果是一个最小画廊,并且如果,则存在指标和,使得代表,代表。
b) 令和是两个不同的相邻室,是的两个折叠。假设和。令为一个腔室,并考虑以下三个条件:
证明 并推断出三个条件是等价的。 Show that (resp. ) is the unique folding of taking (resp.
C₁)到C₁(分别为C₂)(假设满足(2),并让(C₁,C₂',...,Cₙ' = C)成为一个最小画廊:表明π'(C'_{j+1}) 是与 π'(C'_j) 和包含面板 π'(C'_j ∩ C'_{j+1})) 不同的独特室。证明 A 的集合 的 π() 和 π'() 形式划分以及对于所有 a ∈ π(A) ∩ π'(A) π(a) = π'(a) = a。证明从 A 到自身的映射重合与 π' 在 π(A) 上以及 π 在 π'(A) 上是 A 的对合自同构。称为相对于面板 C₁ ∩ CΜ 的反射。证明它是 A 中唯一非平凡的自同构,且 C₁ ∩ Cι 的所有点保持固定(使用练习 15 b))。
c) 假设 A 是与 Coxeter 系统 (W, S) 关联的公寓,并保留 Exerc 的记号。 16. 令C₁和C₂为两个相邻的室,并令t为T的元素,使得壁L_t是C₁∩C2的支撑。令 M_j 为由 L_t 和包含 C_j 确定的 A 的一半(对于 j = 1, 2)。证明映射 π 由 π(a) = a 定义,如果 a ∈ M₁,并且 π(a) = t(a) 如果 a ∈ M2 是 A 的折叠,使得 π(C₂) = C₁ 并且相对于面板 C₁ ∩ C₂ 的反射为映射a↦t(a)。
解答
尚未写出解答。