Fork me on GitHub
Math for the people, by the people.

User login

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 polynomialsPlanetmathPlanetmath 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 numbersPlanetmathPlanetmathPlanetmath, and K = F(22\sqrt{2}), the field obtained by adjoining 22\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.


Sorry, I have found that always p0 = p.

Subscribe to Comments for "Minimal polynomial of a matrix over a field F and over an extension of F"