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
.