On endomorphisms of Ockham algebras with pseudocomplementation (Q763302): Difference between revisions

An Ockham algebra \((L;f)\) consists of a bounded distributive lattice \(L\) with a dual endomorphism \(f\). In the class \(\mathbf{O}\) of Ockham algebras the Berman subclass \(\mathbf{K}_{p,q}\) consists of the algebras in which \(f^{2p+q}=f^{q}\) with \(p,q\in \mathbb N\), \(p\geq 1\), \(q\geq 0\). A \(\mathbf{pO}\)-algebra \((L;f,^\ast)\) is an algebra in which \((L;f)\) is an Ockham algebra, \((L;^\ast)\) is a \(p\)-algebra, and the unary operations \(f\) and \(^\ast\) commute. If \((L;f,^\ast)\in \mathbf{pO}\) then \(\vartheta :L\rightarrow L\) is an endomorphism if it is a lattice morphism which commutes with both unary operations \(f\) and \(^\ast\). The set of endomorphisms on \(L\) is denoted as usual by \(\mathrm{End}\) \(L\). The authors begin by investigating when, for \((L;f,^\ast)\in \mathbf{pK}_{a,b}\), the endomorphisms \(f^2\) and \(^\ast f\) are regular, namely iff \((L;f,^\ast)\in \mathbf{pK}_{a,2}\) and, respectively, \((L;f,^\ast)\in \mathbf{pK}_{a,1}\). Then, they proceed to investigate the endomorphisms of a subdirectly irreducible \(\mathbf{pK}_{1,1}\)-algebra \((L;f,^\ast)\). An important role in this sense is played by the set \(D(L)=\{x\in L\mid x^\ast=0\}\). For example, if \((L;f,^\ast)\in \mathbf{pK}_{1,1}\) is subdirectly irreducible with \(|D(L)|=1\), then \(\mathrm{End}\) \(L\) is a regular semigroup in which the idempotents are central, and consequently is a Clifford semigroup. If \((L;f,^\ast)\in \mathbf{pK}_{1,1}\) is subdirectly irreducible with \(|D(L)|=2\), then every endomorphism of \(L\) is either a monomorphism or an idempotent. Moreover, if \(L\) is finite, then \(\mathrm{End}\) \(L\) is a union of groups and is a Clifford monoid iff \(L\) is of one of the forms \(H_1\), \(H_3\), \(L_6\), \(L_8\) defined in this paper.