מודול נאמן

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

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