(1) Manitoba University, Winnipeg, Canada;(2) Novosibirsk State University of Architecture and Building, Novosibirsk, Russia
Abstract:
We study the first-order definable, Diophantine, and algebraic subsets in the set of all ordered sets generating a group or generating a group as a normal subgroup for some relatively free solvable groups.