Mathematics – Logic
Scientific paper
2011-12-14
Mathematics
Logic
12 pages
Scientific paper
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 $\bigcap_{n\in\N} {g^n : g\in G^*}$. 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.
Bowler Nathan
Chen Cong
Gismatullin Jakub
No associations
LandOfFree
Model theoretic connected components of finitely generated nilpotent groups does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Model theoretic connected components of finitely generated nilpotent groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Model theoretic connected components of finitely generated nilpotent groups will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-228048