Model theoretic connected components of finitely generated nilpotent groups

DOI10.2178/JSL.7801170MaRDI QIDQ4916558zbMATH OpenOpenAlexFDO

Authors Nathan Bowler, Cong Chen, Jakub Gismatullin

Publication date 23 April 2013

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1112.3292, https://projecteuclid.org/euclid.jsl/1358951112

zbMATH Keywords

arithmetic progressionsconnected componentfinitely generated nilpotent groupthick setvan der Waerden theorem

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to group theory (20A15) Solvable groups, supersolvable groups (20F16)

Abstract: We prove that for a finitely generated infinite nilpotent group G with a first order structure (G,*,...), the connected component G*0 of a sufficiently saturated extension G* of G exists and equals $$. We construct a first order expansion of Z by a predicate (Z,+,P) such that the type-connected component Z*00_{emptyset} is strictly smaller than Z*0. We generalize this to finitely generated virtually solvable groups. As a corollary of our construction we obtain an optimality result for the van der Waerden theorem.

Recommendations

• Model theoretic connected components of groups
• On model-theoretic connected components in some group extensions
• Definable nilpotent and soluble envelopes in groups without the independence property
• A FRAÏSSÉ LIMIT OF NILPOTENT GROUPS OF FINITE EXPONENT
• Solvable and nilpotent structures

Cites work

• \(G\)-compactness and groups
• Expansions of dense linear orders with the intermediate value property
• Galois groups of first order theories
• Model theoretic connected components of groups
• Powers in Finitely Generated Groups
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY

Cited in

(6)

• Model theoretic connected components of groups
• Consistency and the theory of truth
• On the prime-to-$p$ part of the groups of connected components of N\'eron models
• On model-theoretic connected components in some group extensions
• BOHR COMPACTIFICATIONS OF GROUPS AND RINGS
• ON MODEL-THEORETIC CONNECTED GROUPS

This page was built for publication: Model theoretic connected components of finitely generated nilpotent groups

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