El problema de la membresía de subgrupos completamente comprimidos