Definition:Faithful Module

Definition
Let $R$ be a commutative ring with unity.

Let $M$ be an $R$-module.

Then $M$ is faithful its annihilator is zero.

Note
A ring representation can be viewed as a module, so this definition generalizes that of a faithful representation.