RATIONAL SETS IN FINITELY GENERATED NILPOTENT GROUPS

We deal with a 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 union, a product of two sets. and under generating 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 nilpotent 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.