Grupo de monstruos Tarski


En el área del álgebra moderna conocida como teoría de grupos , un grupo de monstruos de Tarski , llamado así por Alfred Tarski , es un grupo infinito G , de modo que cada subgrupo propio H de G , que no sea el subgrupo de identidad, es un grupo cíclico de orden fijo. número primo p . Un grupo de monstruos Tarski es necesariamente simple . Fue mostrado por Alexander Yu. Olshanskii en 1979 que los grupos de Tarski existen y que hay un grupo p de Tarski para cada primo p > 10 75 . Son una fuente de contraejemplosa conjeturas en la teoría de grupos , lo más importante al problema de Burnside y la conjetura de von Neumann .

Sea un número primo fijo. Un grupo infinito se llama grupo de Tarski Monster porque cada subgrupo no trivial (es decir, cada subgrupo que no sea 1 y G) tiene elementos.