Wreath products and existentially complete solvable groups

Saracino, D.

doi:10.1090/S0002-9947-1974-0342391-5

Wreath products and existentially complete solvable groups
HTML articles powered by AMS MathViewer

by D. Saracino PDF

Trans. Amer. Math. Soc. 197 (1974), 327-339 Request permission

Abstract:

It is known that the theory of abelian groups has a model companion but that the theory of groups does not. We show that for any fixed $n \geq 2$ the theory of groups solvable of length $\leq n$ has no model companion. For the metabelian case $(n = 2)$ we prove the stronger result that the classes of finitely generic, infinitely generic, and existentially complete metabelian groups are all distinct. We also give some algebraic results on existentially complete metabelian groups.

References

Jon Barwise and Abraham Robinson, Completing theories by forcing, Ann. Math. Logic 2 (1970), no. 2, 119–142. MR 272613, DOI 10.1016/0003-4843(70)90008-2
Paul Eklof and Gabriel Sabbagh, Model-completions and modules, Ann. Math. Logic 2 (1970/71), no. 3, 251–295. MR 277372, DOI 10.1016/0003-4843(71)90016-7
P. Hall, On the finiteness of certain soluble groups, Proc. London Math. Soc. (3) 9 (1959), 595–622. MR 110750, DOI 10.1112/plms/s3-9.4.595
Léo Kaloujnine and Marc Krasner, Le produit complet des groupes de permutations et le problème d’extension des groupes, C. R. Acad. Sci. Paris 227 (1948), 806–808 (French). MR 27758
Angus Macintyre, On algebraically closed groups, Ann. of Math. (2) 96 (1972), 53–97. MR 317928, DOI 10.2307/1970894
Peter M. Neumann, On the structure of standard wreath products of groups, Math. Z. 84 (1964), 343–373. MR 188280, DOI 10.1007/BF01109904
Abraham Robinson, Forcing in model theory, Symposia Mathematica, Vol. V (INDAM, Rome, 1969/70) Academic Press, London, 1971, pp. 69–82. MR 0278925
Abraham Robinson, Infinite forcing in model theory, Proceedings of the Second Scandinavian Logic Symposium (Oslo, 1970), Studies in Logic and the Foundations of Mathematics, Vol. 63, North-Holland, Amsterdam, 1971, pp. 317–340. MR 0357106

Introduction to model theory and to the metamathematics of algebra

Eugene Schenkman, Group theory, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1965. MR 0197537