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.
- $H$ is a subgroup of $G$?
- $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$