Definition:Faithful Module

From ProofWiki
Jump to navigation Jump to search

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.