Distributività: differenze tra le versioni

Versione delle 09:45, 13 giu 2007

Versione delle 09:46, 13 giu 2007

Riga 35:

Un [[Reticolo (matematica)|reticolo]] è un altro tipo di [[struttura algebrica]] con due operazioni binarie, ^ e v.

Se una delle due operazioni (diciamo ^) distribuisce sull'altra (v), allora anche v deve distribuire su ^, e il reticolo è detto distributivo. Vedi anche [[distributività (teoria dell'ordinedegli ordini)]].

Gli esempi 4 e 5 sono [[algebra booleana|algebre booleane]], che possono essere interpretate come un tipo particolare di anello (un [[anello booleano]]) oppure come un tipo particolare di reticolo distributivo (un [[reticolo booleano]]). Ciascuna interpretazione è responsabile di differenti leggi distributive nell'algebra booleana. Gli esempi 6 e 7 sono reticoli distributivi che non sono algebre booleane.