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).

Decidability Of Term Algebras Extending Partial Algebras

Remarks on the Sequential Effect Algebras

Quantifier Free Definability on Infinite Algebras

The Precise Complexity of Reasoning in $\mathcal{ALC}$ with $ω$-Admissible Concrete Domains (Extended Version)

Two algorithms to decide Quantifier-free Definability in Finite Algebraic Structures

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)

Partial Algebras and Implications of (Weak) Matrix Properties

The Category of -Effect Algebras: Tensor Product and -Completion

Finite Abelian algebras are dualizable

Quantum Expanders and Quantifier Reduction for Tracial von Neumann Algebras

Dualizable algebras with parallelogram terms

Completeness and Well-Definability of a Provability Degree Measure in Sufficiently Powerful Formal Systems, and Finite-Time Effective Knowers

Finitely Presented Expansions of Groups, Semigroups, and Algebras

An ExpTime Upper Bound for $\mathcal{ALC}$ with Integers (Extended Version)

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

Subcompletions of representable relation algebras

Π 01-presentations of algebras ∗

Complete representation by partial functions for signatures containing antidomain restriction

A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications

On the Decidability of Presburger Arithmetic Expanded with Powers