Alphabeta Math
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.

✓ 12 results · all verified · 5 also independently AI-judged
Every result on this page is machine-checked by a proof checker and read in full and owner-audited; the judge is an additional, independent cross-model AI review of the proofs. The 7 not AI-judged were verified by owner audit (typically over a confirmed judge false positive), not failures.

Diagonalisation and the Minimal Polynomial: Examples and Counterexamples

1 · Prerequisites

2 · Summary

3 · Logical flowchart

4 · Definitions, theorems and proofs

None yet.

5 · Examples, counterexamples and false statements

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-16Open item page →

Minimal polynomials of scalar and diagonal endomorphisms, including the zero-dimensional case

Example

The zero-dimensional endomorphism has minimal polynomial 1. On a nonzero space, the scalar endomorphism λI has minimal polynomial x−λ. A diagonal matrix whose distinct diagonal values are λ0,…,λr−1 has minimal polynomial ∏i<r(x−λi), regardless of repetitions on the diagonal.

Facts & Assumptions

Given: The endomorphisms described in the Example.

[L1]

An annihilating polynomial is exactly a multiple of the minimal polynomial (The annihilator ideal is nonzero and has a unique monic generator; p(T)=0 if and only if μT∣p).

[L2]

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

technique · direct
1.1L1algebra

On the zero space, I=0, so 1 annihilates and [L1] gives μ=1. On a nonzero space, (λI−λI)=0, while no nonzero constant polynomial annihilates; hence μλI=x−λ.

2.1L1L2algebra∎

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 ∏i(x−λi), agreeing with [L2].

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-16Open item page →

The identity and a nontrivial Jordan block have the same characteristic polynomial but different minimal polynomials

Example

Over any field, let

I=(1001),J=(1101).

Both matrices have characteristic polynomial (x−1)2, but μI=x−1 while μJ=(x−1)2.

Facts & Assumptions

Given: The matrices I,J in the Example.

[L1]

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).

[L2]

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; p(T)=0 if and only if μT∣p).

Verification

technique · direct
1.1L1

By [L1], both characteristic polynomials are (x−1)2.

2.1L2algebra∎

The polynomial x−1 annihilates I. For N=J−I≠0, one has N2=0, so (J−I)2=0 but J−I≠0. Hence [L2] gives μI=x−1 and μJ=(x−1)2.

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-16Open item page →

Computing the minimal polynomial of an explicit 3×3 idempotent from its annihilating polynomials

Example

For

A=(0−1112−1110),

one has A2=A, μA=x(x−1), and χA=x(x−1)2. Thus A is projection onto its image along its kernel.

Facts & Assumptions

Given: The displayed matrix A.

[L1]

An annihilating polynomial is exactly a multiple of the minimal polynomial (The annihilator ideal is nonzero and has a unique monic generator; p(T)=0 if and only if μT∣p).

[L2]

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).

Verification

technique · direct
1.1L1algebra

Direct multiplication gives A2=A, while A≠0 and A≠I. Thus x(x−1) annihilates but neither x nor x−1 does; [L1] gives μA=x(x−1).

2.1L2L3algebra∎

Expanding det⁡(xI−A) gives x(x−1)2 by [L3]. Finally [L2] identifies the image-kernel projection.

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

A nilpotent shift has minimal polynomial xn and, for n>0, a single primary component

Example

For n>0, let T:Fn→Fn satisfy T(e0)=0 and T(ei)=ei−1 for 0<i<n, where (ei)i<n is the standard basis. Then μT=xn, and the only primary component is ker⁡Tn=Fn. For n=0, μT=1 and the primary decomposition is empty.

Facts & Assumptions

Given: The standard basis and shift operator in the Example.

[L3]

Irreducible-power factors of the minimal polynomial give the primary components (Primary decomposition: the irreducible-power factors of μT split V into their invariant kernels).

Verification

technique · direct
1.1L1L2

For n>0, repeated application of T gives Tn=0, while Tn−1en−1=e0≠0 by [L1]. Hence [L2] gives μT=xn.

2.1step 1.1L1L2L3∎

The sole irreducible factor is x, so [L3] gives the one primary component ker⁡Tn=Fn. At n=0, [L1] and [L2] give μT=1.

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

Quarter-turn rotation is not diagonalisable over R but is diagonalisable over C

Example

The quarter-turn matrix

R=(0−110)

is not diagonalisable over R, but it is diagonalisable over C.

Facts & Assumptions

Given: The displayed real matrix R.

[L1]

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).

[L2]

The polynomial x2+1 is irreducible over R (x2+1 is irreducible over R).

Verification

technique · direct
1.1L1L2algebra

Direct multiplication gives R2=−I, while no linear polynomial annihilates R, so μR=x2+1. By [L2] and [L1], R is not diagonalisable over R.

2.1L1L3algebra∎

Over C, [L3] gives x2+1=(x−i)(x+i) with distinct roots. By [L1] the extended matrix is diagonalisable; explicitly (i,1) and (−i,1) are eigenvectors for i and −i and form a basis.

