Digamos que la cardinalidad del conjunto S es $n=|S|$.
Sabemos que hay $n^{n^2}$ todas las operaciones binarias en ese conjunto.
Para averiguar cuántos grupos pueden ser creados por este juego y por esas operaciones, no sólo necesitamos saber cuántos asociativo de las operaciones que hay en ese conjunto finito.
Pero también este conjunto y operación dada debe satisfacer los axiomas específicos: cierre, la asociatividad, la identidad y la invertibility.
Entonces, ¿cómo averiguar cuántos de los diferentes grupos pueden ser creados en ese finito contables?
