Rational sets in finitely generated nilpotent groups. (Russian, English) Zbl 1054.20015

Algebra Logika 39, No. 4, 379-394 (2000); translation in Algebra Logic 39, No. 4, 215-223 (2000).
Summary: We deal with the class of rational subsets of a group, that is, the least class of its subsets which contains all finite subsets and is closed under taking unions, products of two sets, and under generation of a submonoid by a set. It is proved that the class of rational subsets of a finitely generated nilpotent group \(G\) is a Boolean algebra iff \(G\) is Abelian-by-finite. We also study the question asking under which conditions the set of solutions for equations in groups will be rational. It is shown that the set of solutions for an arbitrary equation in one variable in a finitely generated group of class 2 is rational. And we give an example of an equation in one variable in a free nilpotent group of nilpotency class 3 and rank 2 whose set of solutions is not rational.


20F18 Nilpotent groups
20F05 Generators, relations, and presentations of groups
20F65 Geometric group theory
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
20M35 Semigroups in automata theory, linguistics, etc.
20M05 Free semigroups, generators and relations, word problems
Full Text: EuDML