The monic polynomial of least degree over the base ring or field that annihilates a given linear operator or algebraic element; i.e., the monic p of minimal degree with p(T)=0.

Principle

The minimal polynomial divides any polynomial that annihilates the operator; its distinct irreducible factors coincide with those appearing in the primary decomposition and its exponents record the sizes of largest Jordan blocks for each eigenvalue in the finite-dimensional case.

Demonstration

If a matrix has Jordan blocks of sizes 1,2,2 for eigenvalue λ and a block of size 3 for eigenvalue μ, then the minimal polynomial is (x−λ)^2(x−μ)^3. For a diagonalizable matrix the minimal polynomial is the product of distinct linear factors corresponding to the eigenvalues.

Misapplication

Confusing the minimal polynomial with the characteristic polynomial (the latter has degree equal to the matrix size and records multiplicities differently) or assuming the minimal polynomial uniquely determines eigenvector bases without considering generalized eigenvectors and geometric multiplicities.

Consequence

The minimal polynomial determines functional relations satisfied by T (enables polynomial functional calculus reductions) and controls the decomposition into cyclic subspaces and the structure of the operator under rational canonical form or Jordan form; it gives the smallest-degree polynomial needed to annihilate T.

Reversal

Reversing the viewpoint yields the set of all annihilating polynomials; among them the characteristic polynomial is a particular annihilator whose degree equals the dimension, while the minimal polynomial is smallest-degree monic divisor of all annihilators.

Boundary

Defined for elements of associative algebras over a base ring or field; over non-fields one must account for non-monic polynomials and zero divisors; the minimal polynomial may factor over an extension field but must be considered over the chosen base field when describing structure relative to that field.

Semantic Tension

Minimal polynomial versus characteristic polynomial and versus annihilator ideal: the minimal polynomial is the generator of the principal annihilator ideal in the polynomial ring acting on a cyclic module, while the characteristic polynomial carries determinant/trace invariants and full multiplicity data.

Synthesis

The minimal polynomial is the canonical monic annihilating polynomial of least degree that encodes the essential algebraic obstructions to inverting or reducing a linear operator and whose factor exponents reflect the largest sizes of nilpotent Jordan blocks per eigenvalue.