Starting with a very simple proof of Frol'\i k's theorem on homeomorphisms of extremally disconnected spaces, we show how this theorem implies a well known result of Malychin: that every extremally disconnected topological group contains an open and closed subgroup, consisting of elements of order $2$. We also apply Frol'\i k's theorem to obtain some further theorems on the structure of extremally disconnected topological groups and of semitopological groups with continuous inverse. In particular, every Lindelöf extremally disconnected semitopological group with continuous inverse and with square roots is countable, and every extremally disconnected topological field is discrete.
@article{119211, author = {Aleksander V. Arhangel'skii}, title = {On topological and algebraic structure of extremally disconnected semitopological groups}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {41}, year = {2000}, pages = {803-810}, zbl = {1049.54033}, mrnumber = {1800164}, language = {en}, url = {http://dml.mathdoc.fr/item/119211} }
Arhangel'skii, Aleksander V. On topological and algebraic structure of extremally disconnected semitopological groups. Commentationes Mathematicae Universitatis Carolinae, Tome 41 (2000) pp. 803-810. http://gdmltest.u-ga.fr/item/119211/
Groupes topologiques extremalement discontinus, C.R. Acad. Sci. Paris 265 (1967), 822-825. (1967) | MR 0222207
Fundamentals of General Topology: Problems and Exercises, Reidel, 1984. | MR 0785749
Absolutes of homogeneous spaces, Dokl. Akad. Nauk SSSR 179:2 (1968), 271-274. (1968) | MR 0227937 | Zbl 0179.27802
Fixed points of maps of extremally disconnected spaces and complete Boolean Algebras, Bull. Acad. Polon. Sci., Ser. Math., Astronom., Phys. 16 (1968), 269-275. (1968) | MR 0233343
Fixed points of maps of $\beta N$, Bull. Amer. Math. Soc. 74 (1968), 187-191. (1968) | MR 0222847
Maps of extremally disconnected spaces, theory of types, and applications, General Topology and its Relations to Modern Analysis and Algebra, 3. (Proc. Conf., Kanpur, 1968), pp.131-142; Academia, Prague, 1971. | MR 0295305
A theorem on mappings, Comment. Math. Univ. Carolinae 8:3 (1967), 431-433. (1967) | MR 0229228
Extremally disconnected and close to them groups, Dokl. Akad. Nauk SSSR 220:1 (1975), 27-30. (1975) | MR 0382536
Homeomorphisms and invariant measures for $\beta N\setminus N$, Duke Math. J. 33 (1966), 1-12. (1966) | MR 0198450
Products of topological groups and extremal disconnectedness, Matem. Sb. 79:2 (1969), 179-192. (1969) | MR 0242988