0
$\begingroup$

Let $G$ be a topological group, $U$ is a neighborhood of $e$ which is the unit element of $G$.

My question is does there exist a neighborhood $H \subseteq U$ of $e$ s.t.

  1. $H$ is a subgroup of $G$?
  2. $H$ is a normal subgroup of $G$?

If 1 is true, then it seems can be concluded that there is a symmetric neighborhood $H$ of $e$ such that $H \cdot H \subseteq U$.

Update:

Unfortunately I have found both 1 and 2 are falsifiable, e.g. $U=(e^{-i\frac{\pi}{6}},e^{i\frac{\pi}{6}})$ in $S^1$

1 Answers 1

5

Yes; let $H = e$.

To see that the answer is no to all of your questions in general if $H$ is required to be nontrivial, let $G = S^1$. I don't understand what you mean by "topological subgroup." Every subgroup automatically inherits the subspace topology and is a topological group with respect to this topology.

  • 0
    @Brian: thanks!2012-11-06