忠实模(faithful module)是一类重要的模，若M是左A模，把所有与M的乘积为0的A的元的集合记为K，即K={a∈A|aM=0}，则K是A的理想，称为M在A中的零化子。若K=0，即不存在A的非零元素a，使得aM=0成立，则称M是忠实A模。无挠模一定为忠实模，但反过来不真，对任一个A模M，总可以得到一个忠实模，若M在A中的零化子为I，则M可成为A/I模，此时A/I模M就是忠实模，并且AM与A/IM有相同的子模格。
欢迎使用别助学词语词典！我们专注于汉语词语、成语、近义词、反义词的查询与学习。词库丰富，查询快速，是您提升汉语水平的得力助手。如有任何问题，欢迎联系我们。