Minimal polynomial

From Citizendium
Revision as of 02:34, 4 January 2013 by imported>Richard Pinch (→‎Minimal polynomial of an algebraic number: more general base field, link to previous definition)
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In linear algebra the minimal polynomial of an algebraic object is the monic polynomial of least degree which that object satisfies. Examples include the minimal polynomial of a square matrix, an endomorphism of a vector space or an algebraic number.

The general setting is an algebra A over a field F. We give A the structure of a module over the polynomial ring F[X] by defining the action of on a to be where a0 is defined to be the unit element of A.

We say that f "annihilates" a, or that a "satisfies" f, if f(a) = 0. The set of polynomials that annihilate a given element a forms an ideal ann(a) in F[X], which is a Euclidean domain. Hence the annihilator ideal is a principal ideal with the minimal polynomial as monic generator.

The minimal polynomial may also be defined as the polynomial of least degree which annihilates a: it then has the property that it divides any other polynomial which annihilates a.

Minimal polynomial of a square matrix

Let A be an n×n matrix over a field F. The powers I=A0,A1,...,An² must be linearly dependent since the matrix ring has dimension n2 as a vector space over F, and so A satisfies some polynomial. Hence it makes sense to define the minimal polynomial as the monic polynomial of least degree which A satisfies, or which annihilates A.

For an invertible matrix P we have . Hence similar matrices have the same minimal polynomial, and we can use this to define the minimal polynomial of an endomorphism as the minimal polynomial of one, and hence any, matric representing it.

Since A satisfies its own characteristic polynomial by the Cayley-Hamilton theorem, we deduce that the minimal polynomial divides the characteristic polynomial. However, the two polynomials have the same set of roots, namely the set of eigenvalues of A.

Minimal polynomial of an endomorphism of a vector space

A similar definition applies to the minimal polynomial of an endomorphism of a finite-dimensional vector space.

Let α be an endomorphism of an n-dimensional vector space over a field F. The powers ι=α01,...,αn² must be linearly dependent since the endomorphism ring has dimension n2 as a vector space over F, and so α satisfies some polynomial. Hence it makes sense to define the minimal polynomial as the monic polynomial of least degree which α satisfies, or which annihilates α.

Minimal polynomial of an algebraic number

The minimal poynomial of an algebraic number α is the rational polynomial of least degree which has α as a root. The degree of the minimal polynomial of α is equal to the degree of the field extension Q(α)/Q.

More generally, if E/F is a field extension and α is in E, then α is said to be algebraic over F if there is a polynomial with coefficients in F which α satsifies. In this case the minimal polynomial of α over F is the polynomial of least degree with coefficients in F which α satisfies. The polynonmial ring F[α] is then a field, and is the simple field extension F(α). This field is a finite dimension al vector space over F, on which multiplication by α is an F-linear endomorphism. The minimal polynomial of α is equal to the minimal polynomial of this endomorphism.