Teorema de la incrustación de Higman dice que cualquier grupo recursivamente presentado y finitamente generado puede ser incrustado en un grupo finitamente presentado.
Mi pregunta es si se puede incrustar tal grupo como un subgrupo normal en un grupo finitamente presentado?