素環

在抽象代數中，一個非零的環 R 稱作素環，若R滿足以下條件中的一個（這幾個條件是等價的）：

• ∀a, b，r∈ R，有arb = 0 ⇒ a = 0 或 b = 0。
• ∀R上的雙邊理想P,Q，若PQ = (0) ⇒ P=(0) 或 Q=(0)。

質環同時推廣了整環與域上的矩陣環。

例子

• 整環。
• 單環。
• 整域上的矩陣環。

性質

• 含單位元的交換環是質環的充要條件是它是整環。
• 一個環是質環若且唯若 (0) 是質理想。
• 一個非零環是質環若且唯若其雙邊理想在乘法下構成的么半群無零因子。
• 佈於質環上的矩陣環仍是質環。

文獻

• I.N. Herstein, Noncommutative rings (1968) , Math. Assoc. Amer.