מודול נאמן

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

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