On cyclic symmetric Heyting algebras. (Q1406587)

A symmetric Heyting algebra is an algebra \((A;\wedge,\vee,\to,\sim,0,1)\) of type \((2,2,2,1,0,0)\) such that \((A;\wedge,\vee,\to,0,1)\) is a Heyting algebra and \((A;\wedge,\vee,\sim,0,1)\) is a de Morgan algebra. A symmetric Heyting algebra is said to be \(k\)-cyclic if there is an automorphism \(T\) such that \(T^{k}=\text{ id}_{A}\). The variety of such algebras is denoted by \({\mathcal H}_{k}\). The simple algebras in this variety are determined. For the subvariety \(\mathcal L_{k}\) consisting of the algebras in \(\mathcal H_{k}\) that satisfy the identity \((x\to y)\vee(y\to x)=1\), a description of the lattice of subvarieties is obtained, as well as equational bases for each member of this lattice.