Proving Polynomial Properties: Existence of nxn Matrix in Field k

[DeadWolfe]

How might one prove that for any degree n polynomial p(x) with coefficients lying in a field k, there exists any nxn matrix with entries in k with characteristic polynomial p?

 

[CompuChip]

If you have a diagonal matrix with entries \lambda_1, \lambda_2, \cdots, \lambda_n then what is its characteristic polynomial?

[addition]It's not as easy as I thought. For example, the polynomial x^2 + 1 has real coefficients, two complex roots, and there is a matrix with real entries - namely [[0 1] [-1 0]] - of which it is the characteristic polynomial. So it's not as easy as just taking diag(first root, second root, ...) in the case where the roots can be outside the field (this has a name, I think it is "algebraically closed"?). Of course changing the basis does not change the characteristic polynomial and in my example that is the trick to get a real matrix but you'd have to prove that it is generally possible). But the proof is easy for algebraically closed fields (if that is indeed the name).

 

[DeadWolfe]

Yes, but of course I was interested in the general case (and particularly when k=reals)

 

[morphism]

Look into companion matrices.