Is R under addition isomorphic to R\{0} under multiplication?

In summary, the conversation is discussing whether or not \mathbb{R} under addition is isomorphic to \mathbb{R}\backslash{0} under multiplication. It is mentioned that \mathbb{R} under addition is isomorphic to \mathbb{R}_{>0} under multiplication using the bijection \phi : \mathbb{R}\rightarrow\mathbb{R}_{>0} with \phi\left(x\right)=e^x. However, this cannot be used for \mathbb{R}\backslash{0} due to the restrictions of the exponential function. The conversation then explores the concept of isomorphism and the fact that if it exists, it must map inverses
  • #1
3029298
57
0

Homework Statement


Is [tex]\mathbb{R}[/tex] under addition isomorphic to [tex]\mathbb{R}\backslash{0}[/tex] under multiplication?

The Attempt at a Solution


It is true that [tex]\mathbb{R}[/tex] under addition is isomorphic to [tex]\mathbb{R}_{>0}[/tex] under multiplication, by using the bijection [tex]\phi : \mathbb{R}\rightarrow\mathbb{R}_{>0}[/tex] with [tex]\phi\left(x\right)=e^x[/tex]. But we cannot use this isomorphism for [tex]\mathbb{R}\backslash{0}[/tex] since the exponential is positive everywhere, and if we define it to be negative for [tex]x<0[/tex] then we cannot map to the interval [tex](0,1)[/tex]. Intuitively this gives a hint that there is no isomorphism possible... Can I do something with the fact that we know that if there is an isomorphism, it must map inverses to inverses, therefore [tex]\phi(0)=1[/tex]? I really need a hint to be able to find the answer... Thanks for any help!
 
Last edited:
Physics news on Phys.org
  • #2
Let [itex]\varphi : (\mathbb{R},+) \to (\mathbb{R}\setminus \{0\},\times)[/itex] be such an isomorphism. For an arbitrary element [itex]x \in \mathbb{R}[/itex] we have:
[tex]\varphi(x) = \varphi(x/2 + x/2) = \varphi(x/2)^2 \geq 0[/tex]
 
  • #3
Beautiful argument! Didn't think of that... thanks!
 

1. What does it mean for two groups to be isomorphic?

Two groups are isomorphic if there exists a bijective function between them that preserves the group structure, meaning that the operation in one group corresponds to the operation in the other group. In other words, the groups are structurally identical.

2. How do we determine if two groups are isomorphic?

To determine if two groups are isomorphic, we need to find a function that maps elements from one group to elements in the other group while preserving the group operation. This function should also be bijective, meaning that every element in the first group must have a unique corresponding element in the second group, and vice versa.

3. Is R under addition isomorphic to R\{0} under multiplication?

Yes, R under addition and R\{0} under multiplication are isomorphic. The function f(x) = e^x maps elements from R\{0} to R and preserves the group operation, making it an isomorphism between the two groups.

4. What are the implications of two groups being isomorphic?

If two groups are isomorphic, it means that they have the same structure, even though they may be defined differently. This allows us to apply results and properties from one group to the other, making it easier to study and understand the groups.

5. Can any two groups be isomorphic?

No, not all groups can be isomorphic. For two groups to be isomorphic, they must have the same number of elements and the same group structure. Therefore, groups with different sizes or different operations cannot be isomorphic.

Similar threads

  • Calculus and Beyond Homework Help
Replies
1
Views
458
  • Calculus and Beyond Homework Help
Replies
3
Views
513
  • Calculus and Beyond Homework Help
Replies
3
Views
544
  • Calculus and Beyond Homework Help
Replies
7
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
14
Views
2K
  • Calculus and Beyond Homework Help
Replies
4
Views
301
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
13
Views
1K
Replies
1
Views
618
Back
Top