This paper answers positively a question of Pfister by proving that every Čech-complete semitopological group (that is, a group with a separately continuous multiplication) is a topological group. In fact, a bit more is proved: every Čech-analytic Baire semitopological group is a topological group. The same result for locally compact groups is known as Ellis's theorem (1957).
@article{hal-00373443,
author = {Bouziad, Ahmed},
title = {Every \v Cech-analytic Baire semitopological group is a topological group},
journal = {HAL},
volume = {1996},
number = {0},
year = {1996},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00373443}
}
Bouziad, Ahmed. Every Čech-analytic Baire semitopological group is a topological group. HAL, Tome 1996 (1996) no. 0, . http://gdmltest.u-ga.fr/item/hal-00373443/