Group Theory: Proving Non-Isomorphism of G_n and G_m

Click For Summary
SUMMARY

The discussion focuses on proving that the groups G_n and G_m are not isomorphic when n and m are distinct natural numbers. The groups are defined as G_n = {(a,b) in (C*) * C ; (a,b).(a',b')=( aa', b+(a^n)b' )}. It is established that an isomorphism between G_n and G_m would imply a corresponding isomorphism between their parent group G, which is defined as pairs (t,s) in C * C with the group law (t,s).(t',s')=(t+t',s+(e^t)s'). The hint provided emphasizes the need to analyze the short exact sequences and the concept of lifting to demonstrate the non-isomorphism.

PREREQUISITES
  • Understanding of group theory concepts, specifically semidirect products.
  • Familiarity with the structure of complex numbers and their operations.
  • Knowledge of exact sequences in algebraic topology or abstract algebra.
  • Experience with isomorphisms and homomorphisms in group theory.
NEXT STEPS
  • Study the properties of semidirect products in group theory.
  • Learn about exact sequences and their applications in algebra.
  • Explore the concept of lifting in the context of group homomorphisms.
  • Review the exercises in "Representation Theory" by Fulton and Harris for deeper insights.
USEFUL FOR

Mathematicians, particularly those specializing in abstract algebra and group theory, as well as students studying representation theory and its applications.

arz2000
Messages
14
Reaction score
0
Hi all,

Consider the groups G_n= {(a,b) in (C*) * C ; (a,b).(a',b')=( aa', b+(a^n)b' )}
where n is in N. Show that if n and m are distinct, then the two groups G_n and G_m are not isomorphic.

Ps. In fact G_n = G/ nZ , where G is the group of pairs (t,s) in C * C with group law (t,s). (t',s')=(t+t',s+(e^t)s')

Hint. An isomorphism G_n ~ G_m would lift to a map from G to G, show that this map whould have to be an isomorphism.
(re. exercise 10.2 of Representation Theory by Fulton and Harris)


Many Thanks
 
Physics news on Phys.org
To use the hint, write down the corresponding two short exact sequences (the groups are semidirect products!) and then formulate what "lift" means and why you get two different structures on ##G##.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 17 ·
Replies
17
Views
7K