Topological gyrogroups: generalization of topological groups (Q526886)

The author studies topological left automorphic left Bol loops. In the terminology of \textit{A. A. Ungar} [Analytic hyperbolic geometry and Albert Einstein's special theory of relativity. Hackensack, NJ: World Scientific (2008; Zbl 1147.83004)] left automorphic left Bol loops are called gyrogroups. In the paper under review, it is shown that for topological gyrogroups the topological separation axioms \(T_0\) and \(T_3\) are equivalent as they are for topological groups. Besides this some interesting facts about topological gyrogroups are shown.