任意の狭義三角行列は冪零行列であり、上(resp.下)三角行列全体の成す集合は冪零リー環formula_3を成す。