כל מה שרצית לדעת על חבורה פרו-סופית:
חבורה פרו-סופית היא חבורה, בדרך כלל אינסופית, הבנויה מאבני בניין סופית בדרך של גבול טופולוגי.
כחבורה טופולוגית (האוסדורף), חבורה פרו-סופית מאופיינת בכך שהיא מרחב קומפקטי ובלתי-קשירה לחלוטין.
חבורת גלואה של כל הרחבת שדות היא פרו-סופית.