Estoy bastante seguro de que no hay un criterio general o una fórmula conocida, especialmente para encontrar el número de grupos con centro trivial.
Pero hay muchos ejemplos de familias de tales números $n$ . Por ejemplo $n$ orden de cualquier grupo simple no abeliano, $n = pq$ con $p > q$ primos tales que $q \nmid p-1$ etc
Además, si $G$ y $H$ tiene centro trivial, entonces también lo tiene $G \times H$ . Por lo tanto, el conjunto de tales números $n$ es cerrado bajo la multiplicación.
También hay que tener en cuenta que si un grupo es nilpotente, entonces tiene centro no trivial. Hay una descripción sencilla de los enteros $n$ (en términos de factorización de primos) tal que todo grupo de orden $n$ es nilpotente. Por lo tanto, si existe un grupo de orden $n$ con centro trivial, entonces $n$ no puede ser de esta forma.
Sin embargo, existen números $n$ tal que todo grupo de orden $n$ tiene centro no trivial, pero no todos los grupos de orden $n$ son nilpotentes. Algunos ejemplos son $n = 28, 40, 44, 63, 76, 88, 92, \cdots$ ( OEIS ) Describir los números así no me parece factible.
3 votos
Una pregunta interesante podría ser si existe un límite superior en el número de grupos sin centro de orden $n$ que es asintóticamente mejor que un límite de la forma $n^{c \log(n)^2}$ que se cumple para el número total de grupos de orden $n$ con $c=2/27$ . No estoy seguro de esto, pero estoy muy seguro de que la respuesta es no, y existe una $c$ tal que existe ese número de grupos sin centro para un tamaño arbitrario $n$ .