Show that Z[root 7] is not isomorphic to Z[root 13].

How can i show this by contradiction?

Printable View

- March 7th 2010, 08:16 AMBecksIsomorphic
Show that Z[root 7] is not isomorphic to Z[root 13].

How can i show this by contradiction? - March 7th 2010, 11:16 AMclic-clac
Hi

Assume there is a ring isomorphism

Using the morphism properties, try to find a contradiction with (Remember that, by definition, hence ) - March 7th 2010, 11:34 AMBecks
What are the morphism properties?

- March 7th 2010, 11:52 AMclic-clac
What appears in its definition, for instance, for any and

- March 8th 2010, 09:10 AMBecks
Could you start me off please?

- March 8th 2010, 12:13 PMclic-clac
We started a proof by contradiction, assuming there was an isomorphism

Well, consider you can see it is an element of whose square is (**why?**)

What we have to do now is to prove there is no squared root of in 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 such that

for some and we get since belongs to while is irrational or that means it is i.e.

being irrational, we can say and we finally have impossible: consider their squares and conclude.