Proving Normality of [G,G] in G: A Commutator Question

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
  • Tags Tags
    Commutator
Click For Summary
SUMMARY

The discussion centers on proving that the commutator subgroup [G,G] is normal in the group G. The key assertion is that for any element k in G, the expression kghg^{-1}h^{-1}k^{-1} can be rewritten as a commutator aba^{-1}b^{-1} for some elements a and b in G. The initial attempts to manipulate the expression were unsuccessful, but the suggestion to conjugate the elements g and h by the same element provides a clear direction for the proof.

PREREQUISITES
  • Understanding of group theory concepts, particularly commutators.
  • Familiarity with the definition and properties of normal subgroups.
  • Knowledge of group notation and operations, specifically the notation for elements and inverses.
  • Basic skills in algebraic manipulation of group elements.
NEXT STEPS
  • Study the properties of normal subgroups in group theory.
  • Learn about the structure and significance of commutator subgroups.
  • Explore examples of groups where the normality of the commutator subgroup is demonstrated.
  • Investigate the implications of the normality of [G,G] in the context of group homomorphisms.
USEFUL FOR

This discussion is beneficial for mathematicians, particularly those specializing in abstract algebra, group theorists, and students seeking to deepen their understanding of subgroup properties and commutator relations.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
Perhaps someone will help me in this.
I need to prove that the group [G,G] of elements of the form [tex]gh g^{-1}h^{-1}[/tex] where g,h in G, is normal in G, i.e if k is in G, then [tex]kghg^{-1}h^{-1}k^{-1}=aba^{-1}b^{-1}[/tex] for some a,b in G.
I tried writing it as [tex]kghkk^{-1}g^{-1}h^{-1}k^{-1}[/tex], but here is where my attmempt run down the mill, as in not successful.
Any hints?
 
Physics news on Phys.org
Conjugate two elements g,h by the same element and compute the commutator.
 
Ok, thanks.
 

Similar threads

  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
48
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K