Prefer a chat interface with context about you and your work?
The product of two countably compact topological groups
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.