跳至內容

素環

本頁使用了標題或全文手工轉換
維基百科,自由的百科全書

抽象代數中,一個非零的 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.