Elementary group equivalence with the integral length function
Chernikov groupselementary equivalenceformula definablefree groups with operatorsfree operator groupsfree productslength functionmulti-base modelspolycyclic groupsrational coordinatizationregular definabilitytorsion- free solvable groups
Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
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.
This page was built for publication: Elementary group equivalence with the integral length function
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1074717)
