The definition of matrix multiplication gives
The middle equality uses commutativity of scalar multiplication in or , together with interchange of finite sums. Thus the trace is unchanged by cyclically moving the two factors.
Give the action , where is a row vector. Substitution preserves homogeneous degree, and composition agrees with matrix multiplication, so this is a complex representation of SU(2) group. The diagonal torus acts on with weight ; these weights are distinct.
A nonzero invariant subspace is invariant under the torus, so finite-dimensional Fourier projection onto its weight spaces supplies a nonzero monomial. Differentiating the group action and complexifying supplies the operators and . Their repeated application moves between every successive monomial, with nonzero coefficients until an endpoint is reached:
The invariant subspace therefore contains the whole monomial basis. Thus
For this is the one-dimensional trivial representation. Torus weight projections are legitimate because an invariant complex subspace is closed in finite dimension.
For a nonzero vector , a Householder reflection is
It is immediately symmetric. If , then , so
Hence is also an orthogonal matrix, with .
The similarity transformation can be expanded as
Computing , , and the scalar costs arithmetic operations, after which the remaining updates are outer products and scalar multiples, also costing . Thus can be formed in operations rather than by two general matrix multiplications.
If and , then matrix multiplication and the transpose rule give
Thus the product also satisfies the equation.
The equation and part (i) imply that is invertible. Multiplying
on the left by and on the right by gives
Hence the set of solutions is closed under products and matrix inverses.
Write an element of the Integer Heisenberg group as . Matrix multiplication gives
The subgroup
is normal and isomorphic to . If , then
Thus, on the coordinate column , conjugation by is the linear map with matrix
Every element has a unique expression , so
The commutators fill the central subgroup of matrices , while the quotient by this subgroup is generated freely and abelianly by the images of and . Equivalently, is the second coordinate axis. Therefore the abelianization is
For any matrix and compatible invertible matrix , the linear map maps onto : a linear combination of rows of is sent to the same linear combination of rows of . Its inverse function is , so these row spaces have equal dimensions. Hence right matrix multiplication by also preserves row rank.
If , ii now gives
This proves the required matrix similarity invariant without needing to assume equality of row rank and column rank.
When is an invertible matrix, . Apply i first to and then to :
Thus the two row spaces are equal. In particular, invertible left matrix multiplication preserves row rank.
Write as an matrix and as an matrix, with rows . The rule for matrix multiplication gives
Every row of is therefore a linear combination of rows of . Taking linear spans gives
Matrix similarity transports commuting operators: with ,
By ii, all such matrices are therefore
For completeness, matrix multiplication gives
The parameterization is injective, since matrix multiplication by and recovers the parameter diagonal matrix. Thus there are infinitely many choices. Already the distinct scalar matrices , , give an infinite family.
For the given real matrix , direct matrix multiplication gives the eigenvectors
Put these eigenvectors into the columns of
Since , is an invertible matrix. The three column identities give , so
In particular, the matrix similarity is established by an explicit change-of-basis matrix.
Bilinearity of the real inner product gives, for the specified linear combinations,
The last equality is the entrywise rule for matrix multiplication, with the transpose of the column vector .
First find the fixed axis of rotation by solving . After removing a nonzero common factor, the linear equations are
They give . Choose the following unit vectors:
Their dot products show that they form an orthonormal basis; hence is an orthogonal matrix. Since is an orthogonal matrix fixing , it preserves the orthogonal complement of . Its restriction there has determinant , so it is a planar rotation.
The trace gives , so . To determine the sign of the sine, rather than just its magnitude, calculate
Thus a suitable angle and change of basis are
In fact direct matrix multiplication gives
For an matrix, the corresponding elementary matrices are , because the operation is implemented by left matrix multiplication. Apply the desired elementary row operation to the identity matrix . Writing for the matrix unit with its only nonzero entry, , in position gives:
Indeed, these matrix products interchange rows , scale row , and add times row to row , respectively. The displayed inverses undo precisely those operations. Algebraically, when , so ; the other two inverse identities follow immediately from their row actions. Thus every elementary matrix is an invertible matrix.
If is a strictly upper triangular matrix, then unless . We prove by mathematical induction that
The assertion for is the definition. In the matrix multiplication formula
a nonzero summand would require and , hence . This proves the induction step. Since for all entries, . In particular, every strictly upper triangular matrix is a nilpotent matrix.
Take the nonzero vector . Its th image entry under matrix multiplication is the sum of row :
Thus , exhibiting as an eigenvector with eigenvalue .
The identity is the identity matrix
Left or right matrix multiplication by it preserves every entry, as is also immediate from the product formula above.
Parametrize the matrices by
Direct matrix multiplication gives
This proves closure. The identity matrix is , and the formula
gives both a left and a right inverse, as substitution in the product formula verifies. Thus each element is an invertible matrix, and the subgroup test shows that is a subgroup of . It is the unitriangular group and has elements.
If , then . Alternatively, direct matrix multiplication gives
Thus the normalized eigenvectors from part (b) have respective eigenvalues
If , then , and the whole two-dimensional space is its eigenspace. This degeneracy includes cases where the two eigenvalues of were distinct but opposite.