Universal theories for rigid soluble groups. (Q695805)

The authors consider a class of rigid solvable groups which generalizes the class of free groups of a given solvability class. They point out a recursive system of universal axioms which distinguishes them in the class of groups of the same solvability class. They also relate the universal theories of related groups, and construct an existential axiom distinguishing rigid groups among those that are universally equivalent to a related wreath product. They finally embed rigid groups into divisible ones, study the universal theories of these new groups and obtain in particular their decidability.