布爾環

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

例子

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

與布爾代數的關係

如果定義

$x\land y=xy$

$x\lor y=x+y+xy$

$\lnot x=1+x$

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

$xy=x\land y$

$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