Square of countably compact groups without non-trivial convergent sequences

We show in ZFC that the existence of a countably compact Abelian group without non-trivial convergent sequences implies the existence of a countably compact group whose square is not countably compact. mproves a result obtained by van Douwen in 1980: the existence of a countably compact Boolean group without non-trivial convergent sequences implies the existence of two countably compact groups whose product is not countably compact in ZFC. nd van Mill showed in 1991 the existence of a countably compact group whose square is not countably compact under Martinʹs Axiom for countable posets. We show that the existence of such an example does not depend on some form of Martinʹs Axiom.