Involutory matrix

In mathematics, an involutory matrix is a square matrix that is its own inverse. That is, multiplication by the matrix is an involution if and only if where is the identity matrix. Involutory matrices are all square roots of the identity matrix. This is a consequence of the fact that any invertible matrix multiplied by its inverse is the identity.

Examples

The real matrix is involutory provided that
The Pauli matrices in are involutory:
One of the three classes of elementary matrix is involutory, namely the row-interchange elementary matrix. A special case of another class of elementary matrix, that which represents multiplication of a row or column by −1, is also involutory; it is in fact a trivial example of a signature matrix, all of which are involutory.
Some simple examples of involutory matrices are shown below.
where

Any block-diagonal matrices constructed from involutory matrices will also be involutory, as a consequence of the linear independence of the blocks.

An involutory matrix which is also symmetric is an orthogonal matrix, and thus represents an isometry. Conversely every orthogonal involutory matrix is symmetric.
As a special case of this, every reflection and 180° rotation matrix is involutory.

An involution is non-defective, and each eigenvalue equals, so an involution diagonalizes to a signature matrix.
A normal involution is Hermitian or symmetric and also unitary or orthogonal.
The determinant of an involutory matrix over any field is ±1.
If is an matrix, then is involutory if and only if is idempotent. This relation gives a bijection between involutory matrices and idempotent matrices. Similarly, is involutory if and only if is idempotent. These two operators form the symmetric and antisymmetric projections of a vector with respect to the involution, in the sense that, or. The same construct applies to any involutory function, such as the complex conjugate, transpose, and Hermitian adjoint.
If is an involutory matrix in which is a matrix algebra over the real numbers, and is not a scalar multiple of, then the subalgebra generated by is isomorphic to the split-complex numbers.
If and are two involutory matrices which commute with each other then is also involutory.
If is an involutory matrix then every integer power of is involutory. In fact, will be equal to if is odd and if is even.