忠实模(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有相同的子模格。
欢迎使用翰思网词语词典！我们致力于为您提供最准确的汉语词语解释、成语故事、近义词反义词对比及组词参考。专业团队维护，数据持续扩充，助您畅游中文世界。