La preuve présentée ici est essentiellement la même que dans (en) W. R. Scott, Group Theory, Dover, (1re éd. 1964) (lire en ligne), théorème 6.1.10, p. 133.
Cette propriété est immédiate par finitude de G. Dans le cas d'un groupe G infini (dont les p-Sylow sont définis exactement de la même façon), elle est assurée par le lemme de Zorn, cf J. J. Rotman, An introduction to the theory of groups, Springer, 1995, (ISBN978-0-387-94285-8), p. 78.
google.fr
books.google.fr
(en) H. Kurzweil et B. Stellmacher, The Theory of Finite Groups, An Introduction, Springer, 2004 (ISBN0-387-40510-0), p. 63 et suivantes
(de) A. P. Dietzmann, A. Kurosch et A. I. Uzkow, « Sylowsche Untergruppen von unendlichen Gruppen », Rec. Math. [Mat. Sbornik] N.S., vol. 3 (45), no 1, , p. 179–185 (lire en ligne)
uni-goettingen.de
gdz.sub.uni-goettingen.de
M. L. Sylow, « Théorème sur les groupes de substitutions », Math. Ann., vol. 5, , p. 584-594 (lire en ligne)