1
$\begingroup$

Let $G$ be a topological group. How can we prove that if $H$ is a normal subgroup of $G$, then $\overline H$ is a normal subgroup of $G$ also?

First of all, we have to prove that $\overline H$ is a subgroup of $G$, that is easy, I'm having problems to prove that $\overline H$ is normal.

Thanks

1 Answers 1

2

Since $H$ is invariant under conjugation and the topology is invariant under conjugation, the result follows.

  • 0
    @Rafael A conjugate of an open set is also an open set.2012-11-23