Frobenius, por primera vez en 1887, advirtiendo que los teoremas que los demostraba dependían únicamente de los axiomas propuestos y sin tener que acudir al aparato de los grupos de permutaciones, que empleaban sus antecesores Cauchy, Jordan y Sylow.