18
$\begingroup$

Is $\mathbb{Z}$ isomorphic to $\mathbb{Z}_2\oplus\mathbb{Z}_3\oplus\mathbb{Z}_5\oplus\mathbb{Z}_7\oplus \cdots$?

This seems like a natural conceptual extension of the Chinese remainder theorem but I'm not sure how it would work with an infinite sum.

$\endgroup$
9
  • $\begingroup$ $\mathbb{Z}$ is merely a subring. $\endgroup$
    – user14972
    Mar 6, 2013 at 18:33
  • 1
    $\begingroup$ Isomorphic in which category? And what does $\mathbb{Z}_p$ mean? $p$-adics or $\mathbb{Z}/(p)$? $\endgroup$ Mar 6, 2013 at 18:35
  • 4
    $\begingroup$ @Hurkyl $\bf Z$ is a subring of $\prod\limits_p{\bf F}_p$, yes, but $\bigoplus\limits_p{\bf F}_p$, no. $\endgroup$
    – anon
    Mar 6, 2013 at 18:42
  • 1
    $\begingroup$ You should prove for yourself that you can't write $\mathbb Z$ as a non-trivial product. $\endgroup$
    – JSchlather
    Mar 6, 2013 at 18:44
  • $\begingroup$ @MartinBrandenburg $\mathbb{Z}_p$ here refers to $C_p$ or $\mathbb{Z}/(p\mathbb{Z})$. I meant it as a group isomorphism, but I'd be interested if the answer is different as a ring (or other category). $\endgroup$ Mar 6, 2013 at 19:02

4 Answers 4

37
$\begingroup$

$(1,0,0,0,0,....)$ has order $2$ in $\mathbb{Z}_2\oplus\mathbb{Z}_3\oplus\mathbb{Z}_5\oplus\mathbb{Z}_7\oplus...$

No element in $\mathbb{Z}$ has order $2$.

$\endgroup$
2
  • 1
    $\begingroup$ You were faster, +1 and delete. $\endgroup$
    – Julien
    Mar 6, 2013 at 18:32
  • $\begingroup$ Oh wow, of course. Duh. $\endgroup$ Mar 6, 2013 at 18:54
13
$\begingroup$

There is a natural map $\mathbb{Z} \to \prod_{p^k} \mathbb{Z}/p^k\mathbb{Z}$, where the product runs over all prime powers, given by taking remainders. The Chinese Remainder Theorem shows that this map is injective. Since the LHS is countable and the RHS is uncountable, it cannot be surjective.

However, the following natural question presents itself: "suppose I describe a number by describing its residues modulo all prime powers in a consistent way, e.g. if the number is $1 \bmod 4$ then it must also be $1 \bmod 2$. What kind of object do I get if I don't get an integer back?" The answer is that you get a profinite integer. The profinite integers $\hat{\mathbb{Z}}$ are a direct product of the $p$-adic integers $\mathbb{Z}_p$ over all primes $p$, which is in some sense the correct salvage of your conjecture.

$\endgroup$
10
$\begingroup$

Every element in the direct sum has a finite order. To see this, note that an element in the direct sum is a sequence of finitely many non-zero elements, and in the coordinate $n$ the element is less than $p_n$ (the $n$-th prime).

Let $\bar a= \langle a_i\mid i\in\Bbb N\rangle$ be an element, and let $a_{k_1},\ldots,a_{k_n}$ be its non-zero coordinates. Take $m$ to be the $\operatorname{lcm}(k_1,\ldots,k_n)$ then we have that $m\cdot\bar a$ has to be $\bar 0$, the zero sequence, since for every $a_{k_i}$ we have some $t_i$ such that $m\cdot a_{k_i}=t_i\cdot k_i\cdot a_{k_i}\equiv 0\pmod{k_i}$.

So not only the direct sum is not isomorphic, there is no embedding from $\Bbb Z$ into the direct sum or vice versa either, since no element of $\Bbb Z$ has a finite order and no element of the direct sum has an infinite order.

$\endgroup$
3
  • $\begingroup$ So if I changed this to $\otimes_{p\in \mathbb{P}} \mathbb{Z}_p$, would I be able to embed $\mathbb{Z}\rightarrow \otimes_{p\in \mathbb{P}} \mathbb{Z}_p$ by $1\mapsto (1,1,1,1,1,1,1,1,\ldots)$? $\endgroup$ Mar 6, 2013 at 18:57
  • 5
    $\begingroup$ @SamuelHandwich There is a diagonal embedding of rings ${\bf Z}\to\prod_p{\bf F}_p$, yes (and the image is clearly proper, since it is countable while the infinite product is uncountable). The $\LaTeX$ for a product is \prod for $\prod$, not \otimes for $\otimes$; the latter symbol refers to tensor products which are very different. Indeed infinite tensor products are considerably harder to even describe. $\endgroup$
    – anon
    Mar 6, 2013 at 20:03
  • 3
    $\begingroup$ + Nice Asaf. you killed the poor $\mathbb Z$ $\endgroup$
    – Mikasa
    Mar 7, 2013 at 20:07
5
$\begingroup$

And, after the good points in the comments and other answers, there is something going on here... the projective limit of the quotients $\mathbb Z/n$ is the product of all p-adic integers as p varies over primes. :)

$\endgroup$
2
  • $\begingroup$ Is that also the projective limit of $\mathbb{Z}/p\mathbb{Z}$? (Also, what does that mean?) $\endgroup$ Mar 6, 2013 at 18:55
  • 1
    $\begingroup$ The quotients $\mathbb Z/p$ with p varying over primes don't really map to each other... but $\mathbb Z/p^k$ as $k$ varies have projective limit the p-adic integers $\mathbb Z_p$. "Projective limit" is a standard notion: a proj lim of abelian groups $A_i$ with $i$ in a poset and $f_{ij}:A_i\rightarrow A_j$ is an ab gp $A$ mapping to all $A_i$ compatibly with the $f_{ij}$'s and so that given compatible $F_:A_i\rightarrow B$ for ab gp $B$, there is unique compatible $A\rightarrow B$. (One should see examples and such... more than there is room for here...) $\endgroup$ Mar 6, 2013 at 19:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.