תחום ראשי – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 30:
==
מעל תחומים ראשיים מתקיימת גרסה של [[משפט המיון לחבורות אבליות נוצרות סופית]]: כל מודול נוצר סופית מעל תחום ראשי <math>\ R</math> הוא [[סכום ישר]] של [[מודול ציקלי|מודולים ציקליים]]. משפט המיון אינו אלא המקרה <math>\ R = \mathbb{Z}</math>. מעל תחום ראשי, כל תת-מודול של [[מודול חופשי]] הוא מודול חופשי, וכל תת-מודול של סכום ישר של מודולים ציקליים, הוא סכום ישר של מודולים ציקליים
|