title: Anello booleano
text: # Anello booleano
  
  In matematica un anello booleano $(R,+,\cdot \,)$ è un anello unitario tale che $x^{2}=x$ per ogni $x\in R$, è quindi un anello costituito solo da elementi idempotenti.
  
  Gli anelli booleani sono strutture criptomorfe (cioè logicamente equivalenti) alle algebre di Boole. L'esempio più noto è fornito dall'insieme delle parti di un qualsiasi insieme S, con le operazioni di differenza simmetrica (addizione) e intersezione (moltiplicazione), cioè $({\mathcal {P}}(S),\triangle ,\cap )$.
  
  ## Criptomorfismo con le algebre di Boole
  
  Dato un anello booleano $(R,+,\cdot \,)$, definiamo
  
      $x\lor y:=x+y+xy$,
      $x\land y:=x\cdot y$,
      $\sim x:=1+x$.
  
  La struttura $(R,\lor ,\land )$, soddisfa tutti gli assiomi dell'algebra di Boole, dove $\lor$, $\land$ e $\sim$ hanno rispettivamente i ruoli di giunzione, incontro e complementazione. Segue che ad ogni anello booleano si associa un'algebra di Boole. Viceversa a ogni algebra di Boole $(R,\lor ,\land )$ si associa un anello booleano definendo:
  
      $x+y:=(x\lor y)\land [\sim (x\land y)]$,
      $x\cdot y:=x\land y$.
  
  Infatti, $x^{2}=x\land x=x$ per ogni $x\in R$.
  
  ## Morfismi e sottostrutture
  
  Una applicazione tra due anelli booleani si dice omomorfismo di anelli se trasportata tra le corrispondenti algebre booleane costituisce un omomorfismo tra tali strutture.
  
  Un sottoinsieme di un anello booleano si dice ideale di anello (ideale primo di anello, ideale massimale di anello) se e solo se costituisce un ideale d'ordine (ideale d'ordine primo, ideale d'ordine massimale) dell'algebra di Boole.
  
  Per anello quoziente di un anello booleano modulo un ideale di anello corrisponde al reticolo quoziente dei corrispondenti reticoli booleani modulo il corrispondente ideale d'ordine.
  
  ## Alcuni risultati
  
  Ogni anello booleano R soddisfa x + x = 0 per ogni x in R; infatti sappiamo che
  
      x + x = (x + $x)^2$ = $x^2$ + $2x^2$ + $x^2$ = x + 2x + x
  
  e possiamo sottrarre x + x da entrambi i membri di questa equazione. Una dimostrazione analoga garantisce che ogni anello booleano è commutativo:
  
      x + y = (x + $y)^2$ = $x^2$ + xy + yx + $y^2$ = x + xy + yx + y
  
  e questa uguaglianza comporta xy + yx = 0, che equivale a xy = −yx = yx (utilizzando la proprietà precedente).
  
  L'identità x + x = 0 dice che a ogni anello booleano si può associare in modo unico un'algebra associativa sul campo $F_2$ di due elementi. In particolare, ogni anello booleano finito ha come cardinalità una potenza di due.
  
  Osserviamo che vi sono algebre associative unitali su $F_2$ che non sono anelli booleani: un esempio è dato dall'anello di polinomi $F_2[X].$
  
  L'anello quoziente R/I relativo a un arbitrario anello booleano R modulo un qualunque ideale I è anch'esso un anello booleano. Similmente ogni sottoanello di un anello booleano è un anello booleano.
  
  Ogni ideale primo P di un anello booleano R è massimale: l'anello quoziente R/P è un dominio d'integrità e contemporaneamente un anello booleano; quindi deve essere isomorfo al campo $F_2$ e questo comporta la massimalità di P. Dato che gli ideali massimali sono necessariamente primi, si conclude che in ogni anello booleano l'insieme degli ideali primi e quello degli ideali massimali coincidono.
  
  L'unico dominio d'integrità booleano è $\mathbb {Z} /2\mathbb {Z} =\mathbb {F} _{2}$, infatti, supponiamo che $R$ sia un dominio booleano allora $x^{2}=x$ per ogni $x\in R$ implica $x\cdot (x-1)=0$. Siccome $R$ è un dominio non vi sono divisori dello zero e pertanto $x=0$ oppure $x=1$, cioè $R=\mathbb {F} _{2}$.
  
  