# Prove a commutative ring with characteristic n has a subring isomorphic to $\mathbb{Z}_n$

Let $R$ be a commutative ring with identity such that the characteristic of $R$ is $n$, char$R=n$. Prove that is $n>0$ then $R$ contains a subring isomorphic to $\mathbb{Z}$$_n, the additive group of integers modulo n. Attempt at proof: Consider an isomorphism \phi: R\rightarrow\ \mathbb{Z}$$_n$ defined as $\phi(x)=[r]$$_n$ where $r$ is the remainder when x divides n. Showing then that $\phi$ is well defined and an isomorphism would conclude the proof.

Is this going in the right direction? Or am I totally off?

• It is literally going in the wrong direction. Try $\mathbb Z_n \to R$. ;) – Dustan Levenstein Dec 4 '13 at 1:34
• Another comment is, what do you mean when $x$ divides $n?$. Your elements in the ring need not be integers, or multiples of 1. – LASV Dec 4 '13 at 1:42
• There's no reason for $R$ to be isomorphic to ${\bf Z}_n$. Consider ${\bf Z}_n^2$. – tomasz Dec 13 '13 at 0:31

Think of a map $\psi:\mathbb{Z}\to R$, where $\psi$ is the map you think it should be =]. Further, what is the kernel of this map?
• If the ring is commutative but without unity and $char R=p$ , a prime number then what will be the mapping? Please help me. – nurun nesha Aug 2 '17 at 7:39
• Here I guess you have taken the map $m \to m.1_R$ for m $\in \mathbb Z$ – nurun nesha Aug 2 '17 at 7:41