Show that two rings are not isomorphic

  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Rings
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
3 replies · 2K views
Mr Davis 97
Messages
1,461
Reaction score
44

Homework Statement


Show that the rings ##2 \mathbb{Z}## and ##3 \mathbb{Z}## are not isomorphic.

Homework Equations

The Attempt at a Solution


I know how to show that two structures are isomorphic: find an isomorphism. However, I am not quite sure how to show that there exists no isomorphism at all
 
Physics news on Phys.org
Mr Davis 97 said:

Homework Statement


Show that the rings ##2 \mathbb{Z}## and ##3 \mathbb{Z}## are not isomorphic.

Homework Equations

The Attempt at a Solution


I know how to show that two structures are isomorphic: find an isomorphism. However, I am not quite sure how to show that there exists no isomorphism at all
I don't have any help for you but I have to comment that your post gave me a chuckle because my son and I were just recently discussing a linguistic phenomenon that I noticed some time ago. I make no representation that I know what YOU mean, but I know what I mean, and what most people mean with the following construct:

"I don't exactly know how to ... " or "I don't quite know how to ... " generally means "I don't have even the tiniest clue how to and in fact I'm not even sure how to spell it" :biggrin:
 
  • Like
Likes   Reactions: nuuskur and Mr Davis 97
Suppose, for a contradiction, a ring isomorphism [itex]f :2\mathbb{Z}\to3\mathbb{Z}[/itex] existed. Then [itex]f(2) = 3m[/itex] for some [itex]m\in\mathbb{Z}[/itex].
Since [itex]f[/itex] respects addition and multiplication, then [itex]f(2)+f(2) =f(2+2) =f(4)= f(2\cdot 2)=f(2)\cdot f(2)[/itex]. But this is a problem. Can you explain, why?
 
Last edited:
  • Like
Likes   Reactions: Mr Davis 97