Minimality of the Semidirect Product
arXiv:1511.07021
Abstract
A topological group is minimal if it does not admit a strictly coarser Hausdorff group topology. We provide a sufficient and necessary condition for the minimality of the semidirect product where is a compact topological group and is a topological subgroup of . We prove that is minimal for every closed subgroup of . In case is abelian, the same is true for every subgroup . We show, in contrast, that there exist a compact two-step nilpotent group and a subgroup of such that is not minimal. This answers a question of Dikranjan. Some of our results were inspired by a work of Gamarnik.
16 pages. arXiv admin note: substantial text overlap with arXiv:1501.03410