In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra A with constants 0,1 is Booolean-like in case for all a ∈ A the congruences θ (a,0) and θ (a,1) are compementary factor congruences of A. We also introduced the weaker notion of semi-Boolean-like algebra, showing that it retained some of the strong algebraic properties characterising Boolean algebras. In this paper, we continue the investigation of semi-Boolean like algebras. In particular, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations.
On semi-Boolean-like algebras
LEDDA, ANTONIO;PAOLI, FRANCESCO;
2013-01-01
Abstract
In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra A with constants 0,1 is Booolean-like in case for all a ∈ A the congruences θ (a,0) and θ (a,1) are compementary factor congruences of A. We also introduced the weaker notion of semi-Boolean-like algebra, showing that it retained some of the strong algebraic properties characterising Boolean algebras. In this paper, we continue the investigation of semi-Boolean like algebras. In particular, we show that every idempotent semi-Boolean-like variety is term equivalent to a variety of noncommutative Boolean algebras with additional regular operations.File | Dimensione | Formato | |
---|---|---|---|
Idempotent2p.pdf
Solo gestori archivio
Tipologia:
versione pre-print
Dimensione
325.58 kB
Formato
Adobe PDF
|
325.58 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.