False. Give the two-element group the indiscrete topology and take with the product topology. The indiscrete factor is a topological group, since every map into an indiscrete space is continuous, and the product group operations are continuous. Points and , , have identical neighbourhoods, so is not a Hausdorff space. However, its continuous projection onto is surjective. If were compact, its image would be compact, which it is not.
Articles by others on the same topic
There are currently no matching articles.