We mimic the construction of guarded algebras and show how to extract a Church algebra out of the binary functions on an arbitrary algebra, containing a Church subalgebra of binary polynomial opera- tions. We put to good use the weak Boolean product representations of these Church algebras to obtain weak Boolean product representations of the original algebras. Although we cannot, in general, say much about the factors in these products, we identify a number of sufficient condi- tions for the stalks to be directly indecomposable. As an application, we prove that every skew Boolean algebra is a weak Boolean product of directly indecomposable skew Boolean algebras.
Boolean product representations of algebras via binary polynomials
SALIBRA, Antonino;
2018-01-01
Abstract
We mimic the construction of guarded algebras and show how to extract a Church algebra out of the binary functions on an arbitrary algebra, containing a Church subalgebra of binary polynomial opera- tions. We put to good use the weak Boolean product representations of these Church algebras to obtain weak Boolean product representations of the original algebras. Although we cannot, in general, say much about the factors in these products, we identify a number of sufficient condi- tions for the stalks to be directly indecomposable. As an application, we prove that every skew Boolean algebra is a weak Boolean product of directly indecomposable skew Boolean algebras.File | Dimensione | Formato | |
---|---|---|---|
Polynomials-salibra-ledda-paoli-17-apr-2015-final-version.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Accesso chiuso-personale
Dimensione
323.3 kB
Formato
Adobe PDF
|
323.3 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.