Friday, 31 July 2015

abstract algebra - If F(alpha)=F(beta), must alpha and beta have the same minimal polynomial?





Let's consider a field F and α,β¯FF (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,gF[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
ρ:=(τ1iσ)

is also an isomorphism with

ρ(x+(p))=f(x)+(q),ρ1(x+(q))=g(x)+(p).

From this, I got qfp but not qp. 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 xa, whereas the minimal polynomial for b over F is xb, 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=x22,min poly of 1+2=x22x1


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...