Weyl groups are finite - And other finiteness properties of Cartan subalgebras

For each pair (g, a) consisting of a real Lie algebra g and a subalgebra a of some Cartan subalgebra h of g such that [a, h] ⊆ [a, a] we define a Weyl group W(g, a) and show that it is finite. In particular, W(g, h) is finite for any Cartan subalgebra h. The proof involves the embedding of g into the Lie algebra of a complex algebraic linear Lie group to which the structure theory of Lie algebras and algebraic groups is applied. If G is a real connected Lie group with Lie algebra g, the normalizer N(h, G) acts on the finite set λ of roots of the complexification gℂ with respect to hℂ, giving a representation π: N(h, G), → S(λ) into the symmetric group on the set λ. We call the kernel of this map the Cartan subgroup C(h) of G with respect to h; the image is isomorphic to W(g, h), and C(h) = {g ∈ G : Ad(g)(h) - h ∈ [h, h] for all h ∈ h }. All concepts introduced and discussed reduce in special situations to the familiar ones. The information on the finiteness of the Weyl groups is applied to show that under very general circumstance, for θ ⊆ h the set h ∩ φ(θ) remains finite as φ ranges through the full group of inner automorphisms of g