Un módulo fiel "M" es uno donde la acción de cada "r" (distinto de cero) en "R" es no trivial (es decir, existe algún m en "M" tal que "rm" ≠ 0).