Intereting Posts

Maximum of $|(z-a_1)\cdots(z-a_n)|$ on the unit circle
Algebraically-nice general solution for last step of Gaussian elimination to Smith Normal Form?
Decimal Expansion of Pi
Möbius function of consecutive numbers
Gaussian proof for the sum of squares?
Is there a real-valued function $f$ such that $f(f(x)) = -x$?
What does it mean for rational numbers to be “dense in the reals?”
Proof about dihedral groups
Riemann-Stieltjes integral of unbounded function
Determining the Asymptotic Order of Growth of the Generalized Harmonic Function?
Proof that Lie group with finite centre is compact if and only if its Killing form is negative definite
Subgroup generated by a set
Prove the identity $\binom{2n+1}{0} + \binom{2n+1}{1} + \cdots + \binom{2n+1}{n} = 4^n$
Part (a) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”
If $g \circ f$ is the identity function, then which of $f$ and $g$ is onto and which is one-to-one?

How to prove that if $\mathbb{Z}_p$ is the set of $p$-adic integers then $\displaystyle{\mathbb{Z}_p=\varprojlim\mathbb{Z}/p^n\mathbb{Z}}$ where the limit denotes the inverse limit?

$\mathbb{Z}_p$ is the inverse limit of the inverse system $(\mathbb{Z}/p^n\mathbb{Z}, f_{mn})_{\mathbb{N}}$, but I don’t know what the $f_{mn}$ are.

Can someone help me?

- Finite p-groups are nilpotent
- Elementary Applications of Cayley's Theorem in Group Theory
- Has this “generalized semidirect product” been studied?
- Order of $\phi(g)$ divides the order of $g$
- Is there a group with exactly 92 elements of order 3?
- Number of Homomorphisms from $\Bbb{Z}_m$ to $\Bbb{Z}_n$

- Finding solutions to equation of the form $1+x+x^{2} + \cdots + x^{m} = y^{n}$
- Subgroups of finite index in divisible group
- You are standing at the origin of an “infinite forest” holding an “infinite bb-gun”
- What would be the immediate implications of a formula for prime numbers?
- “Semidirect product” of graphs?
- Find a torsion free, non cyclic, abelian group $A$ such that $\operatorname{Aut}(A)$ has order 2
- $\binom{n}{1},\binom{n}{2},\ldots ,\binom{n}{n-1}$ are all even numbers.
- Drawing subgroup diagram of Dihedral group $D4$
- $ |G_1 |$ and $|G_2 | $ are coprime. Show that $K = H_1 \times H_2$
- Finite Group generated by the union of its Sylow $p_i$-subgroups

Let me guess the definition of $p$-adic integers you got in mind is some $p$-power series. Now, forget it and let us consider some topology:

We DEFINE the $p$-adic integers to be the completion of certain metric on $\mathbb{Z}$, then the $p$-power series is a way to make completion, and the inverse limit is another way. However, the completion of a metric space is unique up to unique isometry. Now you can check the isometry is a ring isomorphism by hands.

Let $p$ be a prime number. Let $x$ be a non-zero element in $\mathbb{Z}$.

There exist integers $n$ and $a$ such that $x = p^na$, $(p, a)$ = 1.

$n$ is uniquely determined by $x$.

We denote $|x|_p = p^{-n}$.

We define $|0|_p = 0$.

For $x, y\in \mathbb{Z}$, we denote $d(x, y) = |x – y|_p$.

$d$ is a metric on $\mathbb{Z}$.

With this metric $d$, $\mathbb{Z}$ becomes a topological ring.

We define $\mathbb{Z_p}$ as the completion of $\mathbb{Z}$ with respect to $d$.

$\mathbb{Z_p}$ is a topological ring which contains $\mathbb{Z}$ as a dense subring.

$(p^n\mathbb{Z_p}), n = 1, 2, …$ is a fundamental system of neighbourhoods of 0 in $\mathbb{Z_p}$.

Each $\mathbb{Z_p}/p^n\mathbb{Z_p}$ is isomorphic to $\mathbb{Z}/p^n\mathbb{Z}$.

Hence it suffices to prove that $\mathbb{Z_p} \cong \varprojlim\mathbb{Z_p}/p^n\mathbb{Z_p}$.

Let $f_n: \mathbb{Z_p} \rightarrow \mathbb{Z_p}/p^n\mathbb{Z_p}$ be the canonical map for each n.

When $n ≧ m$, $p^n\mathbb{Z_p} ⊂ p^m\mathbb{Z_p}$.

Hence we can define a ring homomorphism $f_{mn}: \mathbb{Z_p}/p^n\mathbb{Z_p} \rightarrow \mathbb{Z_p}/p^m\mathbb{Z_p}$ by $f_{mn}(f_n(x)) = f_m(x)$.

Let $A = \varprojlim\mathbb{Z_p}/p^n\mathbb{Z_p}$.

Since $f_{mn}f_n = f_m$, we can define a map $f: \mathbb{Z_p} \rightarrow A$ by $f(x) = (f_n(x))$ for each $x \in \mathbb{Z_p}$.

It’s easy to see that $f$ is a continuous ring homomorphism.

Since $∩p^n\mathbb{Z_p} = 0$, $f$ is injective.

Let $x = (x_n) \in A$.

For each n, choose $a_n \in \mathbb{Z_p}$ such that $f_n(a_n) = x_n$.

Since $a_n ≡ a_{n+1}$ (mod $p^n\mathbb{Z_p}$), $(a_n)$ is a Cauchy sequence in $\mathbb{Z_p}$.

Hence there exists $a$ = lim $a_n$ in $\mathbb{Z_p}$.

It’s easy to see that $f(a) = x$. Hence $f$ is surjectve.

It remains to prove that $f$ is an open map.

Let $π_n:A \rightarrow \mathbb{Z_p}/p^n\mathbb{Z_p}$ be the projection map.

Since $f_n = π_nf$, $p^n\mathbb{Z_p} = (f_n)^{-1}(0) = f^{-1}((π_n)^{-1}(0))$.

Hence $f(p^n\mathbb{Z_p}) = (π_n)^{-1}(0)$.

Hence $f(p^n\mathbb{Z_p})$ is open.

**QED**

- Is the product of covering maps a covering map?
- Associativity of the smash product on compactly generated spaces
- Why is $\mathbb{R}/{\sim}$ not first countable at $$, where $x \sim y \Leftrightarrow x = y\text{ or }x,y \in \mathbb{Z}$?
- let ${v_1}, {v_2} $ be orthonormal basis for subspace $W$. Prove that if $z$ is a vector in $W$, then
- Does it always exist an infinite subset of sequences that satisfy this property?
- Inequality for the p norm of a convolution
- Are weak derivatives and distributional derivatives different?
- If $m=\operatorname{lcm}(a,b)$ then $\gcd(\frac{m}{a},\frac{m}{b})=1$
- Birational and faithfully flat $\implies$ isomorphism
- A surjective homomorphism between finite free modules of the same rank
- Nonlinear 1st order ODE involving a rational function
- Proving that $\frac{\csc\theta}{\cot\theta}-\frac{\cot\theta}{\csc\theta}=\tan\theta\sin\theta$
- limit $\lim\limits_{n\to\infty}\left(\sum\limits_{i=1}^{n}\frac{1}{\sqrt{i}} – 2\sqrt{n}\right)$
- Tensor product algebra $\mathbb{C}\otimes_\mathbb{R} \mathbb{C}$
- Why does the taylor series of $\ln (1 + x)$ only approximate it for $-1<x \le 1$?