132 research outputs found
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
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
Knapsack problems in products of groups
The classic knapsack and related problems have natural generalizations to
arbitrary (non-commutative) groups, collectively called knapsack-type problems
in groups. We study the effect of free and direct products on their time
complexity. We show that free products in certain sense preserve time
complexity of knapsack-type problems, while direct products may amplify it. Our
methods allow to obtain complexity results for rational subset membership
problem in amalgamated free products over finite subgroups.Comment: 15 pages, 5 figures. Updated to include more general results, mostly
in Section
Undecidability of the word problem for one-relator inverse monoids via right-angled Artin subgroups of one-relator groups
We prove the following results: (1) There is a one-relator inverse monoid Inv⟨A|w=1⟩ with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The second of these results is proved by showing that for any finite forest the associated right-angled Artin group embeds into a one-relator group. Combining this with a result of Lohrey and Steinberg (J Algebra 320(2):728–755, 2008), we use this to prove that there is a one-relator group containing a fixed finitely generated submonoid in which the membership problem is undecidable. To prove (1) a new construction is introduced which uses the one-relator group and submonoid in which membership is undecidable from (2) to construct a one-relator inverse monoid Inv⟨A|w=1⟩ with undecidable word problem. Furthermore, this method allows the construction of an E-unitary one-relator inverse monoid of this form with undecidable word problem. The results in this paper answer a problem originally posed by Margolis et al. (in: Semigroups and their applications, Reidel, Dordrecht, pp. 99–110, 1987)
Fixed points of endomorphisms of graph groups
It is shown, for a given graph group , that the fixed point subgroup
Fix is finitely generated for every endomorphism of if
and only if is a free product of free abelian groups. The same conditions
hold for the subgroup of periodic points. Similar results are obtained for
automorphisms, if the dependence graph of is a transitive forest.Comment: 9 page
- …