Uno de sus primeros aportes relevantes al respecto fue la demostración de los Teoremas de Sylow mediante grupos abstractos; las demostraciones precedentes eran por grupos de permutaciones.