Make a -module by . The structure theorem over the Euclidean domain decomposes its torsion module as
where the are monic irreducibles. Each summand is indecomposable: its submodules form a chain, so two nonzero submodules cannot form a direct sum. This is the desired decomposition into invariant indecomposable subspaces.
The characteristic polynomial is
whereas the minimal polynomial is the least common multiple
Let be the matrix whose th column consists of the coordinates of in the basis . Define the upper-triangular matrix and lower-triangular matrix by
The first identity in part b says , so . The second says that the matrix of is . Since has diagonal entries one, , and therefore
Thus is the characteristic polynomial of the Coxeter element in its geometric representation.
For a nonzero positive-weight eigenform at a good prime, the two oldforms are independent. At level multiplied by , the Hecke operator is the bad-prime operator, with matrix . Distinct roots of its characteristic polynomial give eigenforms and . Weight-zero constants are an exception to the independence assertion.
Principal minor 2026-10-05
A principal minor is the determinant of a square submatrix selected using the same index set for rows and columns. For a three-by-three matrix, the coefficient of in its monic characteristic polynomial is the sum of its three principal minors of order two.
The Routh-Hurwitz criterion tests whether all roots of a real polynomial have negative real part, by sign conditions on determinants formed from its coefficients. Applied to a characteristic polynomial, it gives an algebraic test for strict linear asymptotic stability.
Consider
Its row sums vanish, so is an eigenvector for the zero eigenvalue. Its characteristic polynomial is
with sum of principal minors of order two
The other eigenvalues are . No symmetry is required for this formula; positive diagonal symmetrization of a matrix is a sufficient condition for real roots.
The model matrix has a defective double eigenvalue when . Its characteristic polynomial is , giving the displayed roots. For fixed nonzero the small root is and the other is . These expansions cease to be ordered at , the distinguished limit in which both roots split on a square-root scale. This is the generic leading behavior when a perturbation closes a two-dimensional Jordan block through a nonzero lower-left entry; it need not occur for a perturbation that leaves that entry zero.
If is diagonalizable, the anticommutator map has eigenvalues , twice, and . Their product gives the displayed characteristic polynomial. The density of diagonalizable complex matrices and continuity of polynomial coefficients prove the formula also for defective matrices.
Let be the symmetric zero-diagonal Jacobi matrix with , and let the skew-symmetric matrix have
Then is equivalent to the Finite Volterra lattice. The corresponding similarity flow makes the eigenvalues of , the coefficients of its characteristic polynomial, and its trace invariants first integrals.