מודול נאמן

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

בתורת החוגים, מודול נאמן הוא מודול מעל חוג R, שהמאפס שלו \ Ann(M)=\{r \in R : r M = 0\} טריוויאלי.

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

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