Is G/N Abelian If N Contains All Commutators in a Group?

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
betty2301
Messages
21
Reaction score
0
urgent another group theory problem sorry

Homework Statement


Let G be a group with normal subgroup N. Prove that G/N is an abelian group of and only of N contains elements [itex]aba^{-1}b^{-1}[/itex] for all a,b in G.


Homework Equations


commutator


The Attempt at a Solution


G/N i know it is the factor group...but abelian factor group is really new to me.
my knowdge in commutator is weak as my professor did not teach this.
help!1
 
Physics news on Phys.org


An element of the form [itex]aba^{-1}b^{-1}[/itex] is called a commutator. The standard notation is [itex][a,b] = aba^{-1}b^{-1}[/itex].

Note that [itex]a[/itex] and [itex]b[/itex] commute iff [itex][a,b] = 1[/itex].

So you need to show that [itex][aN, bN] = 1[/itex] iff [itex][a,b] \in N[/itex]. There isn't much to it.