The connection of skew Boolean algebras and discriminator varieties to Church algebras (Q2351516): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 16:54, 2 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The connection of skew Boolean algebras and discriminator varieties to Church algebras |
scientific article |
Statements
The connection of skew Boolean algebras and discriminator varieties to Church algebras (English)
0 references
23 June 2015
0 references
A skew Boolean algebra (SBA, for short) is an algebra \((A;\vee,\wedge,\setminus,0)\) of type \((2,2,2,0)\) which is a non-commutative analogue of a (generalized) BA. Of course, every subset \(x\wedge A \wedge x\) of a SBA is a subalgebra of \(A\) and a Boolean lattice. SBA's possess a partial order defined \(x\geq y\) if \(x\vee y=x=y\vee x\), or equivalently, if \(x\wedge y=y=y\wedge x.\) An SBA \(A\) is called \textit{right-handed} if it satisfies \(x\wedge y\wedge x=y\wedge x\) and the dual identity. Similarly, one can define left-handed SBA's. A variety \(V\) of algebras with a term \(d(x,y,z)\) satisfying \(d(a,b,c)=a\) if \(a\neq b,\) and \(d(a,b,c)=c\) if \(a=b\) in any \(A\in V,\) is called a \textit{discriminator variety}. Especially, a discriminator variety with a constant term is called \textit{pointed discriminator variety}. An algebra \((A;q,0,1)\) of type \((3,0,0)\) is called a \textit{Church algebra} if it satisfies the identities \(q(1,x,y)=x\) and \(q(0,x,y)=y\). A \textit{right Church algebra} (= CA) is an algebra \((A;F)\) of type \(\tau,\) with a fixed ternary operation \(q\) and a constant 0 that satisfy the identity \(q(0,x,y)=x.\) Important is the concept of a \textit{semicentral element} in a right CA which is a generalization of the central element. The main results are:{\parindent=0.7cm\begin{itemize}\item[(1)] The set of all semicentral elements in a right CA forms a right-handed SBA. \item[(2)] The variety of all semicentral right CA's (= all elements are semicentral) of type \(\tau\) is term equivalent to the variety of right-handed skew BA's. \item[(3)] A pointed variety (i.e. with a fixed constant 0) is a discriminator variety of semicentral right CA's iff it is a 0-regular variety (i.e. congruences are uniquely determined by their congruence class containing 0). \end{itemize}}
0 references
skew Boolean algebra
0 references
Church algebra
0 references
discriminator variety
0 references
factor congruence
0 references
decomposition operation
0 references