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

תוכן שנמחק תוכן שנוסף
WikitanvirBot (שיחה | תרומות)
מ r2.7.1) (בוט משנה: ko:유한생성 아벨 군
מ ←‏מבוא: הגהה
שורה 8:
אחד מהתחומים בהם עוסקת ה[[אלגברה מופשטת|אלגברה המופשטת]] הוא סיווג של חבורות, או מבנים אלגבריים אחרים, על פי תכונותיהן. '''משפט המיון לחבורות אבליות נוצרות סופית''' מספק סיווג כזה עבור החבורות האבליות שיש להן [[קבוצה סופית|תת-קבוצה סופית]] של איברים, שממנה אפשר ליצור, על ידי פעולת החבורה, את כל איברי החבורה.
 
המשפט מראה כי כל חבורה שמקיימת את שתי הדרישות הללו היא זהה למעשה, עד כדי החלפת הסימון בו משתמשים כדי לתאר אותה, לחבורה שמורכבת מ[[סכום ישר|סכום]] של [[חבורה ציקלית|חבורות ציקליות]]. מכיוון שחבורות ציקליות פשוטות מאוד לתיאור, הדבר מסייע להבנה של מבנה החבורה שעליה מופעל המשפט, וכן מקל לבדוק האם שתי חבורות שהוגדרו בדרכים שונות הן בעלות אותו המבנה - על ידי השוואת ההצגה שלהן כמכפלות של חבורות ציקליות.
 
== פיתול ==