מודול נאמן

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

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