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.
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 call a group G {\it algorithmically finite} if no algorithm can produce an infinite set of pairwise distinct elements of G. We construct examples of recursively presented infinite algorithmically finite groups and study their properties. For instance, we show that the Equality Problem is decidable in our groups only on strongly (exponentially) negligible sets of inputs.
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.