Do you have an example of an infinite Hausdorff nonabelian topological group $(G,\mathcal T)$ such that for any nontrivial group topology $\mathcal S$ on $G$ with $\mathcal S\subseteq \mathcal T$ we have $\mathcal S = \mathcal T$?



A Hausdorff atom in lattice of group topologies
Any compact group with no nontrivial normal closed subgroups has this property, since there can be no coarser Hausdorff topology and in any coarser non-Hausdorff topology the closure of the identity would be a normal closed subgroup in the original topology. For instance, this includes all (centerless) compact simple Lie groups.


