Skip to main content
4 of 8
edited body
Ali Taghavi
  • 356
  • 8
  • 31
  • 123

Does a cocompact subgroup of a topological group contains a cocompact normal subgroup?

Motivation: It is obvious that for a finite index subgroup $H$ of a group $G$, there exist a normal subgroup $K$ of $G$ $K\subset H$ with $|G/K|<\infty$

Our question: Let $G$ be a topological group and $H$ be a closed but not necessarilly normal subgroup of $G$ such that the quotient topological space $G/H$ is a compact space. Does there exist a closed subgroup $K\subset H$ which is normal in $G$ and $G/K$ is a compact topological group.

Ali Taghavi
  • 356
  • 8
  • 31
  • 123