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 be an endomorphism of a finite-dimensional vector space over . A monic irreducible polynomial in divides if and only if it divides . Thus and have exactly the same monic irreducible factors, though generally with different exponents.
Facts & Assumptions
Given: A finite-dimensional endomorphism and a monic irreducible polynomial .
The minimal polynomial divides the characteristic polynomial (The minimal polynomial divides the characteristic polynomial, ).
For monic irreducible , the quotient is a field extension containing with ( for monic irreducible is a field extension containing the root with unique reduced representatives).
Extending scalars from to leaves the minimal polynomial unchanged (For a matrix over a field, extending the scalar field does not change its minimal polynomial).
A scalar is an eigenvalue exactly when it is a root of the characteristic polynomial (For every finite-dimensional space, is exactly the set of roots in of ).
If is algebraic over , the kernel of evaluation at is generated by its unique monic irreducible minimal polynomial, and exactly when that polynomial divides (The evaluation kernel and the unique monic irreducible minimal polynomial of an algebraic element).
Polynomial evaluation at an endomorphism is for (Polynomial evaluation at an endomorphism: ).
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).
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 of an endomorphism of a finite-dimensional space, including in dimension zero).
Proof
If , then [L1] immediately gives .
Conversely suppose . Choose an ordered basis of , let be the matrix of , and form and as in [L2]. Since , also ; by [L8] this is the characteristic polynomial of , whose determinant formula is unchanged after scalar extension. Thus [L4] applied to the resulting endomorphism of gives a nonzero -eigenvector with eigenvalue .
By [L7], has minimal polynomial , and [L3] says its scalar extension has the same minimal polynomial. Applying [L6] to the eigenvector from step 1.2 gives .
The monic irreducible minimal polynomial of divides because , and it is nonconstant; irreducibility of makes it equal to . Now [L5] and step 2.1 give .
Steps 1.1 and 3.1 prove both directions. In the zero-dimensional case , so neither has an irreducible factor.
Depends on
- The minimal polynomial divides the characteristic polynomial, $\mu_T\mid\chi_T$
- For a matrix over a field, extending the scalar field does not change its minimal polynomial
- For every finite-dimensional space, $\sigma_F(T)$ is exactly the set of roots in $F$ of $\chi_T$
- Polynomial evaluation at an endomorphism: $p(T)=\sum_k a_kT^k$
- $F[x]/(p)$ for monic irreducible $p$ is a field extension containing the root $x+(p)$ with unique reduced representatives
- The evaluation kernel and the unique monic irreducible minimal polynomial of an algebraic element
- The minimal polynomial is unchanged by choosing a matrix representation or replacing a matrix by a similar one
- The basis-independent characteristic polynomial $\chi_T$ of an endomorphism of a finite-dimensional space, including $\chi_T=1$ in dimension zero
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
- Keith Conrad, The Minimal Polynomial and Some Applications, Corollary 4.10 (standard reference, not scraped)