How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Diagonalisation and the Minimal Polynomial: Examples and Counterexamples
1 · Prerequisites
- Binary Operations, Monoids, Groups and Subgroups
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Normal Subgroups and Quotient Groups
- Polynomial Rings, the Division Algorithm and Roots
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Simple Field Extensions and the Construction of the Complex Numbers
- Splitting Fields
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The ZFC Axioms and the Basic Set Constructions
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
Minimal polynomials of scalar and diagonal endomorphisms, including the zero-dimensional case
Example
The zero-dimensional endomorphism has minimal polynomial . On a nonzero space, the scalar endomorphism has minimal polynomial . A diagonal matrix whose distinct diagonal values are has minimal polynomial , regardless of repetitions on the diagonal.
Facts & Assumptions
Given: The endomorphisms described in the Example.
An annihilating polynomial is exactly a multiple of the minimal polynomial (The annihilator ideal is nonzero and has a unique monic generator; if and only if ).
A diagonalisable endomorphism has a minimal polynomial that is a product of distinct linear factors (An endomorphism is diagonalisable if and only if its minimal polynomial is a product of distinct linear factors).
Verification
On the zero space, , so annihilates and [L1] gives . On a nonzero space, , while no nonzero constant polynomial annihilates; hence .
For the diagonal matrix, a polynomial vanishes on the matrix exactly when it vanishes at every displayed diagonal value. The monic polynomial of least degree with those distinct roots is , agreeing with [L2].
The identity and a nontrivial Jordan block have the same characteristic polynomial but different minimal polynomials
Example
Over any field, let
Both matrices have characteristic polynomial , but while .
Facts & Assumptions
Given: The matrices in the Example.
A block-triangular characteristic polynomial is the product of the characteristic polynomials of its diagonal blocks (The characteristic polynomial of a block upper- or lower-triangular matrix is the product of the characteristic polynomials of its diagonal blocks).
The minimal polynomial is the monic polynomial of least degree that annihilates the matrix (The annihilator ideal is nonzero and has a unique monic generator; if and only if ).
Verification
By [L1], both characteristic polynomials are .
The polynomial annihilates . For , one has , so but . Hence [L2] gives and .
Computing the minimal polynomial of an explicit idempotent from its annihilating polynomials
Example
For
one has , , and . Thus is projection onto its image along its kernel.
Facts & Assumptions
Given: The displayed matrix .
An annihilating polynomial is exactly a multiple of the minimal polynomial (The annihilator ideal is nonzero and has a unique monic generator; if and only if ).
Every idempotent endomorphism of a finite-dimensional space is diagonalisable and projects onto its image along its kernel (Every idempotent endomorphism is diagonalisable and is projection onto its image along its kernel).
The characteristic polynomial is (For , the characteristic polynomial is when , with for the unique matrix).
Verification
Direct multiplication gives , while and . Thus annihilates but neither nor does; [L1] gives .
Expanding gives by [L3]. Finally [L2] identifies the image-kernel projection.
A nilpotent shift has minimal polynomial and, for , a single primary component
Example
For , let satisfy and for , where is the standard basis. Then , and the only primary component is . For , and the primary decomposition is empty.
Facts & Assumptions
Given: The standard basis and shift operator in the Example.
The list is an ordered basis of , including the empty case (The standard list with and for is an ordered basis of ; hence , and is the zero space with basis and dimension ).
The minimal polynomial is the least-degree monic annihilator (The annihilator ideal is nonzero and has a unique monic generator; if and only if ).
Irreducible-power factors of the minimal polynomial give the primary components (Primary decomposition: the irreducible-power factors of split into their invariant kernels).
Verification
For , repeated application of gives , while by [L1]. Hence [L2] gives .
The sole irreducible factor is , so [L3] gives the one primary component . At , [L1] and [L2] give .
Quarter-turn rotation is not diagonalisable over but is diagonalisable over
Example
The quarter-turn matrix
is not diagonalisable over , but it is diagonalisable over .
Facts & Assumptions
Given: The displayed real matrix .
An endomorphism is diagonalisable exactly when its minimal polynomial is a product of distinct linear factors over the base field (An endomorphism is diagonalisable if and only if its minimal polynomial is a product of distinct linear factors).
The polynomial is irreducible over ( is irreducible over ).
In , the element satisfies (The complex numbers as , with the real embedding and imaginary unit ).
Verification
Direct multiplication gives , while no linear polynomial annihilates , so . By [L2] and [L1], is not diagonalisable over .
Over , [L3] gives with distinct roots. By [L1] the extended matrix is diagonalisable; explicitly and are eigenvectors for and and form a basis.
Primary decomposition over with one linear and one irreducible quadratic factor
Example
On , let act by multiplication by on the first summand and by
on the second. Then , the primary components are the displayed summands, and their polynomial projections are
Facts & Assumptions
Given: The rational endomorphism in the Example.
Irreducible-power factors of a minimal polynomial give the direct sum of their kernels (Primary decomposition: the irreducible-power factors of split into their invariant kernels).
The associated primary projections are polynomial expressions in the endomorphism (Each projection in the primary decomposition is a polynomial in the endomorphism).
The polynomial is irreducible over , hence also over its subfield ( is irreducible over ).
Verification
The first block has minimal polynomial , and makes the second block's minimal polynomial ; [L3] rules out a rational linear factor. The two factors are coprime, so the direct sum has minimal polynomial their product and [L1] identifies the two primary components.
The polynomial is at and is modulo ; has the opposite residues. Therefore [L2] gives the displayed projections.
Lagrange polynomials give the three eigenspace projections of a diagonalisable endomorphism
Example
Let be diagonalisable with distinct eigenvalues . Put
Then is projection onto along the other eigenspaces; the are pairwise orthogonal idempotents and .
Facts & Assumptions
Given: A diagonalisable with the three displayed distinct eigenvalues.
Distinct eigenspaces give a direct sum of the whole space (An endomorphism is diagonalisable exactly when for some finite list of distinct scalars ).
Primary projections are polynomial expressions in obtained from the relevant congruences (Each projection in the primary decomposition is a polynomial in the endomorphism).
Verification
The denominators are nonzero, and substitution gives for and otherwise. Hence is identity on and zero on the other eigenspaces.
The action on every summand in [L1] now gives , for , and .
Two commuting non-scalar matrices simultaneously diagonalised in one explicit basis
Example
The matrices
commute and are simultaneously diagonalised by the ordered basis .
Facts & Assumptions
Given: The displayed matrices and .
Pairwise commuting diagonalisable endomorphisms have a common eigenbasis (A family of diagonalisable endomorphisms of a finite-dimensional space is simultaneously diagonalisable if and only if its members commute pairwise).
Verification
With , direct multiplication gives and .
Thus the columns of , namely and , are a common eigenbasis. The two diagonal matrices commute, so their conjugates commute as well, agreeing with [L1].
Commuting alone does not imply simultaneous diagonalisability
Statement refuted
Pairwise commutation alone forces a family of endomorphisms to be simultaneously diagonalisable.
Facts & Assumptions
Given: Over any field, and the family .
A family of diagonalisable endomorphisms is simultaneously diagonalisable exactly when it is pairwise commuting (A family of diagonalisable endomorphisms of a finite-dimensional space is simultaneously diagonalisable if and only if its members commute pairwise).
A repeated linear factor in the minimal polynomial prevents diagonalisability (An endomorphism is diagonalisable if and only if its minimal polynomial is a product of distinct linear factors).
Counterexample
The identity commutes with , so the family is pairwise commuting.
Since but , the minimal polynomial of is . Thus [L2] says is not diagonalisable, so the family cannot be simultaneously diagonalisable. The missing hypothesis in [L1] is diagonalisability of every member.
FALSE: If the minimal polynomial splits, then the endomorphism is diagonalisable
Statement
False claim. If the minimal polynomial of an endomorphism splits over the base field, then the endomorphism is diagonalisable.
Facts & Assumptions
Given: The matrix .
Diagonalisability requires the minimal polynomial to be a product of distinct linear factors (An endomorphism is diagonalisable if and only if its minimal polynomial is a product of distinct linear factors).
Splitting permits repeated linear factors (Polynomials that split and splitting fields of a polynomial or a family of polynomials).
Refutation
One has but , so . This polynomial splits by [L2], but its root is repeated.
By [L1], is not diagonalisable. Thus splitting alone is insufficient; squarefreeness is the missing condition.
FALSE: The characteristic polynomial determines whether an endomorphism is diagonalisable
Statement
False claim. Two endomorphisms with the same characteristic polynomial are either both diagonalisable or both non-diagonalisable.
Facts & Assumptions
Given: The matrices and .
A block-triangular characteristic polynomial is the product of those of its diagonal blocks (The characteristic polynomial of a block upper- or lower-triangular matrix is the product of the characteristic polynomials of its diagonal blocks).
Diagonalisability is controlled by the minimal polynomial being a product of distinct linear factors (An endomorphism is diagonalisable if and only if its minimal polynomial is a product of distinct linear factors).
Refutation
By [L1], both matrices have characteristic polynomial .
The identity is diagonal. For , but , so and [L2] says is not diagonalisable. Thus the shared characteristic polynomial does not decide diagonalisability.
FALSE: A diagonalisable endomorphism must have a characteristic polynomial with distinct roots
Statement
False claim. A diagonalisable endomorphism must have a characteristic polynomial with distinct roots.
Facts & Assumptions
Given: The identity endomorphism of .
The standard unit vectors form an ordered basis of (The standard list with and for is an ordered basis of ; hence , and is the zero space with basis and dimension ).
An endomorphism is diagonalisable when it has a basis of eigenvectors (A diagonalisable endomorphism is one admitting a basis of eigenvectors, equivalently a diagonal matrix representation).
The characteristic polynomial of an operator is that of any matrix representation (The basis-independent characteristic polynomial of an endomorphism of a finite-dimensional space, including in dimension zero).
Refutation
Both standard basis vectors are eigenvectors of with eigenvalue , so [L1] and [L2] make diagonalisable.
Its matrix is diagonal with two entries , so [L3] gives , which has a repeated root.
Sources
Standard references
Recommended treatments; not extraction sources.
- Sheldon Axler, Linear Algebra Done Right, 4th ed., §5B
- Anthony W. Knapp, Basic Algebra, 2nd ed., Ch. V, §3
- Keith Conrad, The Minimal Polynomial and Some Applications, Example 4.2
- Keith Conrad, The Minimal Polynomial and Some Applications, Examples 4.6, 4.9, and 4.16
- Sheldon Axler, Linear Algebra Done Right, 4th ed., §§8A–8B
- Keith Conrad, Potential Diagonalizability, Example 1
- Anthony W. Knapp, Basic Algebra, 2nd ed., Ch. V, §5, Theorem 5.19
- Keith Conrad, The Minimal Polynomial and Some Applications, Remark 4.12
- Keith Conrad, The Minimal Polynomial and Some Applications, Remark 5.3
- Keith Conrad, The Minimal Polynomial and Some Applications, Theorem 4.11
- Keith Conrad, The Minimal Polynomial and Some Applications, Example 4.2 and Theorem 4.11
- Anthony W. Knapp, Basic Algebra, 2nd ed., Ch. V, §3, examples and Theorem 5.14