Use the real three-dimensional space of traceless matrices
Thus is a quadratic form of signature . The adjoint action of preserves trace and determinant. Connectedness puts its image in .
A kernel element commutes with every traceless matrix and with the identity, hence with every real matrix; it is therefore scalar. Determinant one leaves . The derivative is injective and both groups have dimension three, so the image is open and equals the identity component. Consequently

Articles by others on the same topic (0)

There are currently no matching articles.