C Topological Groups

DEFINITION C.1 Let G be a group. A group topology on G is a topology τ on G making the map

G×G→ G, (a, b) 7→ ab−1

into a continuous map. A topological group is a group equipped with a group topology.

REMARK C.2