Topological group
This is an old revision of this page, as edited by CSGuy (talk | contribs) at 21:03, November 17, 2008. 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.