We investigate ways of representing ordered sets as algebras and how the order relation is reflected in the algebraic properties of the variety (equational class) generated by these algebras. In particular we consider two different but related methods for constructing an algebra with one binary operation from an arbitrary ordered set with a top element. The two varieties generated by all these ...

this paper is the first of a two part series. in this paper, we first prove that the variety of dually quasi-de morgan stone semi-heyting algebras of level 1 satisfies the strongly blended $lor$-de morgan law introduced in cite{sa12}. then, using this result and the results of cite{sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...

this paper is the second of a two part series. in this part, we prove, using the description of simples obtained in part i, that the variety $mathbf{rdqdstsh_1}$ of regular dually quasi-de morgan stone semi-heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{rdqdstsh_1}$-chains and the variety of dually quasi-de morgan boolean semi-heyting algebras--...

in this article, we introduce monomial irreducible representations of the special linear lie algebra $sln$. we will show that this kind of representations have bases for which the action of the chevalley generators of the lie algebra on the basis elements can be given by a simple formula.

This paper is centred around a nice conjecture, known to Wolfgang Rautenberg and myself since 1978: a modal algebra A is subdirectly irreducible if and only if its dual frame A∗ is initial, or generated (see definitions in the text). I here show that in full generality the conjecture is false, but that it becomes true under some mild additional assumptions. Unfortunately, some counterexamples s...

In this paper all subdirectly irreducible pseudocomplemented distributive lattices are found. This result is used to establish a Stone-like representation theorem conjectured by G. Grätzer and to find all equational subclasses of the class of pseudocomplemented distributive lattices.

We prove that the endomorphism semiring of a nontrivial semilattice is always subdirectly irreducible and describe its monolith. The endomorphism semiring is congruence simple if and only if the semilattice has both a least and a largest element.