חבורה טופולוגית – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 38:
\mathbb{Z}/p^2 \mathbb{Z} \leftarrow \mathbb{Z}/p^3 \mathbb{Z} \leftarrow \dots \leftarrow \mathbb{Z}_p</math>. חבורות אלה מצוידות ב[[הטופולוגיה הפרו-סופית|טופולוגיה הפרו-סופית]], שתחתיה הן מהוות [[חבורה קומפקטית|חבורת האוסדורף קומפקטית]].
למעשה, כל חבורה קומפקטית שהיא לא-קשירה לחלוטין, מהווה חבורה פרו-סופית. כאשר G פרו-סופית, תת-חבורה H היא פתוחה אם ורק אם היא בעלת [[אינדקס (תורת החבורות)|אינדקס]] סופי. תת-חבורה H היא סגורה (ונורמלית), אם ורק אם היא מהווה חיתוך של חבורות פתוחות (ונורמליות); תכונה שקולה
==חוגים ושדות טופולוגיים==
| |||