נוצר סופית – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
Matanyabot (שיחה | תרומות)
מ בוט החלפות: דוגמה\1
שורה 7:
כאשר יש לאובייקט האלגברי מבנה נוסף, כגון [[מרחב טופולוגי|טופולוגיה]], אפשר לכלול את המבנה הזה בהגדרה. לדוגמה, אומרים ש[[חבורה טופולוגית]] היא נוצרת סופית (כחבורה טופולוגית) אם יש בה קבוצה סופית שאינה מוכלת באף תת-חבורה סגורה; כאן הפעולות המותרות הן פעולות החבורה, ובנוסף להן פעולת ה[[גבול (טופולוגיה)|גבול הטופולוגי]]. לדוגמה, [[חוג השלמים ה-p-אדיים]] נוצר סופית כחבורה טופולוגית: אפשר ליצור אותו מאיבר אחד, ולכן החבורה הזו נקראת גם "חבורת-p הטופולוגית הציקלית".
 
המבנה של אובייקטים נוצרים סופית עשוי להיות מסובך ביותר, ובדרך כלל תכונה זו אינה נשמרת במעבר לתת-אובייקטים. למשל, יש דוגמאדוגמה ל[[חבורה פתירה]] [[חבורה מוצגת סופית|מוצגת סופית]] שה[[מרכז (תורת החבורות)|מרכז]] שלה אינו נוצר סופית. לעומת זאת, [[תנאי השרשרת העולה]] נשמר במעבר לתת-אובייקטים, והוא מהווה תחליף מבני ראוי לנוצרות סופית.
 
[[קטגוריה:מושגים במתמטיקה]]