Group is Hausdorff iff Discrete Subgroups are Closed
Jump to navigation
Jump to search
Theorem
A topological group is Hausdorff if and only if its discrete subgroups are closed.
Proof
Follows directly from:
- Discrete Subgroup of Hausdorff Group is Closed
- Topological Group is Hausdorff iff Identity is Closed
$\blacksquare$