Bourbaki marks this one as harder than the rest.
a) 设 λ,μ∈h∗。从Z(μ)到Z(λ)的每个非零g同态都是单射的。 (使用no. 6的第6条命题。) b) 设Nr,m=卡(A)的r∈N,A有限子集。对于所有ξ∈Nr,令s(ξ)为ξ坐标的和,以及整数≥0的家庭(nα)α∈A的PA(ξ)数,使得ξ=∑α∈Anαα。然后 PA(ξ)≤(s(ξ)+1)m 代表所有 ξ∈Nr。 (m.由归纳争论)
c) 设 λ,μ∈h∗。 显示那个昏暗的坎g(Z(μ),Z(λ))≤1。 (令φ1和φ2是从Z(μ)到Z(λ)的非零g同态。 如果 Im(φ1) = Im(φ2),φ1 和 φ2 与 §6 的命题 1 (iii) 线性相关。 假设 Im(φ1)= Im(φ2)。 如果 Z(μ) 是简单的,和 Im(φ1) + Im(φ2) 是直接的;对所有ξ∈h∗推出P(ξ+λ−μ)≥2P(ξ),与b矛盾)。 一般情况下,使用Exerc。 11.)
当暗坎g(Z(μ),Z(λ))=1时,滥用记号写Z(μ)⊂Z(λ)。 d) 设 ν∈h∗。 λ∈h∗的集合,使得Z(λ−ν)⊂Z(λ)在Zariski 拓扑中的h∗闭合。