# Open Subgroup is Closed

Jump to navigation
Jump to search

This article needs to be linked to other articles.In particular: open, complementYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

Let $G$ be a topological group.

Let $H\leq G$ be an open subgroup.

Then $H$ is closed.

## Proof

By Right and Left Regular Representations in Topological Group are Homeomorphisms, the left cosets of $H$ are open.

By Left Coset Space forms Partition, the complement of $H$ is a union of left cosets of $H$.

Because the complement of $H$ is open, $H$ is closed.

$\blacksquare$