לדלג לתוכן

מודול נתרי

מתוך ויקיפדיה, האנציקלופדיה החופשית

באלגברה מופשטת, מודול נתרי הוא מודול המקיים את תנאי השרשרת העולה (ACC) על הסדר החלקי של יחס ההכלה על תת-המודולים שלו.

תנאי זה שקול להגדרות הבאות לנתריות של מודול :

דויד הילברט היה המתמטיקאי הראשון שהשתמש בתכונות של תת-מודולים נוצרים סופית. הוא הוכיח את משפט הבסיס של הילברט שעל פיו כל אידיאל בחוג הפולינומים ב- משתנים מעל שדה כלשהו נוצר סופית. למרות זאת, התכונה נקראת על שם אמי נתר.

חוג נתרי הוא חוג שהוא מודול נתרי כמודול מעל עצמו. מעל חוג נתרי, כל מודול נוצר סופית הוא מודול נתרי.

לכל תת-מודול של מודול , המודול נתרי אם ורק אם ו- נתרים (למרות שתת-מודול של מודול נוצר סופית אינו בהכרח נוצר סופית).

כל מודול נתרי (או ארטיני) אפשר לפרק לסכום ישר סופי של מודולים אי-פרידים (כאלו שאי אפשר לפרק אותם לסכום ישר). אם המודול בעל אורך סופי, אז הפירוק יחיד עד כדי סדר (משפט קרול-רמק-שמידט).


קישורים חיצוניים

[עריכת קוד מקור | עריכה]