布林環

在數學中，布林環R是對於所有R中的x有${\displaystyle x^{2}=x}$的環，就是說R由冪等元素組成。這些環引發自（和引發）布林代數。

例子

一個例子是任何集合X的冪集，在這個環中：0是空集，1是全集，加法是對稱差，乘法是交集。另一個例子我們考慮X的所有有限子集的集合，運算還是對稱差和交集。更一般的說通過這些運算任何集合域都是布林環。通過Stone布林代數表示定理所有布林環都同構於一個集合域（作為帶有這些運算的環處理）。

與布林代數的關係

如果定義

${\displaystyle x\land y=xy}$

${\displaystyle x\lor y=x+y+xy}$

${\displaystyle \lnot x=1+x}$

則它們滿足在布林代數中交、並和補的所有公理。所以每個布林環都成為了布林代數。類似的，通過如下定義布林代數成為了布林環：

${\displaystyle xy=x\land y}$

${\displaystyle x+y=(x\lor y)\land \lnot (x\land y)=(x\land \lnot y)\lor (\lnot x\land y)}$

在兩個布林環之間的對映是環同態，若且唯若它是相應的布林代數的同態。進一步的，布林環的子集是環理想（質環理想，極大環理想），若且唯若它是相應的布林代數的理想（質理想，極大理想）。布林環模以環理想的商環對應於相應的布林代數模以相應的理想的商代數。

性質

所有布林環R滿足對於所有R中的x有x + x = 0；因此 -x = x，所有元素都是自身的加法反元素，在布林環中使用減號沒有意義。因為我們知道

x + x =(x + x)² = x² + 2x² + x² = x + 2x + x = x + x + x + x

並且因為<R,+>是阿貝爾群，我們可以從這個等式的兩端減去x + x，這給出了x + x = 0。類似的證明證實了布林環是可交換的：

x + y =(x + y)² = x² + xy + yx + y² = x + xy + yx + y

而這產生了xy + yx = 0，它意味著xy = −yx = yx（使用上面第一個性質）。

x + x = 0的性質證實了布林環是在帶有兩個元素的域F₂上的結合代數，但只在這個方向上。特別是，任何有限布林環都有二的冪的勢。不是所有的在F₂上的單作結合代數都是布林環：比如多項式環F₂[X]。

任何布林環R模以任何環理想I的商環R/I也是布林環。類似的，布林環的任何子環是布林環。

在布林環R中所有質環理想P是極大環理想： R/P的商環是整環並其同時是布林環，所以它必定同構於域F₂，這證實了P的極大性。因為極大環理想總是質環理想，我們得出質環理想和極大環理想在布林環中是一致的。

參照

• Atiyah, Michael Francis; Macdonald, I.G., Introduction to Commutative Algebra, Westview Press, 1969, ISBN 978-0-201-40751-8