Polycyclic groups, finite images, and elementary equivalence (Q914824): Difference between revisions
From MaRDI portal
Revision as of 16:50, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Polycyclic groups, finite images, and elementary equivalence |
scientific article |
Statements
Polycyclic groups, finite images, and elementary equivalence (English)
0 references
1991
0 references
This paper settles the following question: If G is a polycyclic group and H is a finitely generated group which is elementarily equivalent to G, must H be polycyclic? An affirmative answer follows from the paper's main result, which is purely algebraic in character. It asserts that, if G is polycyclic and H is a finitely generated residually finite group having exactly the same finite images as G, then H is polycyclic. The proof starts with a study of certain abelian groups and reduces the general case to the metabelian case. \(\forall \exists\) sentences provide the link between logic and algebra.
0 references
elementary equivalence
0 references
polycyclic group
0 references
finitely generated group
0 references
finitely generated residually finite group
0 references
finite images
0 references