BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We construct the first examples of an algorithmically complex finitely presented residually finite groups and first examples of finitely presented residually finite groups with arbitrarily large (recursive) Dehn function and depth function. The groups are solvable of class 3. We also prove that the universal theory of finite solvable of class 3 groups is undecidable.
It is known that the bounded Geodesic Length Problem in free metabelian groups is NP-complete (in particular, the Geodesic Problem is NP-hard). We construct a 2-approximation polynomial time deterministic algorithm for the Geodesic Problem. We show that the Geodesic Problem in the restricted wreath product of a finitely generated non-trivial group with a finitely generated abelian group containing Z2 is NP-hard and there exists a Polynomial Time Approximation Scheme for this problem. We also show that the Geodesic Problem in the restricted wreath product of two finitely generated non-trivial abelian groups is NP-hard if and only if the second abelian group contains Z2.
A group is called Λ-free if it has a free Lyndon length function in an ordered abelian group Λ, which is equivalent to having a free isometric action on a Λ-tree. A group has a regular free length function in Λ if and only if it has a free isometric action on a Λ-tree so that all branch points belong to the orbit of the base point. In this paper we prove that every finitely presented Λ-free group G can be embedded into a finitely presented group with a regular free length function in Λ so that the length function on G is preserved by the embedding. Next, we prove that every finitely presented group G with a regular free Lyndon length function in Λ has a regular free Lyndon length function in Rn ordered lexicographically for an appropriate n and can be obtained from a free group by a series of finitely many HNN-extensions in which associated subgroups are maximal abelian and length isomorphic.
In this paper we describe finitely generated groups H universally equivalent (with constants from G in the language) to a given torsion-free relatively hyperbolic group G with free abelian parabolics. It turns out that, as in the free group case, the group H embeds into the Lyndon's completion GZ[t] of the group G, or, equivalently, H embeds into a group obtained from G by finitely many extensions of centralizers. Conversely, every subgroup of GZ[t] containing G is universally equivalent to G. Since finitely generated groups universally equivalent to G are precisely the finitely generated groups discriminated by G the result above gives a description of finitely generated groups discriminated by G.
We prove that the problems of deciding whether a quadratic equation over a free group has a solution is NP-complete.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.