Definition:Faithful Module

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

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

Then $M$ is faithful if its annihilator is trivial.

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