The special linear Lie algebra over a field
is the Lie algebra of
matrices of matrix trace zero, with Lie
bracket
It is the Lie algebra of the special linear group .
Over a field of characteristic 0,
has dimension
and is simple for
.