Definition:Faithful Module

From ProofWiki
Jump to navigation Jump to search


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.


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