Direct matrix multiplication gives
Consequently , the Cayley-Hamilton theorem for its characteristic polynomial . Rearranging gives , so
For the specified coordinate vectors,
Choose the orthogonal matrix representing a quarter-turn,
Then and direct matrix multiplication gives . Thus these two shear mappings are orthogonally similar.
Direct matrix multiplication gives . The three determinants are , , and . Hence , as required.
A vector perpendicular to has the form . Direct matrix multiplication gives
Thus every nonzero such vector is an eigenvector with . The zero vector must be excluded from the literal claim about “any” perpendicular vector, since an eigenvector is nonzero. The eigenspace is two-dimensional. Equivalently, exhibits the spectrum of a scalar matrix plus a rank-one projector.
Use Einstein notation, with repeated suffixes summed. The matrix multiplication and transpose give
Interchange the free indices, then relabel the dummy indices :
The negative sign uses . Therefore is skew-symmetric. No orthogonality of is needed for this part: matrix congruence preserves skew-symmetry.
Adding the diagonal entries gives . Expansion along the first row gives . For the remaining trace, direct matrix multiplication gives
Thus . By multiplicativity of the determinant, . Altogether,
Expand the right-hand side in the orthonormal basis from part (b). Its coefficients are
Thus . If , then matrix multiplication gives . Matching coefficients fixes and , while is arbitrary. Consequently all solutions are
Geometrically, the solution set is an affine line in a vector space parallel to the kernel of . The zero eigenvalue makes the component in that direction invisible to ; the other two components are uniquely determined. The displayed particular solution is perpendicular to the kernel, so it is also the point of this line closest to the origin.
The matrix multiplication adds each row. Equating it to gives the linear system
The last equation is the sum of the first two, so it supplies no further restriction. Subtracting the first from the second gives , hence , and then . Thus all parameter choices are
Direct matrix multiplication gives
Thus is diagonal. The columns of are eigenvectors of with eigenvalues one and four.
Subtracting the second row from the third gives a third row , so expansion along it shows . Thus the matrix inverse exists and every right-hand side has a unique solution.
To calculate it, temporarily solve with general . Subtracting the second equation from the third and from the first gives
Back-substitution into the second equation gives
Therefore
For the given right-hand side, matrix multiplication yields the unique answer
By the definition of matrix multiplication and trace, with all indices summed from to ,
The entries are scalars, so their multiplication commutes. Reordering them and renaming the summed indices gives
Equivalently, in Einstein notation, . This proves the cyclic property of the trace.
Apply matrix multiplication to obtain
Since is a unit vector, the subtracted term is the orthogonal projection of along . Hence is the orthogonal projection onto a plane through the origin with normal vector . It fixes every vector perpendicular to and sends every scalar multiple of to zero. In particular .
From part (f), . To obtain , choose the Householder transformation that reverses only the third coordinate:
Indeed , so , and direct matrix multiplication gives . The alternative vector produces the same matrix. Geometrically reflects in the plane , completing the reversal of all three coordinates.
Choose the unnormalized eigenvectors
Their linear combination giving the specified vector is
Applying the reciprocal eigenvalues of the inverse matrix therefore yields
In Cartesian coordinates, this is , and direct matrix multiplication gives .
By the definitions of matrix multiplication, transpose and trace,
Relabelling the summed indices gives
the Frobenius inner product of these real matrices.
Representations. A complex group representation is a group homomorphism to the invertible linear maps on a vector space. It is an irreducible representation when and the only invariant subspaces are and .
Group table. The supplied matrices satisfy , , and . Their multiplication table is
The table proves closure and gives identity and an inverse for every element; associativity is inherited from matrix multiplication. The table is symmetric, so the group is abelian. It is the Klein four-group .
Dimensions and conjugacy. The sum of squares of irreducible representation dimensions is . A two-dimensional irreducible would alone contribute four, leaving no room for the ever-present one-dimensional trivial representation. Hence the given two-dimensional representation is reducible. Since the group is abelian, every conjugacy class is a singleton. There are therefore four inequivalent complex irreducible representations, each of dimension one:
Taking the trace of the given matrices gives their character of a representation:
Irreducible characters. In a one-dimensional representation, the values on and must each be , since both elements square to . Their values determine the value on . The four choices give the complete character table:
Each row is a character because it respects the generating relations, and the rows have unit norm and pairwise zero character inner product. The multiplicities of these rows in are respectively , by character orthogonality. Thus
Diagonal form. The common invariant lines are spanned by and . Use their normalized vectors as columns of
Then simultaneous diagonalization gives
Reading the first and second diagonal entries across the four matrices recovers and , respectively, verifying the decomposition explicitly.
Cosets and Lagrange. A left coset is . The left cosets of a subgroup partition a group, each with elements. Lagrange's theorem states for a finite group, so every subgroup order divides the group order.
The 64-element group. Work in the commutative ring , which has zero divisors. Denote the displayed lower triangular matrix by , where are its three entries below the diagonal. Direct matrix multiplication gives
All arithmetic is modulo four, so the set is closed. Associativity comes from matrix multiplication, the identity element is , and
The formula works in either multiplication order and requires no division. Hence these matrices form a group of order . This is the lower triangular version of the Heisenberg group over a commutative ring.
The abelian subgroup. If , write . Then
The identity is and the inverse is , proving an abelian subgroup. Its two independent entries give and , in accordance with Lagrange's theorem. This is the abelian plane subgroup of the Heisenberg group modulo four.
More explicitly, is a surjective group homomorphism to the additive group of , with kernel . The four left cosets are exactly the four sets with fixed , ; representatives are . Thus is also a normal subgroup.
Matrices squaring to the identity. The product formula gives
The first and third coordinates vanish only when . Then modulo four, so the middle coordinate vanishes exactly when . Therefore the complete set is
It is a subgroup: multiplying two such elements keeps all three entries even, and their cross term vanishes modulo four, so the product simply adds the three even coordinates. The identity is included and each element is its own inverse. In fact is isomorphic to the direct product of groups . The seven nonidentity elements are involutions.
Finally, the last subset in the PDF is defined by , with no restriction on . It has elements, which cannot be a subgroup because does not divide . It also excludes the identity element. Thus