Bài tập 5, § 4

Cho G là một nhóm Lie tác động đúng trên một không gian tôpô không bện được và hoàn toàn chính quy X. Đặt $Y = X/G$ và ký hiệu bởi $f: X\rightarrow Y$ ánh xạ chính tắc. Chứng minh rằng cấu xạ groupoid chính tắc $\varpi (X)/G\rightarrow$ Coeg($f$) là một đẳng cấu. (Dùng LIE, IX, §9, bài tập 17 để phỏng theo chứng minh của Định lý 3 của IV, p. 403.)