
doi: 10.2307/2274104
We denote by and the classes of torsion-free nilpotent groups of nilpotency class at most two and three, respectively. In this paper we show that most of the known results about existentially closed (e.c.) groups in remain true in : Up to isomorphism, there exist only countably many countable e.c. groups and they are distinguished by the ranks of their centers. An e.c. group is finitely (infinitely) generic if and only if the center has dimension one (≥ω). Apart from trivial exceptions, e.c, algebraically closed, and “closed with respect to systems of equations in one unknown” are equivalent.Let K be a class of groups. A group G ϵ K is called existentially closed in K if G contains a solution of any finite system Σ of equations and inequations with constants in G and one or more unknowns, provided that Σ has a solution in some in K. If Σ may contain equations (in at most n unknowns) only, G is called algebraically closed (n-unknown closed [1]). We use the abbreviations e.c, a.c and n-u.c. throughout. For more background on these terms the reader is referred to [3] and [4]. We also assume a basic knowledge of generic structures. The main group theoretic notions needed here are explained in §2; [2] and [11] are the general references for this field.
Model-theoretic forcing, nilpotency class, Nilpotent groups, Model-theoretic algebra, existentially closed group
Model-theoretic forcing, nilpotency class, Nilpotent groups, Model-theoretic algebra, existentially closed group
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
