Bourbaki

Exercise 8, § 5

Tag 01ES, permanent. Cite it as [Bourbaki, Tag 01ES].

Lie Groups and Lie Algebras, IX, 407

Take G=SO(8,R)/{±I8}G =\mathbf{S}\mathbf{O}(8,\mathbf{R})/\{\pm I_8\}; denote by (αi)1≤i≤4(\alpha_i)_{1\leq i\leq 4} a basis of R(G,T)R(G,T) such that α1,α3\alpha_1, \alpha_3 and α4\alpha_4 are not orthogonal to α2\alpha_2 (Chap. VI, Plate IV). Let A be the subgroup of T consisting of the t∈Tt\in T such that

α1(t)=α3(t)=α4(t),α1(t)2=α2(t)2=1 \alpha_1(t) =\alpha_3(t) =\alpha_4(t), \alpha_1(t)^2=\alpha_2(t)^2= 1

Prove that A is isomorphic to (Z/2Z)2(\mathbf{Z}/2\mathbf{Z})^2 and that its centralizer in G is a finite non-commutative group.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Transcribed from the printed volume. Not translated.