ExampleConstruction: AI-adaptedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

Primary decomposition over Q with one linear and one irreducible quadratic factor

Example

On V=Q⊕Q2, let T act by multiplication by 2 on the first summand and by

C=(0−110)

on the second. Then μT=(x−2)(x2+1), the primary components are the displayed summands, and their polynomial projections are

E1=T2+I5,E2=4I−T25.

Facts & Assumptions

Given: The rational endomorphism T in the Example.

[L1]

Irreducible-power factors of a minimal polynomial give the direct sum of their kernels (Primary decomposition: the irreducible-power factors of μT split V into their invariant kernels).

[L2]

The associated primary projections are polynomial expressions in the endomorphism (Each projection in the primary decomposition is a polynomial in the endomorphism).

[L3]

The polynomial x2+1 is irreducible over R, hence also over its subfield Q (x2+1 is irreducible over R).

Verification

technique · direct
1.1L1L3algebra

The first block has minimal polynomial x−2, and C2=−I makes the second block's minimal polynomial x2+1; [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.

2.1L2algebra∎

The polynomial e1=(x2+1)/5 is 1 at x=2 and is 0 modulo x2+1; e2=1−e1=(4−x2)/5 has the opposite residues. Therefore [L2] gives the displayed projections.

ExampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

Lagrange polynomials give the three eigenspace projections of a diagonalisable endomorphism

Example

Let T be diagonalisable with distinct eigenvalues λ0,λ1,λ2. Put

ei(x)=∏j≠ix−λjλi−λj.

Then Ei=ei(T) is projection onto Eλi(T) along the other eigenspaces; the Ei are pairwise orthogonal idempotents and E0+E1+E2=I.

Facts & Assumptions

Given: A diagonalisable T with the three displayed distinct eigenvalues.

[L2]

Primary projections are polynomial expressions in T obtained from the relevant congruences (Each projection in the primary decomposition is a polynomial in the endomorphism).

Verification

technique · direct
1.1L1L2algebra

The denominators are nonzero, and substitution gives ei(λj)=1 for i=j and 0 otherwise. Hence ei(T) is identity on Eλi(T) and zero on the other eigenspaces.

2.1step 1.1L1∎

The action on every summand in [L1] now gives Ei2=Ei, EiEj=0 for i≠j, and ∑iEi=I.

ExampleConstruction: AI-generatedVerification: AI-generatedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-16Open item page →

Two commuting non-scalar matrices simultaneously diagonalised in one explicit basis

Example

The matrices

A=(1102),B=(3104)

commute and are simultaneously diagonalised by the ordered basis ((1,0),(1,1)).

Facts & Assumptions

Given: The displayed matrices and P=(1101).

Verification

technique · direct
1.1algebra

With P−1=(1−101), direct multiplication gives A=Pdiag⁡(1,2)P−1 and B=Pdiag⁡(3,4)P−1.

2.1step 1.1L1algebra∎

Thus the columns of P, namely (1,0) and (1,1), are a common eigenbasis. The two diagonal matrices commute, so their conjugates commute as well, agreeing with [L1].

CounterexampleConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

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, J=(1101) and the family {I2,J}.

[L1]

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).

[L2]

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

technique · direct
1.1algebra

The identity commutes with J, so the family is pairwise commuting.

2.1L1L2algebra∎

Since (J−I)2=0 but J−I≠0, the minimal polynomial of J is (x−1)2. Thus [L2] says J is not diagonalisable, so the family cannot be simultaneously diagonalisable. The missing hypothesis in [L1] is diagonalisability of every member.

False statementConstruction: Literature-sourcedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

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 J=(1101).

[L1]

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).

Refutation

technique · direct
1.1L2algebra

One has (J−I)2=0 but J−I≠0, so μJ=(x−1)2. This polynomial splits by [L2], but its root is repeated.

2.1step 1.1L1∎

By [L1], J is not diagonalisable. Thus splitting alone is insufficient; squarefreeness is the missing condition.

False statementConstruction: AI-adaptedVerification: AI-adaptedprecheck passaudited 2026-08-16Open item page →

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 I2 and J=(1101).

[L1]
[L2]

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

technique · direct
1.1L1

By [L1], both matrices have characteristic polynomial (x−1)2.

2.1L2algebra∎

The identity is diagonal. For J, (J−I)2=0 but J−I≠0, so μJ=(x−1)2 and [L2] says J is not diagonalisable. Thus the shared characteristic polynomial does not decide diagonalisability.

False statementConstruction: AI-adaptedVerification: AI-adaptedprecheck passjudge pass (deepseek-v4-pro + gpt-5.6-terra)audited 2026-08-16Open item page →

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.

Refutation

technique · direct
1.1L1L2

Both standard basis vectors are eigenvectors of I2 with eigenvalue 1, so [L1] and [L2] make I2 diagonalisable.

2.1L3algebra∎

Its matrix is diagonal with two entries 1, so [L3] gives χI2=(x−1)2, which has a repeated root.

Sources