Model theoretic connected components of finitely generated nilpotent groups

Nathan Bowler, Cong Chen, Jakub Gismatullin

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…