If for a nonzero eigenvector, then . Thus , so
Both values need not occur: the zero matrix has only , and the identity matrix only . More precisely, an idempotent linear map whose rank of a linear map is has copies of and copies of . Indeed, its image of a linear map and kernel of a linear map form a direct sum, giving an eigenbasis without assuming an orthogonal projection.
For , the adjugate matrix formula, or elimination on the three unit right-hand sides, gives
Multiplication by gives the identity matrix, checking all signs and coefficients.
The matrix of cofactors is . Transposing and dividing by the nonzero determinant gives the inverse matrix
Multiplication by verifies the identity matrix.
The permutation matrix acts by . Applying this cyclic permutation three times returns every vector to itself, proving . Explicitly and multiplication once more gives the identity matrix.
The adjugate matrix formula gives
Multiplication by the right-side column yields
Multiplying the inverse by checks the identity matrix, and substitution of this solution into the three original rows gives respectively.
Interchange the diagonal entries, negate the off-diagonal entries, and divide by the nonzero determinant. The matrix inverse is
Multiplication by gives the identity matrix, since each diagonal product sum is and each off-diagonal product sum is zero.
The determinant is , so the matrix inverse exists. Using the two-by-two adjugate matrix formula gives
Multiplication on either side gives the identity matrix, which also checks the signs of the off-diagonal entries.
Put . The matrix is real and symmetric, so orthogonality means . Multiplication gives the scalar conditions
If , then and ; if , then and or . In both cases . The eight parameter triples are therefore
These conditions are sufficient as well as necessary, since they make every entry of equal to the corresponding entry of the identity matrix.
In the nonsingular case the unique solution is
Geometrically this is a single selected point of the straight line through parallel to .
When and , the solution set is that entire straight line, . The remaining case has empty solution set. In matrix terms the equation is , a rank-one matrix update of the identity matrix.
The similarity transformation gives . In the matrix power, each adjacent pair cancels to the identity matrix:
This also follows by mathematical induction: the formula holds for , and multiplication by turns its th instance into the st.
A complex matrix is diagonalizable exactly when it has a basis of three linearly independent eigenvectors. If all its eigenvalues are one, a diagonalization would have and hence . Therefore the specified matrix, which is not a scalar identity matrix, is not diagonalizable.
For the displayed real symmetric matrix, choose the orthogonal matrix
Its columns form an orthonormal eigenbasis, and
In the orthogonal coordinates , , the quadric surface has equation . It is a prolate spheroid, with long semiaxis one in direction and two equal short semiaxes . The figure gives its principal-axis sketch.
Figure 1.
The diagonalized quadric is a prolate spheroid with semiaxes one and one over the square root of three
. Details.
A diagonalizable matrix can certainly have exactly two distinct eigenvalues: is already diagonal and has an eigenbasis despite its repeated eigenvalue.
Squaring with the product law gives
Equality to the identity matrix requires in . Since 2 has a multiplicative inverse modulo 5, this forces . The middle condition then gives , hence . Therefore
This agrees with Lagrange's theorem: a group of odd order has no element of order two.
The subset specified by is not a subgroup. It omits the identity element. It also fails closure: both and lie in it, but their product is , whose coordinate is zero.
The explicit matrices are
Direct matrix multiplication gives
The reverse products have the opposite signs: , , . Since is the identity matrix and ,
These are the usual quaternion multiplication relations in the complex matrix representation of quaternions.
Write a matrix in the set as . The zero matrix has no multiplicative inverse matrix, so is not a group. Its determinant is
which vanishes only at that zero matrix. It is therefore the only element that needs to be removed.
For closure, direct matrix multiplication gives
The product of nonzero determinants is nonzero, so two nonzero elements never multiply to zero. The identity matrix is , associativity is inherited from matrix multiplication, and
Thus . It is the multiplicative group of nonzero quaternions in the complex matrix representation of quaternions.
Choose an orthonormal basis with . A half-turn about kills all mixed axial-transverse components. Commutation with a quarter-turn makes the transverse block a scalar identity matrix plus an antisymmetric matrix. The resulting oriented-axis invariant Cartesian tensor, in coordinate-free form, is
with real constants . The Kronecker delta, the outer product , and the displayed Levi-Civita symbol contraction are invariant under every proper rotation about , so this form is also sufficient. In the chosen basis,
The antisymmetric part must be retained unless further symmetry is imposed.
Decompose the electric field as , where . The electric current density is
For a nonzero real electric field, the alignment of current and field in an axisymmetric conductor gives the complete classification of collinearity:
  • If , then , with no additional symmetry required.
  • If , then . Within this family is exactly the condition that the conductivity tensor is symmetric; then . An additional half-turn symmetry about a transverse axis is one way to force .
  • If both components are nonzero, then . These conditions give the isotropic second-rank tensor , and then for every direction.
For completeness, if and , taking the dot product with forces . The transverse equation then gives , while a nonzero axial component gives . This proves there are no missing directions. Zero current is included as the zero scalar multiple; if “parallel” requires a direction for , exclude cases where that scalar is zero. For a strictly anisotropic crystal the last possibility is absent.
The cyclic property of the trace implies
Taking the matrix trace of the asserted equality therefore gives . For a positive integer over the complex numbers this requires . It is also sufficient: choose , or any two commuting matrices. Thus a finite-dimensional operator commutator cannot be a nonzero scalar multiple of the identity matrix.
The disk still has only three degrees of freedom and hence three normal modes: two centre coordinates and one in-plane rotation. Five springs alter the restoring quadratic form but add no disk coordinates. The fivefold rotational symmetry makes the translational stiffness proportional to the two-dimensional identity matrix, and makes translation-rotation coupling vanish. Therefore the two translation modes are always degenerate; the rotational mode is separate, with possible accidental equality of its frequency for particular parameters. The general formulas in small oscillations of a disk attached to prestretched radial springs apply with .
A Givens rotation acts as the identity matrix outside two selected coordinates , and has the following block on those coordinates:
The convention with the opposite signs of the sines is equivalent after replacing by . A Householder reflection with nonzero normal vector is
It reverses the component parallel to and fixes the perpendicular hyperplane. Both are orthogonal matrices, so their transposes are their inverses and they preserve the Euclidean norm.
A real square matrix is an orthogonal matrix when , equivalently its columns form an orthonormal basis. Here is the transpose and the identity matrix. For every vector ,
Taking nonnegative square roots proves
Thus an orthogonal matrix preserves the Euclidean norm.
Let . If , choose so that
Such an angle exists because the two ratios have squared sum one. Then the changed coordinates are
All other coordinates satisfy . If , both input coordinates are zero; take , giving the identity matrix on this pair. In all cases,
This fixes a nonnegative retained coordinate and handles division by zero explicitly. For floating-point computation, the stable construction of a Givens rotation uses scaled Euclidean norm evaluation to avoid unnecessarily overflowing or underflowing the squares.