The commutator subgroups of free groups and surface groups (Q2674717): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(4 intermediate revisions by 4 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: MathOverflow / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 2101.05905 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Residual Finiteness of Surface Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial group theory. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Über Beziehungen zwischen höheren Kommutatoren. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4135772 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the self-intersections of curves deep in the lower central series of a surface group / rank
 
Normal rank
Property / cites work
 
Property / cites work: An infinite presentation of the Torelli group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Small generating sets for the Torelli group / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5341863 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Basis of Bachmuth Type in the Commutator Subgroup of a Free Group / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Immersion of an Open 3-Manifold in Euclidean 3-Space / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 02:38, 30 July 2024

scientific article
Language Label Description Also known as
English
The commutator subgroups of free groups and surface groups
scientific article

    Statements

    The commutator subgroups of free groups and surface groups (English)
    0 references
    0 references
    14 September 2022
    0 references
    Let \(F_n\) be the free group on \(\{x_1,\dots,x_n\}\). The commutator subgroup \([F_n,F_n]\) is an infinite-rank free group and its abelianization is a \(\mathbb{Z}[\mathbb{Z}^n]\) module. In this paper, the author addresses the following questions: \begin{itemize} \item[(1)] Is it possible to find a ``simple'' free generating set for the commutator subgroup of \(F_n\)? \item[(2)] What kind of \(\mathbb{Z}[\mathbb{Z}^n]\) module is the abelianization of the commutator subgroup of \(F_n\)? Is it possible to describe it in terms of simpler representations and calculate its homology? \end{itemize} \textit{W. Tomaszewski} [Can. Math. Bull. 46, No. 2, 299--303 (2003; Zbl 1031.20015)] constructed a simple free generating set for the commutator subgroup of a free group. Tomaszewski's proof of it was combinatorial and involved extensive calculations with commutator identities. In this paper, the author gives a new geometric proof of his theorem, that is calculation-free. The author also shows how to give a similar free generating set for the commutator subgroup of a surface group (Theorem B) and computes their homology. The author shows that the abelianization of \([F_2,F_2]\)is a free \(\mathbb{Z}[\mathbb{Z}^2]\) module, while for \(n \geq 3\), the abelianization of \([F_n,F_n]\) is not a free \(\mathbb{Z}[\mathbb{Z}^n]\) module (Theorem C). Theorems D, E and F describe the structure of the abelianization of \([F_n,F_n]\) as a \(\mathbb{Z}[\mathbb{Z}^n]\) module.
    0 references
    free groups
    0 references
    surface groups
    0 references
    commutator groups
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references