Prove these groups are not isomorphic

  • Thread starter Thread starter gtfitzpatrick
  • Start date Start date
  • Tags Tags
    Groups
Click For Summary

Homework Help Overview

The discussion revolves around proving that the group of real numbers under addition, R, is not isomorphic to the group of non-zero real numbers under multiplication, R^*. Participants explore various approaches to demonstrate this non-isomorphism.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants discuss the function φ(x) = -x as a potential isomorphism and question its validity. Some suggest that proving one function is not an isomorphism does not rule out the existence of another. Others propose a contradiction approach by assuming an isomorphism exists and deriving inconsistencies.

Discussion Status

The discussion is ongoing, with participants providing insights and questioning each other's reasoning. There is no explicit consensus, but several lines of reasoning are being explored, including the implications of mapping elements and the nature of identities in both groups.

Contextual Notes

Participants are grappling with the definitions and properties of isomorphisms, particularly regarding the identity elements in the respective groups and the implications of mapping zero in R to elements in R^*.

gtfitzpatrick
Messages
372
Reaction score
0

Homework Statement



prove that R under addition is not isomorphic to[tex]R^*[/tex], the group of non zero real numbers under multiplication.

Homework Equations





The Attempt at a Solution



[tex]\varphi:(R,+) \rightarrow (R^* , .)[/tex]
let [tex]\varphi[/tex](x) = -x
then [tex]\varphi[/tex](x+y) = -(x+y) = -x-y
[tex]\neq \varphi(x)\varphi(y) = (-x)(-y) = xy \neq -x-y[/tex]
since these are not equal it proves they are not isomorphic?
im a little confused about this, am i doing this right?
Thanks all
 
Physics news on Phys.org


how about considering multiplication by zero...

and for clarity, with
[tex] \varphi:(R,+) \rightarrow (R^* , .)[/tex]

your notation is not very clear, to clean it up a bit how about writing
[tex] X = \varphi(x)[/tex]

try re-writing the argument you made and see if it makes sense
 


gtfitzpatrick said:
[tex]\varphi:(R,+) \rightarrow (R^* , .)[/tex]
let [tex]\varphi[/tex](x) = -x
then [tex]\varphi[/tex](x+y) = -(x+y) = -x-y
[tex]\neq \varphi(x)\varphi(y) = (-x)(-y) = xy \neq -x-y[/tex]
since these are not equal it proves they are not isomorphic?
im a little confused about this, am i doing this right?
Thanks all

This does not suffice to prove that they are not isomorphic. What you have done now, is prove that [tex]\varphi[/tex] is not an isomorphism. However, there could be another function, that does yield an isomorphism. It's not because one function is not an isomorphism, that there doesn't exist a function that is!

You'll have to proceed by contradiction. Suppose that there does exist an isomorphism [tex]\varphi:(R,+)\rightarrow (R^*,.)[/tex] (and you know nothing else of this function, only that it's an isomorphism!), then try to derive a contradiction.
 


thanks for the replys people,
so i know nothing else about this function only that it is isomophic, So the 2 groups are really the same only "labelled" differently. I am not sure how to use this...
 


So, since you know it is an isomorphism, then there must be an element x which gets sent to -1. But where does x+x gets sent to?
 


gtfitzpatrick said:

Homework Statement



prove that R under addition is not isomorphic to[tex]R^*[/tex], the group of non zero real numbers under multiplication.
Is this really what the problem says? I can't help but wonder about [itex]\phi(x)= e^x[/itex] where [itex]\phi[/itex] is from R to [itex]R^*[/itex]. Why is that not an isomorphism?
 


HallsofIvy said:
Is this really what the problem says? I can't help but wonder about [itex]\phi(x)= e^x[/itex] where [itex]\phi[/itex] is from R to [itex]R^*[/itex]. Why is that not an isomorphism?

R* contains negative numbers. It's not onto.
 


micromass said:
So, since you know it is an isomorphism, then there must be an element x which gets sent to -1. But where does x+x gets sent to?

im not sure if I am thinking along the right lines but x+x get sent to x^2 where as -1-1 = -2 gets sent to +1?
 


gtfitzpatrick said:
im not sure if I am thinking along the right lines but x+x get sent to x^2 where as -1-1 = -2 gets sent to +1?

Partially right. But confused. If phi(x)=(-1) then phi(x+x)=phi(x)*phi(x)=1. Now what does phi(0) have to be? 0 is the identity in R+, yes?
 
  • #10


Dick said:
Partially right. But confused. If phi(x)=(-1) then phi(x+x)=phi(x)*phi(x)=1. Now what does phi(0) have to be? 0 is the identity in R+, yes?

phi(0) = (0)
phi(0+0) = 0 in (R^*, .) but its supposed to be the group of non zero real numbers so we have a contradiction?
 
  • #11


Why would phi(0)=0??
 
  • #12


If phi(x)=(-1) then phi(x+x)=phi(x)*phi(x)=1

so phi(0)=(-1) then phi(0+0)=phi(0)*phi(0)=1

so phi(0) = (1)?
 
  • #13


gtfitzpatrick said:
If phi(x)=(-1) then phi(x+x)=phi(x)*phi(x)=1

so phi(0)=(-1) then phi(0+0)=phi(0)*phi(0)=1

so phi(0) = (1)?

phi(0)=1 all right. But your argument is hardly convincing since it relies on the statement phi(0)=(-1)??! Where did that come from? Can't you really think of something a little more persuasive??
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
1
Views
1K
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K