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