Showing that two groups are not isomorphic question

  • Context: Undergrad 
  • Thread starter Thread starter Mr Davis 97
  • Start date Start date
  • Tags Tags
    Groups
Click For Summary
SUMMARY

The discussion focuses on demonstrating that the group ##\mathbb{R} - \{0\}## is not isomorphic to the group ##\mathbb{C} - \{0\}##. The key argument presented is based on the solutions to the equations ##x^3 = 1## and ##x^2 = -1##, highlighting that ##\mathbb{R} - \{0\}## has only one solution for the former while ##\mathbb{C} - \{0\}## has three. Additionally, the discussion emphasizes the difference in the number of elements of finite order in both groups, with ##\mathbb{R} - \{0\}## containing two and ##\mathbb{C} - \{0\}## containing infinitely many. The use of the relation ##\varphi(r)=i## is noted as a potential complication in proving the isomorphism.

PREREQUISITES
  • Understanding of group theory concepts, specifically isomorphisms.
  • Familiarity with the properties of the real numbers and complex numbers.
  • Knowledge of polynomial equations and their roots, particularly ##x^2 = -1## and ##x^3 = 1##.
  • Basic grasp of elements of finite order in group theory.
NEXT STEPS
  • Study the properties of isomorphic groups in depth.
  • Research the implications of elements of finite order in group theory.
  • Explore the relationship between polynomial roots and group structures.
  • Investigate the concept of order-preserving mappings in isomorphisms.
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in abstract algebra, as well as students studying group theory and its applications in understanding the structure of mathematical groups.

Mr Davis 97
Messages
1,461
Reaction score
44
I am trying to show that ##\mathbb{R} - \{ 0\}## is not isomorphic to ##\mathbb{C} - \{0 \}##. If we simply look at ##x^3 = 1##, it's clear that ##\mathbb{R} - \{ 0\}## has one solution while ##\mathbb{C} - \{0 \}## has three.

My question, how can I use ##x^2 = -1## to show that they are not isomorphic? Using ##x^3 = 1## is more clear because any isomorphism would preserve powers and preserve the identity. But using ##x^2 = -1## is less clear to me.
 
Physics news on Phys.org
Interesting question. I would consider all elements of finite order. There are only two of them in ##\mathbb{R}-\{0\}## and infinitely many in ##\mathbb{C}-\{0\}##. But if you only want to use the single relation ##\varphi(r)=i## it's a bit tricky, because one easily falls into unproven statements like the ordering of the two sets and an assumed isomorphism isn't necessarily order preserving. Do you have any ideas?

Edit: I think I got it: Consider ##\varphi(-1)\cdot \varphi (-1)##.
 
  • Like
Likes   Reactions: Mr Davis 97

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
987
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K