scholarly journals Equation problem over central extensions of hyperbolic groups

2014 ◽  
Vol 06 (02) ◽  
pp. 167-192 ◽  
Author(s):  
Hao Liang

The Equation problem in finitely presented groups asks if there exists an algorithm which determines in finite amount of time whether any given equation system has a solution or not. We show that the Equation Problem in central extensions of hyperbolic groups is solvable.

2004 ◽  
Vol 70 (2) ◽  
pp. 199-205 ◽  
Author(s):  
Manuel Cárdenas ◽  
Francisco F. Lasheras ◽  
Ranja Roy

In this paper, we show that the direct of infinite finitely presented groups is always properly 3-realisable. We also show that classical hyperbolic groups are properly 3-realisable. We recall that a finitely presented group G is said to be properly 3-realisable if there exists a compact 2-polyhedron K with π1 (K) ≅ G and whose universal cover K̃ has the proper homotopy type of a (p.1.) 3-manifold with boundary. The question whether or not every finitely presented is properly 3-realisable remains open.


2020 ◽  
Vol 8 ◽  
Author(s):  
MARCUS DE CHIFFRE ◽  
LEV GLEBSKY ◽  
ALEXANDER LUBOTZKY ◽  
ANDREAS THOM

Several well-known open questions (such as: are all groups sofic/hyperlinear?) have a common form: can all groups be approximated by asymptotic homomorphisms into the symmetric groups $\text{Sym}(n)$ (in the sofic case) or the finite-dimensional unitary groups $\text{U}(n)$ (in the hyperlinear case)? In the case of $\text{U}(n)$ , the question can be asked with respect to different metrics and norms. This paper answers, for the first time, one of these versions, showing that there exist finitely presented groups which are not approximated by $\text{U}(n)$ with respect to the Frobenius norm $\Vert T\Vert _{\text{Frob}}=\sqrt{\sum _{i,j=1}^{n}|T_{ij}|^{2}},T=[T_{ij}]_{i,j=1}^{n}\in \text{M}_{n}(\mathbb{C})$ . Our strategy is to show that some higher dimensional cohomology vanishing phenomena implies stability, that is, every Frobenius-approximate homomorphism into finite-dimensional unitary groups is close to an actual homomorphism. This is combined with existence results of certain nonresidually finite central extensions of lattices in some simple $p$ -adic Lie groups. These groups act on high-rank Bruhat–Tits buildings and satisfy the needed vanishing cohomology phenomenon and are thus stable and not Frobenius-approximated.


2016 ◽  
Vol 26 (07) ◽  
pp. 1467-1482 ◽  
Author(s):  
Samuel M. Corson

In this paper, we prove the claim given in the title. A group [Formula: see text] is noncommutatively slender if each map from the fundamental group of the Hawaiian Earring to [Formula: see text] factors through projection to a canonical free subgroup. Higman, in his seminal 1952 paper [Unrestricted free products and varieties of topological groups, J. London Math. Soc. 27 (1952) 73–81], proved that free groups are noncommutatively slender. Such groups were first defined by Eda in [Free [Formula: see text]-products and noncommutatively slender groups, J. Algebra 148 (1992) 243–263]. Eda has asked which finitely presented groups are noncommutatively slender. This result demonstrates that random finitely presented groups in the few-relator sense are noncommutatively slender.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Oleg Bogopolski

AbstractWe generalize a well-known periodicity lemma from the case of free groups to the case of acylindrically hyperbolic groups. This generalization has been used to describe solutions of certain equations in acylindrically hyperbolic groups and to characterize verbally closed finitely generated acylindrically hyperbolic subgroups of finitely presented groups.


2005 ◽  
Vol 15 (04) ◽  
pp. 725-756 ◽  
Author(s):  
MARTIN R. BRIDSON ◽  
JAMES HOWIE

There is a quadratic-time algorithm that determines conjugacy between finite subsets in any torsion-free hyperbolic group. Moreover, in any k-generator, δ-hyperbolic group Γ, if two finite subsets A and B are conjugate, then x-1 Ax = B for some x ∈ Γ with ǁxǁ less than a linear function of max {ǁγǁ : γ ∈ A ∪ B}. (The coefficients of this linear function depend only on k and δ.) These results have implications for group-based cryptography and the geometry of homotopies in negatively curved spaces. In an appendix, we give examples of finitely presented groups in which the conjugacy problem for elements is soluble but the conjugacy problem for finite lists is not.


2016 ◽  
Vol 162 (2) ◽  
pp. 249-291 ◽  
Author(s):  
CHRISTOPHER H. CASHEN ◽  
ALEXANDRE MARTIN

AbstractWe construct a ‘structure invariant’ of a one-ended, finitely presented group that describes the way in which the factors of its JSJ decomposition over two-ended subgroups fit together. For hyperbolic groups satisfying a very general condition, these invariants completely reduce the problem of classifying such groups up to quasi-isometry to a relative quasi-isometry classification of the factors of their JSJ decomposition. Under some additional assumption, our results extend to more general finitely presented groups, yielding a far-reaching generalisation of the quasi-isometry classification of some 3–manifolds obtained by Behrstock and Neumann.The same approach also allows us to obtain such a reduction for the problem of determining when two hyperbolic groups have homeomorphic Gromov boundaries.


1968 ◽  
Vol 33 (2) ◽  
pp. 296-297
Author(s):  
J. C. Shepherdson

1991 ◽  
Vol 01 (03) ◽  
pp. 339-351
Author(s):  
ROBERT H. GILMAN

This paper is concerned with computation in finitely presented groups. We discuss a procedure for showing that a finite presentation presents a group with a free subgroup of finite index, and we give methods for solving various problems in such groups. Our procedure works by constructing a particular kind of partial groupoid whose universal group is isomorphic to the group presented. When the procedure succeeds, the partial groupoid can be used as an aid to computation in the group.


Sign in / Sign up

Export Citation Format

Share Document