Topological group
This is an old revision of this page, as edited by Pyfgcr (talk | contribs) at 18:30, January 18, 2009. 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, as is the operation of inversion.
Every group G can be turned into a topological group by giving G the discrete topology. Every topological group is a completely regular space.