Using Vaggione's concept of central element in a double-pointed algebra, we introduce the notion of \emph{Boolean-like variety} as a generalisation of Boolean algebras to an arbitrary similarity type. Appropriately relaxing the requirement that every element be central in any member of the variety, we obtain the more general class of \emph{semi-Boolean-like varieties}, which still retain many of the pleasing properties of Boolean algebras. We prove that a double-pointed variety is discriminator iff it is semi-Boolean-like, idempotent, and $0$-regular. This theorem yields a new Maltsev-style characterisation of double-pointed discriminator varieties.
Boolean-like-algebras
SALIBRA, Antonino;
2013-01-01
Abstract
Using Vaggione's concept of central element in a double-pointed algebra, we introduce the notion of \emph{Boolean-like variety} as a generalisation of Boolean algebras to an arbitrary similarity type. Appropriately relaxing the requirement that every element be central in any member of the variety, we obtain the more general class of \emph{semi-Boolean-like varieties}, which still retain many of the pleasing properties of Boolean algebras. We prove that a double-pointed variety is discriminator iff it is semi-Boolean-like, idempotent, and $0$-regular. This theorem yields a new Maltsev-style characterisation of double-pointed discriminator varieties.File | Dimensione | Formato | |
---|---|---|---|
Boolean-like-algebras-finalissima-2-luglio2012.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Accesso gratuito (solo visione)
Dimensione
357.65 kB
Formato
Adobe PDF
|
357.65 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.