Solution

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

True. Choose a compact neighbourhood of the identity in the locally compact group and put . Inversion is a homeomorphism, so is compact; it is symmetric and still a neighbourhood of . Define
The identity belongs to , so these powers are increasing. Symmetry gives , and gives closure under multiplication; hence is a subgroup. Each is compact, being the continuous image of the finite product of compact spaces. Thus is a sigma-compact space. Finally contains some open identity neighbourhood , and is open. This constructs the required sigma-compact open subgroup of a locally compact group. The argument also works without Hausdorffness if local compactness means possession of compact neighbourhoods.

New to topics? Read the docs here!