Thursday, 3 April 2014

abstract algebra - When two primitive elements of a simple field extension are conjugate?



Let kK=k(a1,,an) be a finite separable field extension
(assume that k is an infinite field).
We know that such an extension is simple, with infinitely many primitive elements,
namely, K=k(a1+λ2a2++λnan)
for all but finitely many kλ's.
Call such λ's "good choices".



My question: Is it possible to find a condition that will guarantee that

there exist two different good choices λi,μik such that
a1+λ2a2++λnan
and
a1+μ2a2++μnan
are conjugate (= have the same minimal polynomial over k).



Edit: The answer below only deals with a specific field k; I will be very grateful if one can explain what happens for other fields.


Answer



This answer is about the case k= the field of rational numbers.




Perhaps you are looking for a property of a function that sends the co-ordinates of an element to conjugate's co-ordinates (in your words," good choices"). Such a mapping will co-ordinatise the field embeddings (because all field embedding have to send a primitive element to a conjugate). I want to draw your attention to the fact that except identity and complex conjugation no field homomorphisms from a number field to the complex numbers can be restriction of a continuous function with domain complex/real numbers.



As field homomorphism has to be identity on the set of rationals, and the latter being a dense set it is not possible.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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