# Isomorphic

• Mar 7th 2010, 08:16 AM
Becks
Isomorphic
Show that Z[root 7] is not isomorphic to Z[root 13].

How can i show this by contradiction?
• Mar 7th 2010, 11:16 AM
clic-clac
Hi

Assume there is a ring isomorphism $f:\mathbb{Z}[\sqrt{7}]\rightarrow\mathbb{Z}[\sqrt{13}].$

Using the morphism properties, try to find a contradiction with $f(\sqrt{7}).$ (Remember that, by definition, $f(1)=1$ hence $f(7)=?$ )
• Mar 7th 2010, 11:34 AM
Becks
What are the morphism properties?
• Mar 7th 2010, 11:52 AM
clic-clac
What appears in its definition, for instance, for any $x,y,\ f(xy)=f(x)f(y)$ and $f(x+y)=f(x)+f(y).$
• Mar 8th 2010, 09:10 AM
Becks
Could you start me off please?
• Mar 8th 2010, 12:13 PM
clic-clac
We started a proof by contradiction, assuming there was an isomorphism $f:\mathbb{Z}[\sqrt{7}]\rightarrow\mathbb{Z}[\sqrt{13}]$
Well, consider $f(\sqrt{7}),$ you can see it is an element of $\mathbb{Z}[\sqrt{13}]$ whose square is $7$ (why?)
What we have to do now is to prove there is no squared root of $7$ in $\mathbb{Z}[\sqrt{13}],$ assume we already know that, then it's over because we obtained a contradiction.

To show the missing part, we can also use a proof by contradiction: suppose there is a $x\in\mathbb{Z}[\sqrt{13}]$ such that $x^2=7.$
$x=a+b\sqrt{13}$ for some $a,b\in\mathbb{Z}$ and we get $7=a^2+13b^2+2ab\sqrt{13}\ ;$ since $7-a^2+13b^2$ belongs to $\mathbb{Z}$ while $2ab\sqrt{13}$ is irrational or $0,$ that means it is $0,$ i.e. $ab=0.$
$x$ being irrational, we can say $a=0$ and we finally have $x=b\sqrt{13}\ ;$ impossible: consider their squares and conclude.