Definition:Faithful Module

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

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

We call $M$ faithful if it's annihilator is trivial.

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