Minimal polynomial of a matrix over a field F and over an extension of F

## Primary tabs

# Minimal polynomial of a matrix over a field F and over an extension of F

Let F and K be fields, F subfield of K. Given a matrix T in Fn (the algebra of n x n matrices over F), let p be the minimal polynomial of T over F and p0 the minimal polynomial of T over K, considering T as an element of Kn. Then p0 divides p, since p0 divides all polynomials^{} over K (and hence all polynomials over F) which are satisfied by T. Of course p0 divides p in K[x] but not necessarily in F[x]. My question is: how could I find a matrix T in Fn such that p0 is different from p?

For example, let’s make F = Q, the field of rational numbers^{}, and K = F($\sqrt{2}$), the field obtained by adjoining $\sqrt{2}$ to F (within say the field of real numbers. With n = 2, if T = (a_ij) is the matrix with a11= 1, a12= 1/2, a21= 2, a22= -1, then p= x^2 - 2, whose roots are all in K. But then p0 = p. Perhaps with n a little larger. And perhaps, after all, p0 is always equal to p.

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections

## Sorry, I have found that

Sorry, I have found that always p0 = p.