Topological group
This is an old revision of this page, as edited by Jaques (talk | contribs) at 08:57, March 27, 2007. It may differ significantly from current revision.
A topological group is a topological space that is also a group such that the binary operation defined on the group is a continuous map.
Every group G can be turned into a topological group by giving G the discrete topology. Every topological group is a completely regular space.