Must certain rings be isomorphic to $\mathbb{Z}[\sqrt{a}]$ for some $a$

146 Views Asked by At

Consider the group $(\mathbb{Z}\times\mathbb{Z},+)$, where $(a,b)+(c,d)=(a+c,b+d)$. Let $\times$ be any binary operation on $\mathbb{Z}\times\mathbb{Z}$ such that $(\mathbb{Z}\times\mathbb{Z},+,\times)$ is a ring. Must there exist a non-square integer "$a$" such that $$(\mathbb{Z}\times\mathbb{Z},+,\times)\cong\mathbb{Z}[\sqrt{a}]?$$

Thank you.

Edit: Chris Eagle noted that setting $x\times y=0$ for all $x,y\in\mathbb{Z}\times\mathbb{Z}$ would provide a counterexample. I would like to see other ecounterexamples though.

2

There are 2 best solutions below

0
On BEST ANSWER

Probably the most natural counterexample is the following:

If the operation $\times$ is defined such that the resulting ring is simply product of two copies of the usual ring $(\mathbb{Z},+,\times)$ (that is, if we set $(a,b)\times(c,d)=(ac,bd)$), then, again, no isomorphism exists, since the resulting ring $\mathbb{Z}\times \mathbb{Z}$ is not an integral domain and $\mathbb{Z}[\sqrt{a}]$ is.

1
On

No. For example, the zero ring on the group $\Bbb{Z} \times \Bbb{Z}$ is not of this form.