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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
אין תקציר עריכה
שורה 11:
[[חוג נותרי]] הוא [[חוג (מתמטיקה)|חוג]] שהינו מודול נותרי כמודול מעל עצמו. מעל חוג נותרי, כל מודול נוצר סופית הוא מודול נותרי.
 
לכל תת-מודול K של מודול M, מודולהמודול M נותרי אם ורק אם K ו- M/K נותרים (למרות שתת-מודול של מודול נוצר סופית אינו בהכרח נוצר סופית).
 
כל מודול נותרי (או [[מודול ארטיני|ארטיני]]) אפשר לפרק לסכום ישר סופי של [[מודול אי-פריד|מודולים אי-פרידים]] (כאלו שאי אפשר לפרק אותם לסכום ישר). אם המודול בעל אורך סופי, אז הפירוק יחיד עד כדי סדר ([[משפט קרול-רמק-שמידט]]).
 
 
== ראו גם ==