topological group (obsolete)
This entry is obsolete, having been superseded by a new entry (http://planetmath.org/TopologicalGroup2). It is being retained for a short while because of the attached thread.
A topological group is a triple where is a group and is a topology
on such that under , the group operation
is continuous with respect to the product topology on and the inverse map is continuous on .
Many authors require that the topology be Hausdorff.