Otto H. Kegel’s Beloved Contributions to Sylow Theory – Second edition

Abstract

Let p be a prime. A p-group is a group all of whose elements have order a power of p and a p’-group is a group all of whose elements have order prime to p, that is, not containing any element of order p. A p-group is finite if and only if its order is a power of p. Every group theorist knows what are well-known as the three Sylow theorems: Any finite group G has ① subgroups of order |G| _p , where |G| _p is the highest power of p dividing the order |G | of G, which are called Sylow p-subgroups and are not only maximal with respect to (w.r.t.) order but also w.r.t. inclusion, whence ② every p-subgroup of G is contained in at least one Sylow p-subgroup, and ③ all the Sylow _p-subgroups are conjugate, that is, if S₁ and S₂ are Sylow _p-subgroups of G, then there exists an element x of G such that x^-1 S₁ x = S₂ .^* The set of all Sylow p-subgroups of a group G is denoted by Syl_pG. The theorems and the maximal p-subgroups are named after Ludvig Sylow, the great Norwegian mathematician who discovered them and published them in December 1872 (see [26.] and https://en.wikipedia.org/wiki/Peter_Ludvig_Sylow).  A Sylow p-subgroup of any group is a p-subgroup, which is maximal w.r.t. inclusion. Every p-subgroup is contained in at least one Sylow p-subgroup. A group
satisfies the Sylow Theorem for the Prime p or the Sylow p-Theorem, if all of its Sylow p-subgroups are conjugate, and it satisfies the Strong Sylow Theorem for the Prime p, if each of its subgroups satisfies the Sylow p-Theorem. A locally finite group is a group all of whose finitely generated subgroups are finite. Sylow Theory of Locally Finite Groups studies when
they satisfy the Sylow p-Theorem and when even the Strong Sylow p-Theorem and determines the structure of those groups. A central concept to that end is the p-uniqueness subgroup of a locally finite group, which is a finite p-subgroup being contained in a unique Sylow p-subgroup.

Otto H. Kegel has since the swinging sixties of last century again and again showed interest in Sylow Theory and very especially in how to extend it from finite groups to locally finite groups. He summarised findings up to 1973 by him and by others in the book [22.], which became a standard book on locally finite groups. When the book was in press, he developed the new paper [11.] on Sylow Theory of Locally Finite Groups and presented it in pioneering lectures during 11 December 1973. This paper has two open questions until today. 13½ years later he presented on 8 June 1987 in four lectures [12.] a summary of results up to 1987 about Sylow Theory of Locally Finite Groups and extended them beautifully from locally finite and p-soluble groups for p ≠ 2, according to results by Brian Hartley and Andrew Rae, to locally finite groups in general for p ≥ 5. This paper has ten open questions until today which deserve urgently solutions.

The paper at hand presents Otto H. Kegel’s achievements of and merits for Sylow Theory of Locally Finite Groups and communicates that it was a “Herzensangelegenheit” (a matter close to one’s heart) for him. Otto H. Kegel passed away on his birthday 20 July 2025 at the age of 91. Being in deepest mourning, I miss him dreadfully and will always honour his memory . The Second edition enlarges Page 11, updates Page 12 and Page 135, includes a number of corrections, adds the new Pages 136, 137, 138, 187 and 188, and adds the 48-page Appendix “Presentation by Dipl.-Math. Felix F. Flemisch, M.Sc., Bacc. Math. at the Conference Mathematics & Physics Frontiers 2026 – Theories, Models, and Applications in Frankfurt am Main, Germany, on 23 April 2026” which presents the Research Article at hand.