An asymptotic Freiheitssatz for finitely generated groups
type: Item
instance of: scholarly article
title: An asymptotic Freiheitssatz for finitely generated groups
zbMATH Open document ID: 0987.20012
author: Pierre-Alain Cherix
author: Gilles Schaeffer
published in: L'Enseignement Mathématique. 2e Série
publication date: 2001-01-30T00:00:00Z
review text: The authors consider a generalization of \textit{W. Magnus}' well-known Freiheitssatz [Math. Ann. 106, 295-307 (1932; Zbl 0004.09709)] in a certain statistical sense: in almost every group presented with finitely many relations and with \(k\) generators a subgroup generated by \(k-1\) generators is a free group. Namely, let \(G=\langle X\mid R\rangle=\langle X\mid r_1,\dots,r_l\rangle\) be a group presentation with a generating system \(X\) of \(k\geq 2\) elements and with \(l\geq 1\) (cyclically reduced) relations \(r_1=1,\dots,r_l=1\) of lengths \(|r_i|=n_i\); \(i=1,\dots,l\). Denote by \(Pr(X,n_1,\dots,r_l)\) the set of group presentations of the type mentioned. It is clear that \(|Pr(X,n_1,\dots,r_l)|<\infty\) holds. A given property \(P\) of group presentations is said to be generic in the sense of Gromov if \[ \lim_{n\to\infty}{{|\{\langle X\mid R\rangle\in Pr(X,n_1,\dots,r_l)\mid\langle X\mid R\rangle{\text{ satisfies }}P\}|}\over{|Pr(X,n_1,\dots,r_l)|}}=1, \] where \(n=\min\{n_1,\dots,r_l\}\). The authors prove the following fact. Let \(G=\langle X\mid R\rangle\) be a finite presentation with \(k\) generators, \(l\) relations and with any fixed \(x_0\in X\). Then the fact that the set \(X-\{x_0\}\) generates a free group in \(G\) is generic in the sense of Gromov (Theorem 1.1). This result is closely related to a result of \textit{G. N. Arzhantseva} and \textit{A. Yu. Ol'shanskij} [Mat. Zametki 59, No. 4, 489-496 (1996; Zbl 0877.20021)] who proved a more general statement but for a different notion of genericity.
reviewed by: Vahagn H. Mikaelian
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20E07
Mathematics Subject Classification ID: 20E05
zbMATH DE Number: 1558717
zbMATH Keywords: free subgroups
zbMATH Keywords: asymptotic Freiheitssatz
zbMATH Keywords: numbers of presentations
MaRDI profile type: Publication
Recommended article: The class of groups all of whose subgroups with lesser number of generators are free is generic
Recommended article: Q4257100
Recommended article: ON GROWTH OF GROUPS WITH FEW RELATORS
Recommended article: Statistical properties of subgroups of free groups
Recommended article: Cocroissance Des Groupes À Petite Simplification
Recommended article: A property of subgroups of infinite index in a free group
Recommended article: On two distributions of subgroups of free groups
Recommended article: The free group on \(n\) generators modulo \(n + u\) random relations as \(n\) goes to infinity
Recommended article: Groups with Presentations in Which Each Defining Relator Involves Exactly Two Generators
Recommended article: Freiheitssatz and phase transition for the density model of random groups
description: scientific article; zbMATH DE number 1558717