Definición
Un grupo de 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 generados y por lo tanto contable.)
Pregunta: ¿Es cierto que cada grupo de satisfacer la condición mínima en subgrupos es contable?