בתורת החוגים, מודול נאמן הוא מודול מעל חוג R {\displaystyle R} , שהמאפס שלו A n n ( M ) = { r ∈ ∈ --> R : r M = 0 } {\displaystyle Ann(M)=\{r\in R:rM=0\}} טריוויאלי.
אם M {\displaystyle M} מודול מעל חוג מנה R / I {\displaystyle R/I} , אז הוא גם מודול מעל R {\displaystyle R} , ושם המאפס שלו מכיל את I {\displaystyle I} . לכן, כאשר M {\displaystyle M} מודול נאמן, מובטח שהוא אינו מוגדר מעל חוג מנה אמיתי של R {\displaystyle R} , אלא רק מעל R {\displaystyle R} עצמו.
