Wednesday, September 16, 2015

abstract algebra - On the existence of an algebraically closed field containing other fields




This question arose while I was reading a paper I found in the web.
It might be very simple, but I don't know the answer.
Let R be the set of real numbers and Qp the set of all p-adic numbers.



My question is: how can I construct (or at least guarantee the existence of) an algebraically closed field Ω of characteristic 0 containing both R and Qp for all primes p?



More generally, given a finite or infinite family of fields with the same characteristic (and possibly a common subfield), can I prove the existence of such a field? If not, under which conditions does it hold?



Thank you in advance for your help.




Edit: about my background, my level is basic; that is, I know what an algebraically closed field is and basic facts about Field Theory from a basic Galois theory course


Answer



It is possible to embed the algebraic closure of Qp into C, if you want. We also can consider the completion Cp of ¯Qp. This field is called the field of p-adic complex numbers.



The details have been already discussed at this site, e.g., here:



Is there an explicit embedding from the various fields of p-adic numbers Qp into C?



The embedding is guaranteed by the axiom of choice.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...