157 research outputs found
On the rational subset problem for groups
We use language theory to study the rational subset problem for groups and
monoids. We show that the decidability of this problem is preserved under graph
of groups constructions with finite edge groups. In particular, it passes
through free products amalgamated over finite subgroups and HNN extensions with
finite associated subgroups. We provide a simple proof of a result of
Grunschlag showing that the decidability of this problem is a virtual property.
We prove further that the problem is decidable for a direct product of a group
G with a monoid M if and only if membership is uniformly decidable for
G-automata subsets of M. It follows that a direct product of a free group with
any abelian group or commutative monoid has decidable rational subset
membership.Comment: 19 page
The submonoid and rational subset membership problems for graph groups
We show that the membership problem in a finitely generated submonoid of a
graph group (also called a right-angled Artin group or a free partially
commutative group) is decidable if and only if the independence graph
(commutation graph) is a transitive forest. As a consequence we obtain the
first example of a finitely presented group with a decidable generalized word
problem that does not have a decidable membership problem for finitely
generated submonoids. We also show that the rational subset membership problem
is decidable for a graph group if and only if the independence graph is a
transitive forest, answering a question of Kambites, Silva, and the second
author. Finally we prove that for certain amalgamated free products and
HNN-extensions the rational subset and submonoid membership problems are
recursively equivalent. In particular, this applies to finitely generated
groups with two or more ends that are either torsion-free or residually finite
Submonoids and rational subsets of groups with infinitely many ends
In this paper we show that the membership problems for finitely generated
submonoids and for rational subsets are recursively equivalent for groups with
two or more ends
Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products
It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even holds if the group elements are represented in a compressed form by SLPs, which generalizes the classical NP-completeness result of the integer knapsack problem. We also prove general transfer results: NP-membership of the knapsack problem is passed on to finite extensions, HNN-extensions over finite associated subgroups, and amalgamated products with finite identified subgroups
- …