$\mathbb{Z}_n$ is not a subring of $\mathbb{Z}$ I come across an example stating that ' $\mathbb{Z}_n$ is not a subring of $\mathbb{Z},n \geq2, n \in \mathbb{Z}$' in the book ' Dummit and Foote , abstract algebra'. Can anyone explain to me why the statement is true?
 A: The ring $\mathbb Z$ is torsion-free, meaning that for all $m\in\mathbb Z$ and $x\in\mathbb Z$, if $m\neq 0$ and $x\neq 0$, then $m\cdot x\neq 0$. Any subring of a torsion-free ring is torsion-free (simply because if you have a torsion relation in the subring, then the same torsion relation holds in the original ring, contradicting the torsion-free assumption). Now, for every $n$, the ring $\mathbb Z_n$ is not torsion-free, since $n\cdot x=0$ for all $x\in\mathbb Z_n$. Therefore, $\mathbb Z_n$ is not a subring of $\mathbb Z$.
A: In $\mathbb Z_n$ there is an element such that if you add it to itself $n$ times you get zero. In $\mathbb Z$ there is no such element.
A: I'd say there are a few (related) reasons that $\Bbb{Z}/n\Bbb{Z}$ isn't a subring of $\Bbb{Z}$. I feel that while the answers above do give ways of seeing that $\Bbb{Z}/n\Bbb{Z}$ is not a subring of $\Bbb{Z}$, they don't get to the why (the comments in Mariano Suárez-Alvarez's answer do address the issue, though).
First of all,
$$
\Bbb{Z}/n\Bbb{Z}\not\subseteq\Bbb{Z}.
$$
The former is a set of equivalence classes of integers, not integers themselves. There are alternate definitions of $\Bbb{Z}/n\Bbb{Z} := \Bbb{Z}_n$, but in each, we do not actually deal with integers. It's always classes of integers under an equivalence relation (specifically, equivalence modulo $n$).
Secondly (and this is related to the first reason as well), the operations on $\Bbb{Z}/n\Bbb{Z}$ and $\Bbb{Z}$ are not the same. In $\Bbb{Z}/n\Bbb{Z}$, we're performing addition and multiplication modulo $n$, and in $\Bbb{Z}$, the operations are normal addition and multiplication. The fact that $\underbrace{1 + 1 + \ldots + 1}_{n\,\mathrm{ times}} = 0$ in $\Bbb{Z}/n\Bbb{Z}$ comes from the fact that $n\equiv 0\mod n$. In $\Bbb{Z}$, we have no such equivalence relation restricting our operations: $\underbrace{1 + 1 + \ldots + 1}_{n\,\mathrm{ times}} = n\neq 0$. Hence, $\Bbb{Z}/n\Bbb{Z}$ cannot be a subring of $\Bbb{Z}$, as it is not a subset and the operations on the two rings are not the same.
A: To add to Mariano’s answer, the only subrings of $ \mathbb{Z} $ are of the form $ n \mathbb{Z} $, where $ n \in \mathbb{N}_{0} $.
A: Let $G = (S,\circ)$ be a group. If $T \subseteq S$ and $H = (T,\circ)$ is a group, then $H$ is called a subgroup of $G$.
Although the underlying set $\mathbb{Z}_n := \{0,1,\dots, n-1\}$ is a subset of $\mathbb{Z}$, the binary operation of $\mathbb{Z}_n$ is addition modulo $n$. Thus, $\mathbb{Z}_n$ can not be a subgroup of $\mathbb{Z}$ because they do not share the same binary operation. Therefore, a fortiori, $\mathbb{Z}_n$ can not be a subring of $\mathbb{Z}$.
