Alphabeta Math
Session-authored (Fable 5 assisted)
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,,λr1 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 μTp).

[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.1

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

L1algebra
2.1

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

L1L2algebra
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 (x1)2, but μI=x1 while μJ=(x1)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 μTp).

Verification

technique · direct
1.1

By [L1], both characteristic polynomials are (x1)2.

L1
2.1

The polynomial x1 annihilates I. For N=JI0, one has N2=0, so (JI)2=0 but JI0. Hence [L2] gives μI=x1 and μJ=(x1)2.

L2algebra
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=(011121110),

one has A2=A, μA=x(x1), and χA=x(x1)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 μTp).

[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.1

Direct multiplication gives A2=A, while A0 and AI. Thus x(x1) annihilates but neither x nor x1 does; [L1] gives μA=x(x1).

L1algebra
2.1

Expanding det(xIA) gives x(x1)2 by [L3]. Finally [L2] identifies the image-kernel projection.

L2L3algebra
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:FnFn satisfy T(e0)=0 and T(ei)=ei1 for 0<i<n, where (ei)i<n is the standard basis. Then μT=xn, and the only primary component is kerTn=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.1

For n>0, repeated application of T gives Tn=0, while Tn1en1=e00 by [L1]. Hence [L2] gives μT=xn.

L1L2
2.1

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

step 1.1L1L2L3
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=(0110)

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

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.

L1L2algebra
2.1

Over C, [L3] gives x2+1=(xi)(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.

L1L3algebra
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=QQ2, let T act by multiplication by 2 on the first summand and by

C=(0110)

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

E1=T2+I5,E2=4IT25.

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

The first block has minimal polynomial x2, 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.

L1L3algebra
2.1

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

L2algebra
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)=jixλ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.1

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.

L1L2algebra
2.1

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

step 1.1L1
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.1

With P1=(1101), direct multiplication gives A=Pdiag(1,2)P1 and B=Pdiag(3,4)P1.

algebra
2.1

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

step 1.1L1algebra
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.1

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

algebra
2.1

Since (JI)2=0 but JI0, the minimal polynomial of J is (x1)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.

L1L2algebra
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.1

One has (JI)2=0 but JI0, so μJ=(x1)2. This polynomial splits by [L2], but its root is repeated.

L2algebra
2.1

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

step 1.1L1
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.1

By [L1], both matrices have characteristic polynomial (x1)2.

L1
2.1

The identity is diagonal. For J, (JI)2=0 but JI0, so μJ=(x1)2 and [L2] says J is not diagonalisable. Thus the shared characteristic polynomial does not decide diagonalisability.

L2algebra
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.1

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

L1L2
2.1

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

L3algebra

Sources