Anillo booleano

En álgebra abstracta, en particular en teoría de anillos, un anillo booleano es aquel anillo R en donde $a^2=a$ para todo elemento de R.

Expresado de otra forma, es un anillo en el que todos los términos son idempotentes.

Conmmutatividad de los anillos booleanos

Los anillos booleanos necesariamente son anillos conmutativos. A continuación se presenta una prueba correcta de la conmutatividad.

Equivalencia entre anillos booleanos y álgebras booleanas

Todo anillo booleano $(R,+,\cdot )$ con elemento unitario 1 satisface los axiomas de un álgebra booleana $(R,\wedge ,\vee ,\mathrm{\neg })$ si se define la disyunción como: Plantilla:Ecuación la conjunción como: Plantilla:Ecuación y la negación como: Plantilla:Ecuación

De manera inversa, toda álgebra booleana se puede convertir en un anillo conmutativo definiendo las operaciones de suma y producto como: Plantilla:Ecuación Plantilla:Ecuación

Referencias

• Plantilla:Cita libro

Véase también

• Álgebra booleana