Bài tập 8, § 3

Một nhóm tôpô Hausdorff G được gọi là tiền compact địa phương nếu có một lân cận $V_0$ của e tiền compact đối với cấu trúc đều phải (hoặc trái) trên G. Chứng minh rằng mọi nhóm tiền compact địa phương đều có một hoàn thiện compact địa phương (dùng Bài tập 7).