Un inel boolean este un inel cu înmulțire idempotentă , adică un inel în care pentru toți [1] [2] [3] .
Cel mai faimos exemplu de inel boolean este obținut din algebra booleană prin introducerea adunării și înmulțirii după cum urmează:
În special, booleanul unei mulțimi formează un inel boolean în raport cu diferența simetrică și intersecția submulților . În legătură cu acest exemplu de bază, introducerea adunării într-un inel boolean ca „ exclusiv sau ” pentru algebrele booleene și înmulțirea ca conjuncție , simbolul este uneori folosit pentru adunare în inele booleene și pentru înmulțire, semnele rețelei infimum ( , , ).
Orice inel boolean obținut în acest mod dintr-o algebră booleană are o unitate , care coincide cu unitatea algebrei booleene originale. În plus, orice inel boolean cu identitate definește în mod unic o algebră booleană prin următoarele definiții ale operațiilor:
În fiecare inel boolean , ca o consecință a idempotității față de înmulțire:
,și deoarece inelul este un grup abelian , este posibil să se scadă o componentă din ambele părți ale acestei ecuații.
Fiecare inel boolean este comutativ , ceea ce este, de asemenea, o consecință a idempotității înmulțirii:
,care dă , care la rândul său înseamnă .
Orice inel boolean finit netrivial este o sumă directă a câmpurilor reziduale modulo 2 ( ) și are o unitate .
Inelul coeficient al oricărui inel boolean după un ideal arbitrar este, de asemenea, un inel boolean. În același mod, orice subring al unui inel boolean este un inel boolean. Fiecare ideal prim dintr-un inel boolean este maxim : un inel coeficient este un domeniu de integritate , precum și un inel boolean, deci este izomorf cu un câmp , care arată maximalitate . Deoarece idealurile maxime sunt întotdeauna prime, conceptele de idealuri prim și maximal sunt aceleași pentru inelele booleene.
Inelele booleene sunt absolut plate , adică orice modul de deasupra lor este plat .
Fiecare ideal finit generat al unui inel boolean este principal .