Everything2
Near Matches
Ignore Exact
Full Text
Everything2

minimal polynomial

created by Noether

(idea) by Noether (3 y) (print)   ?   (I like it!) 1 C! Fri Jul 28 2000 at 20:24:33

Let a be an element of some field F and let k be a subfield of F. Suppose that a is a root of some nonzero polynomial in k[x]. The minimal polynomial of a over k is the monic (i.e. xn+lower degree terms) polynomial of least degree in k[x] that has a as a root.

Here are some properties of the minimal polynomial

  • It is unique. (For suppose that f and h are both minimal polynomials of a over k. Then f-h has lower degree than f and h and has a as a root. If it is not zero this contradicts the definition of minimal polynomial.)
  • It is irreducible. (If not then one of its factors has smaller degree and has a as a root, again contradicting the definition.)
  • If h(x) is a nonzero polynomial over k that has a as a root then the minimal polynomial is a factor of h(x). (Similarly.)

    Examples

    The Cayley-Hamilton Theorem shows that an nxn matrix is a zero of a polynomial. It follows that there is an analogous notion of minimal polynomial for matrices. The derivation of the Jordan canonical form for matrices uses the minimal polynomial.


(idea) by dsx (2.1 y) (print)   ?   (I like it!) Wed Jul 17 2002 at 5:55:24

Some more funky facts about minimal polynomials:

Let F ⊆ E be fields, and α ∈ E. We denote F[α] to be the smallest subring of E containing both F and α, and F(α) to be the smallest subfield containing both F and α. Let n(x) ∈ F[x] be the minimal polynomial of α over F.

Obviously F(α) ⊆ F[α], since all subfields are subrings. Now F(α) = F[α] iff α is algebraic over F (i.e. n(x) exists).

Also, F(α) ≅ F[x] / n(x)F[x].


printable version
chaos

Eisenstein's irreducibility criterion Cayley-Hamilton Theorem Jordan form cyclotomic polynomial
Math is hard irreducibility of cyclotomic polynomials Galois Theory rational functions in one variable
field extension Polynomial field linear mathematics
Primary decomposition theorem primitive polynomial How many geeks does it take to factor a polynomial? diagonalization
Separable Galois group Why the sequence of coefficients of a cyclotomic polynomial is a palindrome unique
sequence subfield Reverse similar
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.
  Epicenter
Login
Password

password reminder
register

Everything2 Help

Cool Staff Picks
Nodes to live by:
futhark
Richard Burton
Transmetropolitan
Clement Attlee
Wuthering Heights
runcible spoon
negative space
song
Books made me a person
How I invented Anna and made her a character in all my stories
Edinburgh Castle
Baldur's Gate II: Thanks heaps for enhancing my aura of inadequacy!
American Movie
New Writeups
antigravpussy
One fly amongst many(person)
sam512
Moon Base Shackleton, 1978(fiction)
Pavlovna
toy boy(person)
XWiz
tear jerker(review)
Heitah
Anarchy is Order(idea)
jessicaj
July 26, 2008(dream)
Berek
ABBA(person)
devolution
k-hole(place)
Nadine_2
The Sound Of Madness(review)
SwimmingMonkey
Conversations with Fo Fo, the Loneliest dog in Purgatory(fiction)
locke baron
lynx(thing)
Simulacron3
Reality, Dimensions and the Natural Ontology(essay)
SubSane
Making Love to a 9-Foot Woman(person)
Ouzo
Thoughts(idea)
antigravpussy
I fall silent, listening. The breadcrumbs are talking about us(person)
This page courtesy of The Everything Development Company