Estoy tratando de demostrar una cuestión bastante difícil y he llegado a una pequeña prueba que puedo demostrar que es verdadera después de analizar a fondo (y exhaustivamente) la estructura del grupo.
Mi pregunta es, si dos grupos finitos tienen el mismo número de elementos del mismo orden... ¿son necesariamente isomorfos? Si no es así, ¿cuáles son algunas propiedades de la estructura del grupo que pueden mostrar que dos grupos son necesariamente isomorfos?