素模

素模（prime module）是為刻畫素環而定義的一種模。右A模M稱為A素模，需要滿足特定的條件。更進一步講，如果M是一個A素模，那麼對於M中的任意元素x和環A的任意理想B，有xB= (0)蘊涵x=0，或B包含於(0 : M)在A中的零化子。此外，環A是素環的一個充分必要條件是存在一個忠實A素模M。