Locally compact Hausdorff semitopological group implies topological group

From Groupprops
Jump to: navigation, search


The result is attributed to Ellis, and was proved in a paper by Ellis in 1957.


Suppose G is a semitopological group
"[fact about" contains the "[" character as part of a property label and has been classified as invalid.
whose underlying topological space is a locally compact Hausdorff space. Then, G is in fact a topological group.