Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Wreath products and existentially complete solvable groups


Author: D. Saracino
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
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • [1] J. Barwise and A. Robinson, Completing theories by forcing, Ann. Math. Logic 2 (1970), no. 2, 119-142. MR 42 #7494. MR 0272613 (42:7494)
  • [2] P. Eklof and G. Sabbagh, Model-completions and modules, Ann. Math. Logic 2 (1970/71), no. 3, 251-295. MR 43 #3105. MR 0277372 (43:3105)
  • [3] P. Hall, On the finiteness of certain soluble groups, Proc. London Math. Soc. (3) 9 (1959), 595-622. MR 22 #1618. MR 0110750 (22:1618)
  • [4] L. Kaloujnine and M. Krasner, Le produit complète des groupes de permutations et le problème d'extension des groupes, C. R. Acad. Sci. Paris 227 (1948), 806-808. MR 10, 351. MR 0027758 (10:351e)
  • [5] A. Macintyre, On algebraically closed groups, Ann. of Math. (2) 96 (1972), 53-97. MR 0317928 (47:6477)
  • [6] P. M. Neumann, On the structure of standard wreath products of groups, Math. Z. 84 (1964), 343-373. MR 32 #5719. MR 0188280 (32:5719)
  • [7] A. Robinson, Forcing in model theory, Symposia Mathematica, vol. V (INDAM, Rome, 1969/70), Academic Press, London, 1971, pp. 69-82. MR 43 #4651. MR 0278925 (43:4651)
  • [8] -, Infinite forcing in model theory, Proc. Second Scandinavian Logic Sympos., North-Holland, Amsterdam, 1971. MR 0357106 (50:9574)
  • [9] -, Introduction to model theory and to the metamathematics of algebra, North-Holland, Amsterdam, 1965.
  • [10] E. Schenkman, Group theory, Van Nostrand, Princeton, N. J., 1965. MR 33 #5702. MR 0197537 (33:5702)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 02H15, 20E15

Retrieve articles in all journals with MSC: 02H15, 20E15


Additional Information

DOI: https://doi.org/10.1090/S0002-9947-1974-0342391-5
Keywords: Model companion, wreath product, ultraproduct, finite forcing, infinite forcing, existential completeness
Article copyright: © Copyright 1974 American Mathematical Society

American Mathematical Society