Are p-adic fields isomorphic for different primes?

  • Thread starter Thread starter caji
  • Start date Start date
  • Tags Tags
    Field
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
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top