Read more
Part 3 of the second Trilogy "The Strong Sylow Theorem for the Prime p in the Locally Finite Classical Groups" & "The Strong Sylow Theorem for the Prime p in Locally Finite and p-Soluble Groups" & "Augustin-Louis Cauchy's and Évariste Galois' Contributions to Sylow Theory in Finite Groups" proves for a subgroup G of the finite group H Lagrange's theorem and three group theorems by Cauchy, where the second and the third were concealed, by a unified method of proof consisting in smart arranging the elements of H resp. the cosets of G in H in a rectangle/tableau. Cauchy's third theorem requires the existence of a Sylow p-subgroup of H. These classical proofs are supplemented by modern proofs based on cosets resp. double cosets which take only a few lines. We then analyse first his well-known published group theorem of 1845/1846, for which he constructs a Sylow p-subgroup of Sn, thereby correcting a misunderstanding in the literature and introducing wreath products, and second his published group theorem of 1812/1815, which is related to theorems of Lagrange, Vandermonde and Ruffini. Subsequently we present what Galois knew about Cauchy's group theorems and about Sylow's theorems by referring to his published papers and as well to his posthumously published papers and to his manuscripts. We close with a detailed narrative of early group theory and early Sylow theory in finite groups.
About the author
Felix F. Flemisch proudly received his first degree Bacc.Math. in 1974 from the Albert-Ludwigs-Universität at lovely Freiburg im Breisgau, his degree M.Sc. in 1975 from the University of London, UK, and finally his degree Dipl.-Math. at marvellous and fabulous Freiburg i.Br. in 1985. From February 1981 until April 1985 he was happily affiliated to the Albert-Ludwigs-Universität Freiburg i.Br., Universitätsklinikum Freiburg, Institut für Medizinische Biometrie und Statistik (IMBI). Since May 1985 he was enthusiastically working for the telecom industry. Since October 2016 he is retired and still resp. again loving mathematics.
