Existentially and $\kappa$-existentially closed groups

Document Type : Ischia Group Theory 2020/2021


1 Department of Mathematics, Middle East Technical University, 06800, Ankara, Turkey

2 Department of Mathematics, Middle East Technical University, 06800,Ankara, Turkey


A group $G$ is existentially closed (algebraically closed) if every finite system of equations and in-equations that has coefficients in $G$ and has a solution in an overgroup $H\geq G$ has a solution in $G$. Existentially closed groups were introduced by W. R. Scott in 1951. B. H. Neumann posed the following question in 1973: Does there exist explicit examples of existentially closed groups? Generalized version of this question is as follows: Let $\kappa$ be an infinite cardinal. Does there exist explicit examples of $\kappa$-existentially closed groups? Recently an affirmative answer was given to Neumann's question and the generalized version of it, by Kaya-Kegel-Kuzucuo\u{g}lu. We give a survey of these results. We also prove that, there are maximal subgroups of $\kappa$-existentially existentially closed groups and provide some information about subgroups containing the centralizer of subgroups generated by fewer than $\kappa$-elements. This generalizes a result of Hickin-Macintyre.


Main Subjects

[1] J. V. Brawley and G. E. Schnibben, Infinite Algebraic Extensions of Finite Fields, ontemporary Mathematics, American Mathematical Society, Providence, 95 (1989) 104 pp.  
[2] M. Erdelyi, On n-algebraically closed groups, Publ. Math. Debrecen, 7 (1960) 310–315.
[3] P. Hall, Some constructions for locally finite groups, J. London Math. Soc., 34 (1959) 305–319.
[4] K. Hickin and A. Macintyre, Algebraically closed groups: embeddings and centralizers, Word problems, II (Conf.on Decision Problems in Algebra, Oxford, (1976) 141–155, Studies in Logic and the Foundations of Mathematics, 95, North-Holland, Amsterdam-New York, 1980.
[5] G. Higman and E. Scott, Existentially Closed Groups, London Mathematical Society Monographs. New Series, 3, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1988.
[6] T. Jech, Set theory, The third millennium edition, revised and expanded. Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2003.
[7] B. Kaya, O. H. Kegel and M. Kuzucuoğlu, On the existence of κ-existentially closed groups, Arch. Math. (Basel), 111 (2018) 225–229.
[8] B. Kaya and M. Kuzucuoğlu, Automorphisms of κ-existentially closed groups, Monatshefte für Mathematik, 198 (2022), https://doi.org/10.1007/s00605-022-01730-0.
[9] B. Kaya and M. Kuzucuoğlu, Automorphisms of κ-existentially closed groups of cardinality κ, In preparation.
[10] O. H. Kegel and M. Kuzucuoğlu, κ-existentially closed groups, J. Algebra, 499 (2018) 298–310.
[11] O. H. Kegel, Regular limits of infinite symmetric groups, Ischia group theory, (2008) 120–130, World Sci. Publ., Hackensack, NJ, 2009.
[12] R. C. Lyndon and P. E. Schupp, Combinatorial group theory, Classics in Mathematics, Springer-Verlag, Berlin, 2001.
[13] A. Macintyre, On algebraically closed groups, Ann. of Math. (2), 96 (1972) 53–97.
[14] B. H. Neumann, Identical relations in groups I, Math. Ann., 114 (1937) 506–525.
[15] B. H. Neumann, Some remarks on infinite groups, J. London Math. Soc., 12 (1937) 122–127.
[16] B. H. Neumann, A note on algebraically closed groups, J. London Math. Soc., 27 (1952) 247–249.
[17] B. H. Neumann, The isomorphism problem for algebraically closed groups, Studies in Logic and the Foundations of Math., 71 (1973) 553–562.
[18] B. H. Neumann, An essay on free products of groups with amalgamations, Philos. Trans. Royal Soc. London Math. series A, 246 (1954) 503–554.
[19] W. R. Scott, Algebraically closed groups, Proc. Amer. Math. Soc., 2 (1951) 118–121.
[20] M. Shahryari, Existentially closed structures and some embedding theorems, Math. Notes, 101, No, 6, (2017) 1023–1032.
[21] M. Shahryari, Nullstellensatz for relative existentially closed groups, Int. J. Group Theory, 11 no. 2 (2022) 125–130.
[22] E. Steinitz, Algebraische Theorie der Körper, J. Reine Angew. Math., 137 (1910) 167–309. (German); and Chelsea Publishing Co., New York, N. Y., 1950 pp. 176.
Volume 12, Issue 1 - Serial Number 1
Proceedings of the Ischia Group Theory (2020/2021) - Part 1
March 2023
Pages 45-54
  • Receive Date: 17 November 2021
  • Revise Date: 08 February 2022
  • Accept Date: 16 February 2022
  • Published Online: 01 March 2023