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