Los siguientes teoremas fueron enunciados y demostrados originalmente por Ludwig Sylow en 1872, publicándolos en "Mathematische Annalen".