מודול נאמן

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

בתורת החוגים, מודול נאמן הוא מודול מעל חוג R, שהמאפס שלו טריוויאלי.

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

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