On subvarieties of symmetric closure algebras (Q5935988)

A closure algebra is an algebra \((A,\vee,\wedge, -,Q,0,1)\) such that \((A,\vee, \wedge,-,0,1)\) is a Boolean algebra and \(Q\) is a unary operation on \(A\) that satisfies the identities \(Q(1)= 1\), \(x\geq Q(x)\), \(Q(Q(x))= Q(x)\), \(Q(x\wedge y)= Q(x)\wedge Q(y)\) (interior operator). By defining \(\nabla(x)= -Q(-x)\) we obtain a closure operator. One says that an algebra \((A,\vee,\wedge, -,Q,\sim, 0,1)\) is a symmetric closure algebra if 1) \((A,\vee,\wedge,-,Q,0,1)\) is a closure algebra; 2) \((A,\vee,\wedge,-, \sim,0,1)\) is a symmetric Boolean algebra (i.e. a Boolean algebra with a De Morgan negation \(\sim\)); 3) \(Q(\sim Q(x))= \sim Q(x)\). A symmetric closure algebra \(A\) is called a symmetric monadic algebra if, in addition, \(Q(x\vee Q(y))= Q(x)\vee Q(y)\). The lattice of subvarieties of the variety of monadic symmetric algebras is described (Theorem 5.5) and an equational basis of each subvariety is given (Section 7).