Endomorphisms of implication algebras (Q2248024)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Endomorphisms of implication algebras |
scientific article |
Statements
Endomorphisms of implication algebras (English)
0 references
30 June 2014
0 references
In an earlier paper [Semigroup Forum 84, No. 1, 25--32 (2012; Zbl 1243.03077)], the author has proved that two finite implication algebras are isomorphic if their endomorphism monoids are so. Now, this result is extended to arbitrary implication algebras. The main tool is the topological duality for implication, or Tarski, algebras; see [\textit{S. A. Celani} and \textit{L. M. Cabrer}, Algebra Univers. 58, No. 1, 73--94 (2008; Zbl 1136.03046)]. Reviewer's remark: It seems that the author's theorem could be proved also by completely algebraic methods. In such a manner, \textit{C. Tsinakis} has shown a similar result for the so called principal Brouwerian semilattices in [Houston J. Math. 5, 427--436 (1979; Zbl 0431.06003)]. He also notes there that any Boolean lattice, viewed as a member of the class of Brouwerian semilattices, is principal. This observation pertains equally to implication algebras, which are, in fact, reducts of such Boolean lattices.
0 references
endomorphism monoid
0 references
implication algebra
0 references
Tarski space
0 references
topological duality
0 references