Bourbaki marks this one as harder than the rest.
我们保留前面的习题的记号;进一步假设子群 H 是干净的(练习 15)。
a) 证明R(G,T)包含在λ∈BH的R(λ)的并生成的X(T)的子群中。
b) 令Δ为s∈S的S由……组成的子群的恒等分量,使得λ(s)=μ(s)适用于BH中的所有λ,μ。证明存在R(G,T)和整数k的基{α1,...,αl},以及0≤k≤l−1,使得Δ是t∈T满足的集合的恒等分量
α1(t)=⋯=αk(t)=1,αk+1(t)=⋯=αl(t)
(令 x 为 L(S) 的元素,使得 δ(λ)(x)=2πi 对于所有 λ∈BH;从 a 推导)exp x∈C(G)。 选择{α1,...,αl},使得iδ(αj)(x)对于1≤j≤k来说是零,对于k+1≤j≤l来说<0;然后证明对于所有λ∈BH,R(λ)中的每个根都可以写成
αj+n1α1+⋯+nkαk
与 j≥k+1 和 ni∈N。使用 a).) 结论
c) 表明整数k不依赖于环面S,T或基BH,{α1,...,αl}的选择;它等于秩 / 导出群 / ZG(Δ)。