2013
DOI: 10.2178/jsl.7801170
|View full text |Cite
|
Sign up to set email alerts
|

Model theoretic connected components of finitely generated nilpotent groups

Abstract: We prove that for a finitely generated infinite nilpotent group G with structure (G, ·, . . .), the connected component G * 0 of a sufficiently saturated extension G * of G exists and equals n∈N {g n : g ∈ G * }. We construct an expansion of Z by a predicate (Z, +, P ) such that the type-connected component Z * 00 ∅ 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 theore… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

1
9
0

Year Published

2015
2015
2023
2023

Publication Types

Select...
3
1

Relationship

4
0

Authors

Journals

citations
Cited by 4 publications
(10 citation statements)
references
References 11 publications
1
9
0
Order By: Relevance
“…Thus, the absolute connectedness of H follows from Proposition 3. 4 We finish with a discussion on Steinberg symbols. Note that a given field may have many different orders.…”
Section: More Precisely Supposementioning
confidence: 98%
“…Thus, the absolute connectedness of H follows from Proposition 3. 4 We finish with a discussion on Steinberg symbols. Note that a given field may have many different orders.…”
Section: More Precisely Supposementioning
confidence: 98%
“…If G is a definable group in M , and a small set, recall the following well-known subgroups of , so-called model-theoretic connected components : , the intersection of all A -definable subgroups of with finite index, , the smallest A -type-definable subgroup of with bounded index, and , the smallest A -invariant subgroup of with bounded index. We refer to [2, 5] for the properties of the connected components which we are going to use and explain below. Clearly .…”
Section: Preliminariesmentioning
confidence: 99%
“…Suppose for a contradiction that G is not of finite exponent. Then, by [2, Lemma 4.9], there is a homomorphism from G to with dense image. Such a homomorphism is an element of of infinite order, a contradiction.⊣…”
Section: Preliminariesmentioning
confidence: 99%
See 1 more Smart Citation
“…A , the smallest A-invariant subgroup of Ḡ with bounded index. We refer to [Gis11,BCG13] for the properties of the connected components which we are going to use and explain below. Clearly Ḡ000…”
Section: Preliminariesmentioning
confidence: 99%