Dado un entero positivo $n$, vamos a $N(n)$ denotar el número de grupos de orden $n$, hasta isomorfismo.
Pregunta: Qué $N(n)=n$ presionado por algunos $n>1$?
He comprobado el OEIS-secuencia https://oeis.org/A000001 así como la squarefree números en el rango de $[2,10^6]$ y no encontramos ningún ejemplo. Ya tenemos muchos $n$ con $N(n)<n$ y algunos $n$ con $N(n) \gg n$, no veo razón por la $N(n)=n$ debería ser imposible para $n>1$.