Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $G$ be a compact connected Lie group, $T$ be some maximal torus in $G$ (that is, inclusion-maximal connected abelian subgroup). Then the union of tori $gTg^{-1}$, $g\in G$, is the whole $G$. This is well-known (4.21 in Adams book). My question is rather methodological: is there any proof without use of algebraic topology? Adams presents A. Weil's proof, which uses some kind of Lefschetz fixed points theorem. (Yes, I am sorry but my motivation is mostly that I teach second year students this stuff.)

share|improve this question
    
You are teaching abstract Lie groups to second year students?! It is not difficult to do "by hand" for the classical compact groups, since this follows from basic linear algebra; namely the normal forms for orthogonal and unitary matrices. –  José Figueroa-O'Farrill Apr 26 '11 at 0:51
    
As Richard has pointed out in the answer below, you may need to edit and write "inclusion-connected maximal abelian subgroup". –  Somnath Basu Apr 26 '11 at 2:30
add comment

2 Answers

up vote 2 down vote accepted

There are proofs that avoid algebraic topology: see for example Chapter 16 in Bump's Lie Groups or IV.5 in Knapp's Lie Groups Beyond an Introduction.

share|improve this answer
add comment

The claim in the question that maximal tori are the same as inclusion-maximal abelian subgroups is not correct. For example, the diagonal matrices with +1 or -1 on the diagonal form a maximal abelian subgroup of SO(n) that is not a torus.

share|improve this answer
    
Maybe the OP forgot to mention that the subgroup is connected? –  José Figueroa-O'Farrill Apr 26 '11 at 2:17
    
Thanks, I added "connected". Hope that now it is the same as maximal torus:) –  Fedor Petrov Apr 26 '11 at 7:00
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.