Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-16
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.

The minimal and characteristic polynomials have exactly the same monic irreducible factors

Statement

Let T be an endomorphism of a finite-dimensional vector space over F. A monic irreducible polynomial in F[x] divides μT if and only if it divides χT. Thus μT and χT have exactly the same monic irreducible factors, though generally with different exponents.

Facts & Assumptions

Given: A finite-dimensional endomorphism T and a monic irreducible polynomial qF[x].

[L1]

The minimal polynomial divides the characteristic polynomial (The minimal polynomial divides the characteristic polynomial, μTχT).

[L2]

For monic irreducible q, the quotient K=F[x]/(q) is a field extension containing a=x+(q) with q(a)=0 (F[x]/(p) for monic irreducible p is a field extension containing the root x+(p) with unique reduced representatives).

[L3]

Extending scalars from F to K leaves the minimal polynomial unchanged (For a matrix over a field, extending the scalar field does not change its minimal polynomial).

[L4]

A scalar is an eigenvalue exactly when it is a root of the characteristic polynomial (For every finite-dimensional space, σF(T) is exactly the set of roots in F of χT).

[L5]

If a is algebraic over F, the kernel of evaluation at a is generated by its unique monic irreducible minimal polynomial, and f(a)=0 exactly when that polynomial divides f (The evaluation kernel and the unique monic irreducible minimal polynomial of an algebraic element).

[L6]

Polynomial evaluation at an endomorphism is p(T)=k0akTk for p(x)=k0akxk (Polynomial evaluation at an endomorphism: p(T)=kakTk).

[L7]

An endomorphism and its matrix in any ordered basis have the same minimal polynomial; in particular, this polynomial is invariant under changing the basis (The minimal polynomial is unchanged by choosing a matrix representation or replacing a matrix by a similar one).

[L8]

In any ordered basis, the characteristic polynomial of an endomorphism is the characteristic polynomial of its representing matrix, independently of the chosen basis (The basis-independent characteristic polynomial χT of an endomorphism of a finite-dimensional space, including χT=1 in dimension zero).

Proof

technique · direct
1.1

If qμT, then [L1] immediately gives qχT.

L1
1.2

Conversely suppose qχT. Choose an ordered basis of V, let A be the matrix of T, and form K and a as in [L2]. Since q(a)=0, also χT(a)=0; by [L8] this is the characteristic polynomial of A, whose determinant formula is unchanged after scalar extension. Thus [L4] applied to the resulting endomorphism of Kn gives a nonzero K-eigenvector with eigenvalue a.

L2L4L8choose
2.1

By [L7], A has minimal polynomial μT, and [L3] says its scalar extension has the same minimal polynomial. Applying [L6] to the eigenvector from step 1.2 gives μT(a)=0.

step 1.2L3L6L7
3.1

The monic irreducible minimal polynomial of a divides q because q(a)=0, and it is nonconstant; irreducibility of q makes it equal to q. Now [L5] and step 2.1 give qμT.

step 2.1L2L5
4.1

Steps 1.1 and 3.1 prove both directions. In the zero-dimensional case μT=χT=1, so neither has an irreducible factor.

step 1.1step 3.1

Depends on

Used by

Nothing in the library uses this result yet.

Dependency tree · next 3 levels

Direct dependencies and their dependencies through the next three levels: 86 results over 16 levels. An arrow runs from a result to what uses it, and this result sits at the bottom with a heavier outline. Click the chart to enlarge it.

Sources