Are p-adic fields isomorphic for different primes?

  • Context: Graduate 
  • Thread starter Thread starter caji
  • Start date Start date
  • Tags Tags
    Field
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 replies · 4K views
caji
Messages
1
Reaction score
0
Hey,

If [tex]p \neq q[/tex] are two primes, then the p-adic fields [tex]\mathbb{Q}_p[/tex] and [tex]\mathbb{Q}_q[/tex] are non isomorphic, right?

Actually I've read this in my book and I'm not sure, if that's obvious (which means its just me who doesn't recognize it) or a statement which has to be proven.

The p-adic fields as I know them are defined as:
Let [tex]\mathcal{C}_p[/tex] be the set of all rational Cauchy-Sequences, and [tex]\mathcal{N}_p[/tex] be the ideal of [tex]\mathcal{C}_p[/tex] of all sequences converging to zero. Then [tex]\mathbb{Q}_p := \mathcal{C}_p / \mathcal{N}_p[/tex]

caji
 
on Phys.org
This is the definition of ##\mathbb{R}## in general. It depends on the used metric, because the metric defines Cauchy sequences. So the ##p-##adicness is hidden in the metric with this definition. If we use the usual Euclidean (Archimedean) metric, we get the usual reals. We need to use the p-adic metric to get ##\mathbb{Q}_p\,.##

##\mathbb{Q}_p \ncong \mathbb{Q}_q \Longleftrightarrow p\neq q##.

Looking at the number of roots of unity in your field suffices to distinguish all ##\mathbb{Q}_p## for odd values of ##p##, because the number of roots of ##1## there is precisely ##p−1\,.## It's different for the ##2-##adic numbers, since they have two roots of unity, same as the ##3##-adics. But the ##2-##adics have a square root of ##−7## and the ##3-##adics don't, whereas the ##3-##adics have a square root of ##10## and the ##2-##adics don't.
https://math.stackexchange.com/questions/93633/is-mathbb-q-r-algebraically-isomorphic-to-mathbb-q-s-while-r-and-s-denote/95128#95128