冪等行列
冪等行列は常に対角化可能で、その固有値は 0 または 1 である。