Grupos topológicos enumeravelmente compactos sem sequências não triviais convergentes
Em 1980, assumindo o Axioma de Martin, van Douwen construiu um grupo booleano enumeravelmente compacto sem sequências não triviais convergentes e mostrou (em ZFC) que um tal grupo possui dois subgrupos enumeravelmente compactos cujo produto não é enumeravelmente compacto. Nas décadas seguintes, assumindo hipóteses adicionais a ZFC, muitas outras construções de grupos enumeravelmente compactos sem sequências não triviais convergentes foram apresentadas, até que, em 2020, Hrušák et al. obtiveram um tal grupo em ZFC, resolvendo um dos principais problemas em aberto da área. Nesta dissertação, começamos estudando o trabalho de van Douwen e seguimos explorando outras construções de grupos enumeravelmente compactos sem sequências não triviais convergentes que assumem hipóteses cada vez mais fracas, até, finalmente, apresentarmos a construção em ZFC.