En matemáticas , la conjetura de von Neumann afirmaba que un grupo G no es dócil si y solo si G contiene un subgrupo que es un grupo libre en dos generadores . La conjetura fue refutada en 1980.
En 1929, durante su trabajo sobre la paradoja de Banach-Tarski , John von Neumann definió el concepto de grupos amenables y demostró que ningún grupo amenable contiene un subgrupo libre de rango 2. La sugerencia de que lo inverso podría ser válido, es decir, que cada grupo no amenable contiene un subgrupo libre en dos generadores, fue hecha por varios autores diferentes en los años 1950 y 1960. Aunque el nombre de von Neumann se asocia popularmente a la conjetura, su primera aparición escrita parece deberse a Mahlon Marsh Day en 1957.
La alternativa de Tits es un teorema fundamental que, en particular, establece la conjetura dentro de la clase de grupos lineales .
El primer contraejemplo potencial históricamente es el grupo de Thompson F . Si bien su adaptabilidad es un problema muy abierto , Alexander Ol'shanskii demostró en 1980 que la conjetura general era falsa ; demostró que los grupos monstruosos de Tarski , construidos por él, que se ve fácilmente que no tienen subgrupos libres de rango 2, no son adaptables. Dos años después, Sergei Adian demostró que ciertos grupos de Burnside también son contraejemplos. Ninguno de estos contraejemplos está finitamente presentado , y durante algunos años se consideró posible que la conjetura fuera válida para grupos finitamente presentados. Sin embargo, en 2003, Alexander Ol'shanskii y Mark Sapir exhibieron una colección de grupos finitamente presentados que no satisfacen la conjetura.
En 2013, Nicolas Monod encontró un contraejemplo fácil para la conjetura. Dado por homeomorfismos proyectivos por partes de la línea, el grupo es notablemente simple de entender. Aunque no es dócil, comparte muchas propiedades conocidas de los grupos dóciles de una manera sencilla. En 2013, Yash Lodha y Justin Tatch Moore aislaron un subgrupo no dócil presentado finitamente del grupo de Monod. Esto proporciona el primer contraejemplo presentado finitamente sin torsión y admite una presentación con 3 generadores y 9 relaciones. Lodha demostró más tarde que este grupo satisface la propiedad , que es una propiedad de finitud más fuerte.
