Isomorphism from group to a product group

Click For Summary
SUMMARY

The discussion centers on determining whether the group G, defined as ℂx (the multiplicative group of non-zero complex numbers), is isomorphic to the product group HXK, where H is the unit circle and K is the positive real numbers. The isomorphism condition requires that H intersect K is the identity, HK equals G, and both H and K must be normal subgroups of G. The user contemplates the representation of the unit circle as cos(θ) + i*sin(θ) and explores the implications of this representation on the isomorphism.

PREREQUISITES
  • Understanding of group theory concepts, specifically isomorphisms.
  • Familiarity with complex numbers and their representation in polar form.
  • Knowledge of subgroup properties, including normal subgroups.
  • Basic operations in group theory, particularly multiplication and addition in groups.
NEXT STEPS
  • Study the properties of normal subgroups in group theory.
  • Learn about the structure and properties of the unit circle in complex analysis.
  • Explore the concept of product groups and their isomorphisms in abstract algebra.
  • Investigate the bijection between polar and Cartesian coordinates in complex numbers.
USEFUL FOR

This discussion is beneficial for students and researchers in abstract algebra, particularly those studying group theory and complex analysis. It is also relevant for anyone interested in the properties of isomorphic groups and their applications.

EV33
Messages
192
Reaction score
0

Homework Statement



Determine whether or not G is isomorphic to the product group HXK.

G=ℂx
H={unit circle}
K={Positive real numbers}



Homework Equations



Let H and K be subroups of G, and let f:HXK→G be the multiplication map, defined by f(h,k)=hk. Its image is the set HK={hk: h in H, k in K}.

f is an isomorphism from the product group HXK to G iff H intersect K is the identity,HK=G, and also H and K are normal subgroups of G.


The Attempt at a Solution



My actual question is how am I supposed to look at the unit circle?
I know if I view it as all the points (a,b) on the unit circle then its intersection with K would be the empty set and thus G wouldn't be isomorphic to HXK.

but I have a feeling that is too simple. Am I potentially supposed to view the unit circle as cos(θ)+i*sin(θ) where θ is in ℝ?
 
Last edited:
Physics news on Phys.org
Any complex number in ℂx can be represented as re and the reverse holds as well.
So z → (r,θ) is a bijection.
If you define the operations in HxK to be regular multiplication, respectively regular addition, you have preservation of the operation, since it literally is the same.
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
5K
Replies
5
Views
3K
Replies
7
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
4K
  • · Replies 9 ·
Replies
9
Views
9K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
3
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K