冪等行列
線型代数学において、冪等行列(べきとうぎょうれつ、英: idempotent matrix)とは、自分自身との積が自分自身に一致する行列のことである。つまり、行列 A {\displaystyle A} が冪等行列であるとは A 2 = A {\displaystyle A^{2}=A} が成り立つことである。積 A 2 {\displaystyle A^{2}} が意味を持つために、 A {\displaystyle A} は正方行列でなければならない。このように冪等行列とは行列環の冪等元のことである。