Let's consider a field F and α,β∈¯F−F (where ¯F is an algebraic closure). If F(α)=F(β), is it true that α, β have the same minimal polynomial over F?
For reference, I explain my way. (From here forward, all field isomorphisms are the identity on F.)
There exist polynomials f,g∈F[x] such that f(β)=α, g(α)=β. Let p and q be the minimal polynomials of α and β over F. There are field isomorphisms
σ:F[x]/(p)→F(α),τ:F[x]/(q)→F(β)
(these two isomorphisms are constructed in the proof of the fundamental theorem of field theory), and the trivial isomorphism i:F(α)→F(β) (I hope that there is isomorphism j with j(α)=β, but I can't prove it. How do you think about this?) Then
ρ:=(τ−1∘i∘σ)
is also an isomorphism with
ρ(x+(p))=f(x)+(q),ρ−1(x+(q))=g(x)+(p).
From this, I got q∣f∘p but not q∣p. Is this way right? If it is, please proceed this way.
Answer
Let a and b be any two distinct elements of F. Then we have F(a)=F(b)=F but the minimal polynomial of a over F is x−a, whereas the minimal polynomial for b over F is x−b, which are different.
This is just a trivial example of the general behavior. Let F be any infinite field, and let a be anything that's algebraic over F (regardless of whether it's an element of F or not). Then there are infinitely many b's that are algebraic over F such that F(a)=F(b) — consider b=a+c as c ranges over all elements of F — but only finitely many roots of the minimal polynomial of a (since a polynomial of degree n over a field has at most n distinct roots). Thus, all but finitely many of the b's such that F(a)=F(b) do not share a minimal polynomial with a.
If you really want a concrete example, observe that Q(√2)=Q(1+√2) but
min poly of √2=x2−2,min poly of 1+√2=x2−2x−1
No comments:
Post a Comment