Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2008/iii/paper-9/1/f/solution

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.

New to topics? Read the docs here!