We mimick the construction of guard algebras ([21], [2]) and show how to extract a Church algebra [13] out of the binary polynomials of an arbitrary algebra. We put to good use the weak Boolean product representations of these Church algebras of polynomials 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 su¢cient conditions for the stalks to be directly indecomposable. As an application, we prove that every right-handed skew Boolean algebra is a weak Boolean product of directly indecomposable right-handed skew Boolean algebras.
Boolean product representations of algebras via binary polynomials
LEDDA, ANTONIO;PAOLI, FRANCESCO
2018-01-01
Abstract
We mimick the construction of guard algebras ([21], [2]) and show how to extract a Church algebra [13] out of the binary polynomials of an arbitrary algebra. We put to good use the weak Boolean product representations of these Church algebras of polynomials 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 su¢cient conditions for the stalks to be directly indecomposable. As an application, we prove that every right-handed skew Boolean algebra is a weak Boolean product of directly indecomposable right-handed skew Boolean algebras.File | Dimensione | Formato | |
---|---|---|---|
Annotato_Polynomials v1.pdf
Solo gestori archivio
Tipologia:
versione post-print (AAM)
Dimensione
241.98 kB
Formato
Adobe PDF
|
241.98 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.