Sylow Theorems/Historical Note/First Sylow Theorem

Historical Note on First Sylow Theorem
's original work in $1872$ demonstrated the existence of what is now known as a Sylow $p$-subgroup.

The corollary, that there exists a subgroup of order $p^n$ for all $p^n \divides \order G$, was deduced later, but is frequently itself referred to as the First Sylow Theorem.

The proof using the Orbit-Stabilizer Theorem is based on one published by in $1959$.