Under Martin's Axiom we construct a Boolean countably compact topological group whose square is not countably pracompact.

中文翻译：

---

具有不可数超紧方阵的可数紧拓扑群

在马丁公理下，我们构造了一个布尔可数紧拓扑群，它的平方不是可数超紧的。