Quotient of a topological group by a discrete subgroup

ID: quotient-of-a-topological-group-by-a-discrete-subgroup

If is a discrete subgroup of a topological group , then left translation by is a covering-space action. Choose an identity neighbourhood with ; the translates are pairwise disjoint, and the quotient map restricts to a homeomorphism on each translate.

New to topics? Read the docs here!