2
$\begingroup$

Reviewing the book "An Introduction to the Group Theory" By J.J.Rotman, I have found out that I have neglected the way $G'$, the commutator subgroup, becomes a subgroup of a given group $G$.

Unfortunately, I thought; under group operation of $G$: $$[a,b]\ast_G[c,d];\ a,b,c,d\in G$$ should be written as an element of $G'$. But according to problem 2.42:$$[a,b][c,d]=(aba^{-1}b^{-1})(cdc^{-1}d^{-1})=a(ba^{-1})b^{-1}c(dc^{-1})d^{-1}a^{-1}(ab^{-1})bc^{-1}(cd^{-1})d$$ which means that the product of two (or more) commutators need not be a commutator as well. So, how can I explain for a student that $G'$ is a subgroup of $G$ when he doesn't know a free group. In fact, should I only tell him to accept that $G’$ contains some forms like $$x_1*x_2*x_3*\ldots *x_n$$ , $n \geq1$ and each $x_i$ is a commutator in $G$? And tell him some basic facts about free groups and forms of combining their elements? Is there any simple example which I can use for a student, who learns basics of the Group theory? Thanks for any hints.

  • 1
    The difficulty is present for any group given by generators, so I don't think $G'$ should be especially troublesome. $G'$ is the smallest subgroup containing the commutators. It need not be equal to the set of commutators.2012-09-04
  • 0
    @JackSchmidt: Yes I see in exercise 2.43 that P.J.Cassidy gave a example about set of all commutators in a group need not be as subgroup.2012-09-04

1 Answers 1

6

The set of commutators of a group is, in general, not a subgroup.

$G'$ is defined as the subgroup of $G$ generated by commutators, and then it is obviously a subgroup!

  • 1
    See http://mathoverflow.net/questions/44269/commutator-subgroup-does-not-consist-only-of-commutators for examples.2012-09-04
  • 0
    Thanks. The link gave me more than I had expeted.2012-09-04
  • 1
    A very nice exposition is here: http://math.stackexchange.com/questions/7811/derived-subgroups-and-commutators/7885#7885 and of course Isaacs's paper: http://math.uga.edu/~pete/Isaacs77.pdf2012-09-04
  • 0
    Mentioned implicitlym see also *On commutators in groups*, by Luise-Charlotte Kappe and Robert Fitzgerald Morse, http://faculty.evansville.edu/rm43/publications/commutatorsurvey.pdf2012-09-05