Varieties generated by two-element majority algebras and their equivalences (Q1089367)

A majority function is a ternary operation m with \(m(x,y,x)=m(x,x,y)=m(y,x,x)=x\). If an algebra A has a majority function amongst its term functions then any operation preserving all subalgebras of \(A\times A\) will be a term function of A. Such an algebra is then called a majority algebra. Thus majority algebras are natural generalizations of primal algebras whose structure theory is well known due to the fact that the variety generated by a primal algebra is categorically equivalent to the variety of Boolean algebras. Here a duality theorem, analogously to the well known duality theorem for Boolean algebras is proved for two-element majority algebras and varieties equivalent to varieties generated by two-element majority algebras are classified. The work relies heavily on a description of all two-element majority algebras given previously by the same author.