Does there exist a locally compact, Hausdorff, non-discrete topological group $G$ with the following properties?
- There exists $H \leq G$ proper clopen subgroup;
- $G / H$ is an uncountable set.
Does there exist a locally compact, Hausdorff, non-discrete topological group $G$ with the following properties?
Copyright © 2021 JogjaFile Inc.
Take $K$ any uncountable discrete group (e.g. $\mathbb{R}$ with discrete topology) and $H$ any locally compact Hausdorff non-discrete group (e.g. $\mathbb{R}$ with Euclidean topology). Then $G=K\times H$ seems to satisfy your conditions.