The Lie algebras of 
 and 
 are denoted 
 and 
,
respectively.  Differentiating 
 we conclude that 
 consists
of anti-Hermitian matrices: 
.  Note that 
 is anti-Hermitian if
and only if 
 is Hermitian.
Fact: if 
, then 
 (where tr = trace).  (Expanding by minors does the trick.)
This makes one half of the following fact obvious: the Lie algebra for the
Lie group of unimodular matrices consists of all the traceless matrices.
For the special case 
, things work out very nicely.  Since
, one can write down the components for 
 easily, and
equating them to 
, one concludes that 
 consists of all matrices
of the form:
Next, an arbitary anti-Hermitian matrix looks like:
It turns out that this correspondence is a Lie algebra isomorphism.
 and 
 are locally isomorphic, but not isomorphic-- as we
will see next.
 acts on 
 via the adjoint representation.  But we have a 1-1
correspondence between 
 and 
, so we have a representation
of 
 in the group of real 
 matrices.  Let 
 be an
element of 
 and 
 be an element of 
.
Note that 
.  Since the map 
preserves determinants, it preserves norms when considered as acting on
.  So the adjoint representation maps 
 into 
.
Fact: it maps 
 onto 
.
Incidentally, you can see directly that 
 preserves
anti-Hermiticity by writing it 
.
The kernel of the adjoint representation for 
 is its center, which
clearly contains 
-- and in fact, consists of just those two
elements.  So we have a 2-1 mapping 
.  Our double
cover!  I'll look at the topology of this in a moment.
Physicists prefer to work with the Pauli spin matrices instead of the quaternions. The Pauli matrices are just the Hermitian counterparts to i, j, and k:
They form a basis (with 1) for the vector space of Hermitian
 matrices: 
© 2001 Michael Weiss