# Definition:Faithful Module

## Definition

Let $R$ be a commutative ring with unity.

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

Then $M$ is faithful if and only if its annihilator is zero.

## Note

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