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