Are p-adic fields isomorphic for different primes?

  • Context: Graduate 
  • Thread starter Thread starter caji
  • Start date Start date
  • Tags Tags
    Field
Click For Summary
SUMMARY

The discussion confirms that for distinct primes \( p \) and \( q \), the p-adic fields \( \mathbb{Q}_p \) and \( \mathbb{Q}_q \) are non-isomorphic. This conclusion is supported by the definition of p-adic fields as \( \mathbb{Q}_p := \mathcal{C}_p / \mathcal{N}_p \), where the p-adic metric distinguishes these fields. The number of roots of unity in each field serves as a distinguishing feature, particularly noting that \( \mathbb{Q}_2 \) and \( \mathbb{Q}_3 \) exhibit different properties regarding square roots.

PREREQUISITES
  • Understanding of p-adic numbers
  • Familiarity with Cauchy sequences
  • Knowledge of metric spaces
  • Basic concepts of field theory
NEXT STEPS
  • Study the properties of p-adic metrics
  • Explore the structure of p-adic fields in detail
  • Investigate the roots of unity in various p-adic fields
  • Learn about the implications of non-isomorphism in field theory
USEFUL FOR

Mathematicians, particularly those specializing in number theory and algebra, as well as students seeking to deepen their understanding of p-adic fields and their properties.

caji
Messages
1
Reaction score
0
Hey,

If p \neq q are two primes, then the p-adic fields \mathbb{Q}_p and \mathbb{Q}_q 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 \mathcal{C}_p be the set of all rational Cauchy-Sequences, and \mathcal{N}_p be the ideal of \mathcal{C}_p of all sequences converging to zero. Then \mathbb{Q}_p := \mathcal{C}_p / \mathcal{N}_p

caji
 
Physics news 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
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 11 ·
Replies
11
Views
2K