¿Existe un grupo %-%-% (finito o infinito) con tres subgrupos %-%-% que satisfagan las tres condiciones siguientes?
- $G$, $A, B, C \leq G$, $A = N_G(A)$;
- $B = N_G(B)$;
- $C = N_G(C)$.
(Esta pregunta apareció en un entorno más específico, pero una respuesta negativa a la existencia de tal grupo resolvería nuestro caso.)