1
$\begingroup$

Given a rank-2 group $G= < a,b> $ . Is it true and trivial that $ [G,G] = < [a,b], [b,a] > $ ?

Thanks !

$\endgroup$
3
  • 5
    $\begingroup$ By the way, $[b,a]=[a,b]^{-1}$ so your question asks whether the derived subgroup of any 2-generated group is cyclic. $\endgroup$
    – user6976
    Jul 9, 2012 at 8:03
  • 7
    $\begingroup$ Out of interest, where are all these questions on group theory coming from? $\endgroup$
    – Yemon Choi
    Jul 9, 2012 at 8:38
  • 1
    $\begingroup$ I find it difficult to believe that this trivial question needs four distinct answers. $\endgroup$
    – HJRW
    Jul 10, 2012 at 11:18

4 Answers 4

6
$\begingroup$

No, the derived subgroup of the free group of rank 2 is infinitely generated (as every normal subgroup of infinite index), see W. Magnus, A. Karras, D. Solitar, Combinatorial group theory.

$\endgroup$
0
5
$\begingroup$

Also, every finite non-Abelian simple group is generated by two elements, and no such group has cyclic derived subgroup. (R. Steinberg proved in a uniform manner that simple groups of Lie type are 2-generated, and the alternating groups are easily seen to be 2-generated, so it isn't necessary to invoke the full classification of finite simple groups to answer the question in the negative). For that matter, for $n >3,$ the symmetric group $S_{n} = \langle (12),(12....n) \rangle,$ but its derived group is $A_{n},$ which is not cyclic.

$\endgroup$
1
  • $\begingroup$ The commutator subgroup of <a,b> is of course the normal subgroup generated by [a,b], that is the subgroup generated by all conjugates of [a,b]. $\endgroup$ Jul 9, 2012 at 21:44
4
$\begingroup$

The commutator subgroup of the free group $\langle a,b \rangle$ is freely generated by the set $$\lbrace [a^n,b^m] \mid n,m \in \mathbb Z, nm \neq 0 \rbrace.$$

$\endgroup$
3
$\begingroup$

There is a very general theorem (see Proposition 4 in Chapter 1 of J-P. Serre, Trees. Springer-Verlag Berlin Heidelberg (1980).) which says: Let $A$ and $B$ be two groups. The kernel of the natural quotient map $A\ast B\rightarrow A\times B$ is a free group generated by all commutators of the form $[a,b]$ where $a\in A - \{1\}$ and $b\in B - \{1\}$. Your question is the special case that $A=B=\mathbb{Z}$. In short, it coincides exactly with Andreas' answer.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.