Lie algebra of a matrix Lie group
[6/83%]The automorphisms of the Lie algebra of a given linear Lie group in turn form a linear Lie group . If is some curve in , then . Differentiation at leads, with the notation (we assume ), to the relation
which allows one to call a derivation of the Lie algebra . We have already met this notion in [ВА II].
Prove that if is a derivation of the Lie algebra , then is an automorphism of it.
The unitary matrices are elements of the Lie group . The corresponding Lie algebra is the set of matrices with the condition . An important subgroup of is the Lie group with the condition that . The unitary matrices
are not elements of the Lie group since the determinants of these unitary matrices are . The corresponding Lie algebra of the Lie group are the matrices given by
Let be the Pauli spin matrices. Then any unitary matrix in can be represented by
where , , and . Calculate the right-hand side.
Consider the Lie group consisting of all matrices
Find the inverse .
Find the product .
Find a basis for the Lie algebra of the Lie group and the commutators.
is the Lie group of all unitary unimodular matrices, i.e., the group of all matrices of the form
where and is the complex conjugate of .
Find the inverse of .
The Lie algebra of the Lie group can be identified with the vector space of all complex skew-hermitian matrices of trace 0. A basis of is given by
Find the commutation relations .
Find the matrix
Consider the Lie group and its Lie algebra . Show that is not commutative. Discuss the properties of .