Home Mathematics On the number of tuples of group elements satisfying a first-order formula
Article
Licensed
Unlicensed Requires Authentication

On the number of tuples of group elements satisfying a first-order formula

  • Elena K. Brusyanskaya EMAIL logo
Published/Copyright: September 17, 2024

Abstract

Our result contains as special cases the Frobenius theorem (1895) on the number of solutions to the equation x n = 1 in a finite group and the Solomon theorem (1969) on the number of solutions in a group to systems of equations with fewer equations than unknowns. Instead of systems of equations, we consider arbitrary first-order formulae in the group language with constants. Our result substantially generalizes the Klyachko–Mkrtchyan theorem (2014) on this topic.

Award Identifier / Grant number: 22-11-00075

Funding statement: The work was supported by the Russian Science Foundation, project no. 22-11-00075.

Acknowledgements

The author thanks A. A. Klyachko and an anonymous referee for valuable remarks.

  1. Communicated by: Evgenii I. Khukhro

References

[1] T. Asai, N. Chigira, T. Niwasaki and Y. Takegahara, On a theorem of P. Hall, J. Group Theory 16 (2013), no. 1, 69–80. 10.1515/jgt-2012-0034Search in Google Scholar

[2] T. Asai and Y. Takegahara, | Hom ( A , G ) | . IV, J. Algebra 246 (2001), no. 2, 543–563. 10.1006/jabr.2001.9004Search in Google Scholar

[3] R. Brauer, On a theorem of Frobenius, Amer. Math. Monthly 76 (1969), 12–15. 10.1080/00029890.1969.12000119Search in Google Scholar

[4] K. S. Brown and J. Thévenaz, A generalization of Sylow’s third theorem, J. Algebra 115 (1988), no. 2, 414–430. 10.1016/0021-8693(88)90268-2Search in Google Scholar

[5] E. K. Brusyanskaya and A. A. Klyachko, On the number of epi-, mono- and homomorphisms of groups, Izv. Math. 86 (2022), no. 2, 243–251. 10.1070/IM9139Search in Google Scholar

[6] E. K. Brusyanskaya, A. A. Klyachko and A. V. Vasil’ev, What do Frobenius’s, Solomon’s, and Iwasaki’s theorems on divisibility in groups have in common?, Pacific J. Math. 302 (2019), no. 2, 437–452. 10.2140/pjm.2019.302.437Search in Google Scholar

[7] F. G. Frobenius, Verallgemeinerung des Sylow’schen Satzes, Berl. Ber. (1895), 981–993. Search in Google Scholar

[8] F. G. Frobenius, Über einen Fundamentalsatz der Gruppentheorie, Berl. Ber. (1903), 987–991. Search in Google Scholar

[9] C. Gordon and F. Rodriguez-Villegas, On the divisibility of # Hom ( Γ , G ) by | G | , J. Algebra 350 (2012), 300–307. 10.1016/j.jalgebra.2011.09.040Search in Google Scholar

[10] P. Hall, On a Theorem of Frobenius, Proc. Lond. Math. Soc. (2) 40 (1936), no. 6, 468–501. 10.1112/plms/s2-40.1.468Search in Google Scholar

[11] I. M. Isaacs, Systems of equations and generalized characters in groups, Canadian J. Math. 22 (1970), 1040–1046. 10.4153/CJM-1970-120-0Search in Google Scholar

[12] A. A. Klyachko and A. A. Mkrtchyan, How many tuples of group elements have a given property?, Internat. J. Algebra Comput. 24 (2014), no. 4, 413–428. 10.1142/S0218196714500192Search in Google Scholar

[13] A. A. Klyachko and A. A. Mkrtchyan, Strange divisibility in groups and rings, Arch. Math. (Basel) 108 (2017), no. 5, 441–451. 10.1007/s00013-016-1008-xSearch in Google Scholar

[14] A. Kulakoff, Einige Bemerkungen zur Arbeit: “On a theorem of Frobenius” von P. Hall, Mat. Sb. 3 (1938), no. 2, 403–405. Search in Google Scholar

[15] S. K. Sehgal, On P. Hall’s generalisation of a theorem of Frobenius, Proc. Glasgow Math. Assoc. 5 (1962), 97–100. 10.1017/S2040618500034390Search in Google Scholar

[16] L. Solomon, The solution of equations in groups, Arch. Math. (Basel) 20 (1969), 241–247. 10.1007/BF01899292Search in Google Scholar

[17] T. Yoshida, | Hom ( A , G ) | , J. Algebra 156 (1993), 125–156. 10.1006/jabr.1993.1066Search in Google Scholar

Received: 2023-07-24
Revised: 2024-08-09
Published Online: 2024-09-17
Published in Print: 2025-07-01

© 2024 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 18.1.2026 from https://www.degruyterbrill.com/document/doi/10.1515/jgth-2023-0111/html
Scroll to top button