Countably compact topological groups without non-trivial convergent sequences
In 1980, assuming Martin’s Axiom, van Douwen constructed a countably compact Boolean group without non-trivial convergent sequences and showed (in ZFC) that such a group has two countably compact subgroups whose product is not countably compact. In the following decades, assuming additional hypotheses to ZFC, many other constructions of countably compact groups without non-trivial convergent sequences were presented, until, in 2020, Hrušák et al. obtained such a group in ZFC, solving one of the main open problems in the area. In this dissertation, we start by studying van Douwen’s work and continue exploring other constructions of countably compact groups without non-trivial convergent sequences that assume increasingly weak hypotheses, until, finally, we present the construction in ZFC.