Subgroup separability and virtual retractions of groups (Q1012369): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.top.2006.04.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2039880836 / rank
 
Normal rank

Latest revision as of 21:42, 19 March 2024

scientific article
Language Label Description Also known as
English
Subgroup separability and virtual retractions of groups
scientific article

    Statements

    Subgroup separability and virtual retractions of groups (English)
    0 references
    0 references
    16 April 2009
    0 references
    Let \(H\subset\Gamma\) be a subgroup of a group \(\Gamma\). If for every \(g\in\Gamma\setminus H\), there is a subgroup \(K\) of finite index in \(\Gamma\) such that \(H\subset K\) but \(g\neq K\), then \(\Gamma\) is called \(H\)-separable. The group \(\Gamma\) is called subgroup separable or LERF if \(\Gamma\) is \(H\)-separable for all finitely generated subgroups \(H\). As one of the main results the authors prove that if \(\Gamma\) is LERF, \(H\) is a finitely generated subgroup and \(\theta: H\to A\) is a homomorphism onto a finite group, then there is subgroup of finite index \(V\) of \(\Gamma\) containing \(H\) and a homomorphism \(\Theta: V\to A\) with \(\Theta|_H= \theta\). Next they introduce the definition of virtual retracts, i.e. \(\Gamma\) virtually retracts onto \(H\) if there is a finite index subgroup \(V\) of \(\Gamma\) with (1) \(H\subset V\), (2) there is a homomorphism \(\theta: V\to H\) which is the identity when restricted to \(H\). \(V\) is called a retractor. Then authors introduce a new property of groups. \(\Gamma\) has Property LR (it admits Local Restriction) if for every finitely generated subgroup \(H\subset\Gamma\), there is a finite index subgroup which retracts to it. For example the authors prove the following result. If \(\Gamma\) is a finitely generated group which virtually embeds into an all right hyperbolic Coxeter subgroup of \(\text{Isom}(\mathbb{H}^n)\), then \(\Gamma\) virtually retracts to its geometrically finite subgroups. Moreover in the article examples of LR groups are given and some open problems and questions are formulated. Also many other results are proved which are formulated in the language of LR groups. Most of them are quite technical. The reader should be familiar with hyperbolic geometry.
    0 references
    separable subgroups
    0 references
    LERF group
    0 references
    virtually retract
    0 references
    LR groups
    0 references
    0 references
    0 references

    Identifiers

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