# How to prove an ideal of a ring R which is defined as a coordinates

#### Cbarker1

##### Active member
Hi Everyone,

I am wondering how to prove an ideal of a ring $R$ which is defined as a coordinates. Let $R$ be the ring of $\mathbb{Z} \times \mathbb{Z}$. Let $I={(a,a)| a\in \mathbb{Z}}$. I determine that the $I$ is a subring of $R$. Next step is to show the multiplication between the elements of $R$ and $I$. But I have read in the book that I need worried about the elements of $R$ and not just $I$.

Thanks,
Cbarker1

#### GJA

##### Well-known member
MHB Math Scholar
Hi Cbarker1 ,

Assuming that multiplication in $R$ is defined as $(a_{1},a_{2})\cdot (b_{1},b_{2}) = (a_{1}b_{1},a_{2}b_{2}),$ $I$ is not an ideal of $R$. For example $(1,0)\cdot(a,a) = (a,0)\notin I$ for any $a\neq 0$.