Bourbaki

习题 12, § 8

标签 01KW,永久不变。引用为 [Bourbaki, Tag 01KW]。

李群与李代数, VIII, 251

Bourbaki marks this one as harder than the rest.

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

a) 设 λ,μ∈h∗\lambda , \mu\in \mathfrak{h}^*。从Z(μ)Z(\mu)到Z(λ)Z(\lambda )的每个非零g\mathfrak{g}同态都是单射的。 (使用no. 6的第6条命题。) b) 设Nr,m=\mathbf{N}^r,m=卡(A)的r∈N,Ar\in \mathbf{N}, A有限子集。对于所有ξ∈Nr\xi \in \mathbf{N}^r,令s(ξ)s(\xi )为ξ\xi坐标的和,以及整数≥0\geq 0的家庭(nα)α∈A(n_{\alpha})_{\alpha\in A}的PA(ξ)\mathfrak{P}_A(\xi )数,使得ξ=∑α∈Anαα\xi =\sum_{\alpha\in A}n_{\alpha}\alpha。然后 PA(ξ)≤(s(ξ)+1)m\mathfrak{P}_A(\xi )\leq (s(\xi ) + 1)^m 代表所有 ξ∈Nr\xi \in \mathbf{N}^r。 (m.m.由归纳争论)

c) 设 λ,μ∈h∗\lambda , \mu\in \mathfrak{h}^*。 显示那个昏暗的坎g(Z(μ),Z(λ))≤1_{\mathfrak{g}}(Z(\mu),Z(\lambda ))\leq 1。 (令φ1\varphi_1和φ2\varphi_2是从Z(μ)Z(\mu)到Z(λ)Z(\lambda )的非零g\mathfrak{g}同态。 如果 Im(φ1\varphi_1) == Im(φ2\varphi_2),φ1,\varphi_1 和 φ2\varphi_2 与 §6 的命题 1 (iii) 线性相关。 假设 Im(φ1\varphi_1)≠\not= Im(φ2\varphi_2)。 如果 Z(μ)Z(\mu) 是简单的,和 Im(φ1\varphi_1) ++ Im(φ2\varphi_2) 是直接的;对所有ξ∈h∗\xi \in \mathfrak{h}^*推出P(ξ+λ−μ)≥2P(ξ)\mathfrak{P}(\xi +\lambda -\mu)\geq 2\mathfrak{P}(\xi ),与bb矛盾)。 一般情况下,使用Exerc。 11.)

当暗坎g(Z(μ),Z(λ))=1_{\mathfrak{g}}(Z(\mu),Z(\lambda )) = 1时,滥用记号写Z(μ)⊂Z(λ)Z(\mu)\subset Z(\lambda )。 d) 设 ν∈h∗\nu \in \mathfrak{h}^*。 λ∈h∗\lambda \in \mathfrak{h}^*的集合,使得Z(λ−ν)⊂Z(λ)Z(\lambda -\nu )\subset Z(\lambda )在Zariski 拓扑中的h∗\mathfrak{h}^*闭合。

解答

尚未写出解答。

被以下引用

无。

引用了

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