Ch 7: 13, Ch 8: 19,22,28,31
For each , prove that is a properly embedded -dimensional Lie subgroup of .
We follow the route of proof in Example 7.27 (page 166-167 of Lee). First, we construct a map from to , that maps Then, acts on the right of by conjugation, . This is a right action of on . Then, by equivariant constant rank theorem, we conclude that is properly embedded submanifold.
Show that with the cross product is a Lie algebra.
Just need to check the Jacobi identity on the generators .
Derivation of an associated algebra forms a Lie algebra.
Just check
Show that determinant map's derivative is the trace maps. Hint: 7-4(a)
Ideal of a Lie algebra.