"topological group" . "topological group" . . .