Elementary group equivalence with the integral length function (Q1074717)

The main concern of this paper is the elementary equivalence of classes of free groups with operators and free products with a length function. They use a number of results about free groups, free products and free operator groups, and results about multi-base models, partial isomorphisms and elementary equivalence, \(\omega\)-isomorphism and regular definability. Detailed definitions are too long to give here. The main model considered is \(\Gamma\) (X,A), the free A-operator group with basis X, and with a length function. They show that a number of predicates are formula definable in \(\Gamma\) (X,A). The idea of rational coordinatization involves a group having a finite pseudo-base such that every element is expressible as a product of elements from the pseudo- base raised to rational powers. The classes of finite groups, quasi-cyclic groups, abelian torsion-free groups, polycyclic groups, torsion-free solvable groups of finite rank and Chernikov groups admit rational coordinatization. The major results deal with elementary equivalence of groups. The authors show that if X and Y are sets, A and B are groups, then \(\Gamma\) (X,A) is elementarily equivalent to \(\Gamma\) (Y,B) if the cardinalities of X and Y are either equal or infinite and the groups A and B are \(\omega\)-isomorphic. If A admits rational coordinatization, then \(\Gamma\) (X,A) is elementarily equivalent to \(\Gamma\) (Y,B) if and only if the cardinalities of X and Y are either equal or infinite and groups A and B are isomorphic. Two more results deal with the elementary equivalence of free products with a length function in a similar way.