Abstract:Finitely presented algebraic systems, such as groups and semigroups, are of foundational interest in algebra and computation. Finitely presented algebraic systems necessarily have a computably enumerable (c.e. for short) word equality problem and these systems are finitely generated. Call finitely generated algebraic systems with a c.e. word equality problem computably enumerable. Computably enumerable finitely generated algebraic systems are not necessarily finitely presented. This paper is concerned with finding finitely presented expansions of finitely generated c.e. algebraic systems. The method of expansions of algebraic systems, such as turning groups into rings or distinguishing elements in the underlying algebraic systems, is an important method used in algebra, model theory, and in various areas of theoretical computer science. Bergstra and Tucker proved that all c.e. algebraic systems with decidable word problem possess finitely presented expansions. Then they, and, independently, Goncharov asked if every finitely generated c.e. algebraic system has a finitely presented expansion. In this paper we build examples of finitely generated c.e. semigroups, groups, and algebras that fail to possess finitely presented expansions, thus answering the question of Bergstra-Tucker and Goncharov for the classes of semigroups, groups and algebras. We also construct an example of a residually finite, infinite, and algorithmically finite group, thus answering the question of Miasnikov and Osin. Our constructions are based on the interplay between key concepts and known results from computability theory (such as simple and immune sets) and algebra (such as residual finiteness and the theorem of Golod-Shafaverevich).

Embeddings of relatively free groups into finitely presented groups

Finitely presented residually free groups

On explicit embeddings of $\mathbb{Q}$ into finitely presented groups

On isomorphisms to a free group and beyond

Embedding finitely presented self-similar groups into finitely presented simple groups

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Complete Embeddings of Groups

Metabelian groups with quadratic Dehn function and Baumslag-Solitar groups

On Finite Presentability of Subsemigroups of the Monogenic Free Inverse Semigroup

Finitely presented simple groups with at least exponential Dehn function

Finitely presented condensed groups

Controlled embeddings into groups that have no non-trivial finite quotients

Absolute profinite rigidity, direct products, and finite presentability

Subdirect products of finitely presented metabelian groups

Subgroups of the direct product of graphs of groups with free abelian vertex groups

Groups with presentations in EDT0L

Applications of computational tools for finitely presented groups

On Embedding Theorems for $${\mathfrak {X}}$$-Subgroups

Finitely Presented Expansions of Groups, Semigroups, and Algebras