Anello booleano

Da Wikipedia, l'enciclopedia libera.
Se riscontri problemi nella visualizzazione dei caratteri, clicca qui.

In matematica un anello booleano (R,+,·) è un anello unitario per il quale x2 = x per ogni elemento x del suo sostegno R. In altre parole è 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 X, dove l'addizione di anello è la operazione insiemistica differenza simmetrica e la moltiplicazione è l'intersezione.

Criptomorfismo con le algebre di Boole[modifica | modifica sorgente]

Dato un anello booleano (R,+,·), definiamo

xy := x · y,
xy := x + yxy,
~x = 1 + x .

La struttura (R,∨,∧) soddisfa tutti gli assiomi dell'algebra di Boole, dove le operazioni ∨, ∧ e ~ hanno risp. i ruoli di giunzione, incontro e complementazione. In tal modo a ogni anello booleano si associa un'algebra di Boole.

Viceversa a ogni algebra di Boole si associa un anello booleano definendo:

x · y := xy,
x + y := (xy) ∧ ~(xy).

Morfismi e sottostrutture[modifica | modifica sorgente]

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[modifica | modifica sorgente]

Ogni anello booleano R soddisfa x + x = 0 per ogni x in R; infatti sappiamo che

x + x = (x + x)2 = x2 + 2x2 + x2 = 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 = x2 + xy + yx + y2 = 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 F2 di due elementi. In particolare, ogni anello booleano finito ha come cardinalità una potenza di due.

Osserviamo che vi sono algebre associative unitali su F2 che non sono anelli booleani: un esempio è dato dall'anello di polinomi F2[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 F2 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.

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica