Polycyclic-by-finite groups and first-order sentences

DOI10.1016/J.JALGEBRA.2013.08.008MaRDI QIDQ405903zbMATH OpenOpenAlexFDO

Authors C. Lasserre

Publication date 8 September 2014

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2013.08.008

zbMATH Keywords

polycyclic groupsHirsch numberprime groupsQFA groups

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Solvable groups, supersolvable groups (20F16)

Recommendations

• Quasi-finitely axiomatizable groups and groups which are prime models
• Quasi-finitely axiomatizable nilpotent groups
• Comparing quasi-finitely axiomatizable and prime groups
• On the direct products of quasi-finitely axiomatizable groups.
• Separating Classes of Groups by First-Order Sentences

Cites work

• scientific article; zbMATH DE number 3815938 (Why is no real title available?)
• Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs
• Commensurability and elementary equivalence of polycyclic groups
• Comparing quasi-finitely axiomatizable and prime groups
• Finiteness Conditions for Soluble Groups
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Model theory.
• Noncancellation and the number of generators
• ON THE ELEMENTARY THEORY OF AN ALMOST POLYCYCLIC GROUP
• Polycyclic groups, finite images, and elementary equivalence
• Quasi-finitely axiomatizable groups and groups which are prime models
• Quasi-finitely axiomatizable nilpotent groups
• Separating Classes of Groups by First-Order Sentences
• Width of verbal subgroups in solvable groups
• Words. Notes on verbal width in groups.

Cited in

(15)

• Complete first-order theories of some classical matrix groups over algebraic integers
• Direct products and elementary equivalence of polycyclic-by-finite groups.
• Polycyclic groups, finite images, and elementary equivalence
• On the model theory of higher rank arithmetic groups
• On the direct products of quasi-finitely axiomatizable groups.
• Undecidability of first order sentences in the theory of free groupoids
• First-order rigidity of rings satisfying polynomial identities
• Regular bi-interpretability of Chevalley groups over local rings
• Characterization of finitely generated groups by types
• Describing finite groups by short first-order sentences
• First order rigidity of non-uniform higher rank arithmetic groups
• FINITELY GENERATED GROUPS AND FIRST-ORDER LOGIC
• Quasi-finitely axiomatizable nilpotent groups
• Quasi-finitely axiomatizable groups and groups which are prime models
• A profinite analogue of Lasserre's theorem

This page was built for publication: Polycyclic-by-finite groups and first-order sentences

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q405903)