Definición
Un grupo de $G$ se dice que satisface la condición mínima en subgrupos iff cada descendente de la cadena de subgrupos se detiene después de un número finito de pasos.
Yo sé que esto fue un problema sin resolver en el pasado, pero no sé si ahora se resuelve. (Tarski grupos se $2$generados y por lo tanto contable.)
Pregunta: ¿Es cierto que cada grupo de satisfacer la condición mínima en subgrupos es contable?