The product of two countably compact topological groups

Abstract

We use MA ( = Martin’s Axiom) to construct two countably compact topological groups whose product is not countably compact. To this end we first use MA to construct an infinite countably compact topological group which has no nontrivial convergent sequences.