Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
5771992 | Journal of Algebra | 2017 | 14 Pages |
Abstract
In this paper, we study the pro-nilpotent group topology on a free group. First we describe the closure of the product of finitely many finitely generated subgroups of a free group in the pro-nilpotent group topology and then present an algorithm to compute it. We deduce that the nil-closure of a rational subset of a free group is an effectively constructible rational subset and hence has decidable membership. We also prove that the Gnil-kernel of a finite monoid is computable and hence pseudovarieties of the form VâGnil have decidable membership problem, for every decidable pseudovariety of monoids V. Finally, we prove that the semidirect product JâGnil has a decidable membership problem.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
Authors
J. Almeida, M.H. Shahzamanian, B. Steinberg,