Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 622

Preprint Number 622

Previous Next Preprint server

622. Clément Lasserre and Francis Oger
Direct products and elementary equivalence of polycyclic-by-finite groups

Submission date: 10 September 2013.


We give an algebraic characterization of elementary equivalence for polycyclic-by-finite groups. Using this characterization, we investigate the relations between their elementary equivalence and the elementary equivalence of the factors in their decompositions in direct products of indecomposable groups. In particular we prove that the elementary equivalence of two such groups G,H is equivalent to each of the following properties:
1)Gx...xG (k times G) and Hx...xG (k times H) are elementarily equivalent for a strictly positive integer k;
2)AxG and AxH are elementarily equivalent for two elementarily equivalent polycyclic-by-finite groups A,B.

It is not presently known if 1) implies elementary equivalence for any groups G,H.

Mathematics Subject Classification: 20A15 (20F22)

Keywords and phrases:

Full text arXiv 1309.2490: pdf, ps.

Last updated: March 23 2021 09:22 Please send your corrections to: