A profinite analogue of Lasserre's theorem

DOI10.1016/J.JALGEBRA.2023.02.034MaRDI QIDQ6155807zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 7 June 2023

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

Full work available at URL https://arxiv.org/abs/2209.08279

zbMATH Keywords

finite axiomatizabilityprofinite groups

Mathematics Subject Classification ID

Model theory (03Cxx) Foundations (20Axx) Special aspects of infinite or finite groups (20Fxx)

Abstract: A soluble pro-p group of finite rank is finitely axiomatizable in the class of all profinite groups if and only if for each open subgroup H, the image of Z(H) in the abelianization of H is finite, subject to some suitable hypothesis of finite presentability.

Cites work

• Finite axiomatizability for profinite groups
• scientific article; zbMATH DE number 4014840 (Why is no real title available?)
• scientific article; zbMATH DE number 1339096 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• Polycyclic-by-finite groups and first-order sentences
• Quasi-finitely axiomatizable groups and groups which are prime models
• Quasi-finitely axiomatizable nilpotent groups

Cited in

(1)

• scientific article; zbMATH DE number 440474 (Why is no real title available?)

This page was built for publication: A profinite analogue of Lasserre's theorem

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