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 in questo prodotto:
File Dimensione Formato  
Annotato_Polynomials v1.pdf

Solo gestori archivio

Tipologia: versione post-print
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/187021
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact