El grupo de Higman:
$ \langle \ a_0, a_1, a_2, a_3 \ | \ a_0 a_1 a_0^{-1}=a_1^2, \ a_1 a_2 a_1^{-1}=a_2^2, \ a_2 a_3 a_2^{-1}=a_3^2, \ a_3 a_0 a_3^{-1}=a_0^2 \ \rangle . $
¿Es simple? ¿Qué se sabe realmente al respecto, excepto el hecho de que no tiene homomorfismos no triviales en un grupo finito?
