素環

在抽象代數中 ， 一個非零的環 R 稱作素環 ， 若R滿足以下條件中的一個 （ 這幾個條件是等價的 ） ： ∀ a, b ， r ∈ R ， 有arb = 0 ⇒ a = 0 或 b = 0 。 ∀ R上的雙邊理想P, Q ， 若PQ = ( 0 ) ⇒ P = ( 0 ) 或 Q = ( 0 ) 。 質環同時推廣了整環與域上的矩陣環 。