布林環

在數學中，布林環（英語：Boolean ring）${\displaystyle R}$ 是對所有 ${\displaystyle R}$ 中的元素 ${\displaystyle x}$ 都有 ${\displaystyle x^{2}=x}$ 的環，即 ${\displaystyle R}$ 是由冪等元素組成的環。布爾環都對應一個布林代數。^[1]

例子

布林環的一個例子是任何集合 ${\displaystyle X}$ 的冪集 ${\displaystyle R={\mathcal {P}}(X)}$ 。在這個環中：加法單位元素0是空集，乘法單位元素1是全集，加法是對稱差，乘法是交集。另一個例子我們考慮 ${\displaystyle 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)}$

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

性質

所有布林環 ${\displaystyle R}$ 滿足對於所有 ${\displaystyle R}$ 中的 ${\displaystyle x}$ 有 ${\displaystyle x+x=0}$ ；因此 ${\displaystyle -x=x}$ ，所有元素都是自身的加法反元素，在布林環中使用減號沒有意義。

因為我們知道

${\displaystyle x+x=(x+x)^{2}=x^{2}+2x^{2}+x^{2}=x+2x+x=x+x+x+x}$

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

${\displaystyle x+y=(x+y)^{2}=x^{2}+xy+yx+y^{2}=x+xy+yx+y}$

由此可推出 ${\displaystyle xy+yx=0}$ ，意味着 ${\displaystyle xy=-yx=yx}$ （使用上面第一個性質）。

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

任何布林環 ${\displaystyle R}$ 模以任何環理想 ${\displaystyle I}$ 的商環 ${\displaystyle R/I}$ 也是布林環。類似的，布林環的任何子環都是布林環。

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

有限布林環中必有乘法單位元素。^[2]