Faithful module

Summary

A faithful module over a ring $R$ is a module on which no nonzero element of $R$ acts as zero. Equivalently, its annihilator is zero, so $R$ embeds in the endomorphism ring of the additive group of the module. It is the module version of a faithful action of a group. Faithful simple modules define primitive rings, a central class in the structure theory of rings.