The commutator subgroups of free groups and surface groups

Abstract

A beautifully simple free generating set for the commutator subgroup of a free group was constructed by Tomaszewski. We give a new geometric proof of his theorem, and show how to give a similar free generating set for the commutator subgroup of a surface group. We also give a simple representation-theoretic description of the structure of the abelianizations of these commutator subgroups and calculate their homology.

20 pages, 4 figures; minor revision; to appear in Enseign. Math

Cited by in corpus (2)

• Effective finite generation for [IA_n,IA_n] and the Johnson kernel
• Cutting and Pasting in the Torelli subgroup of Out($F_n$)