べきゼロ行列　というのもある。演算して 0ベクトルになる。

#idempotent #行列