Bài tập 18, § 4

Cho $G$ là một nhóm tôpô compact địa phương hoàn toàn rời rạc mà các cấu trúc đều trái và phải trùng nhau. Chứng minh rằng mọi lân cận của $e$ trong $G$ đều chứa một nhóm con chuẩn compact mở của $G$ (dùng Hệ quả 1 của Mệnh đề 14 của no. 6, và Bài tập 3 của $\S$ 3).