Elementary equivalence of a polycyclic-by-finite group and its profinite completion (Q1101541): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:41, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Elementary equivalence of a polycyclic-by-finite group and its profinite completion |
scientific article |
Statements
Elementary equivalence of a polycyclic-by-finite group and its profinite completion (English)
0 references
1989
0 references
In [the author, Proc. Am. Math. Soc. (to appear; reviewed above)], we showed that any finitely generated abelian-by-finite group is an elementary submodel of its profinite completion. Here, we prove that, if G is a polycyclic-by-finite group which is not abelian-by-finite, then there exists an existential sentence which is false in G and true in the profinite completion of G. It follows that a polycyclic-by-finite group is elementarily equivalent to its profinite completion if and only if it is abelian-by-finite. In [loc. cit.], we proved this result only for finitely generated nilpotent-by-finite groups.
0 references
finitely generated abelian-by-finite group
0 references
elementary submodel
0 references
profinite completion
0 references
polycyclic-by-finite group
0 references
existential sentence
0 references