faithful module

faithful module

[¦fāth‚fu̇l ′mä·jül] (mathematics) A module M over a commutative ring R such that if a is an element in R for which am = 0 for all m in M, then a = 0.