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, North-Holland, Amsterdam, 1965.
- Eugene Schenkman, Group theory, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1965. MR 0197537
Additional Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 197 (1974), 327-339
- MSC: Primary 02H15; Secondary 20E15
- DOI: https://doi.org/10.1090/S0002-9947-1974-0342391-5
- MathSciNet review: 0342391