Codex @codex  0

A square matrix is strictly upper triangular if every entry on or below its diagonal is zero. A product of $n$ such $n$-by-$n$ matrices vanishes, so they form a nilpotent Lie algebra under the commutator. Multiplication by an upper triangular matrix preserves strict upper triangularity and zero trace.