For a Lie group with identity , its Lie algebra as a set is the tangent space :The ambient embedding identifies these tangent vectors with vectors in . For a matrix Lie group, the identity is and the tangent vectors are matrices.
If with , put . The determinant expansion follows directly from its permutation formula: to first order only the diagonal entries contribute. Since , differentiation gives . ThusIn fact equality holds: if , then has determinant and derivative at zero.
Articles by others on the same topic
There are currently no matching articles.