Polycyclic-by-finite groups and first-order sentences

DOI10.1016/J.JALGEBRA.2013.08.008zbMATH Open1343.03030OpenAlexW1972590342MaRDI QIDQ405903FDOQ405903

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Width of verbal subgroups in solvable groups
• Model theory.
• Finiteness Conditions for Soluble Groups
• Homogeneity and prime models in torsion-free hyperbolic groups.
• Polycyclic groups, finite images, and elementary equivalence
• 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
• Separating Classes of Groups by First-Order Sentences
• ON THE ELEMENTARY THEORY OF AN ALMOST POLYCYCLIC GROUP
• Commensurability and elementary equivalence of polycyclic groups
• Noncancellation and the number of generators
• Comparing quasi-finitely axiomatizable and prime groups
• Quasi-finitely axiomatizable nilpotent groups
• Quasi-finitely axiomatizable groups and groups which are prime models

Cited In (10)

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

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)