The notion of binary representation of algebras with at most two binary operations is introduced in this paper, and the binary version of Cayley theorem for distributive lattices is given by hyperidentities. In particular, we get the binary version of Cayley theorem for DeMorgan and Boolean algebras.

The concepts of γ-compactness, countable γ-compactness, the γ-Lindelöf property are introduced in L-topological spaces by means of γ-open L-sets and their inequalities when L is a complete DeMorgan algebra. These definitions do not rely on the structure of the basis lattice L and no distributivity in L is required.

in this paper we study the existence of commuting regular elements, verifying the notion left (right) commuting regular elements and its properties in the groupoid g(n) . also we show that g(n) contains commuting regular subsemigroup and give a necessary and sucient condition for the groupoid g(n) to be commuting regular.

With the usual notation for congruences on a regular semigroup S, in a previous communication we studied the lattice Λ generated by Γ = {σ, τ, μ, β} relative to properties such as distributivity and similar conditions. For K and T the kernel and trace relations on the congruence lattice of S, we form an abstraction of the triple (Λ;K|Λ, TΛ) called a c-triple. In this study a number of relations...

Logical connectives on fuzzy sets arise from those on the unit interval. The basic theory of these connectives is cast in an algebraic spirit with an emphasis on equivalence between the various systems that arise. Special attention is given to De Morgan systems with strict Archimedean t-norms and strong negations. A typical result is that any De Morgan system with strict t-norm and strong negat...

in the present paper, we consider biflatness of certain classes of semigroupalgebras. indeed, we give a necessary condition for a band semigroup algebra to bebiflat and show that this condition is not sufficient. also, for a certain class of inversesemigroups s, we show that the biflatness of ell^{1}(s)^{primeprime} is equivalent to the biprojectivity of ell^{1}(s).

Herein we generalize the holonomy theorem for finite semigroups (see [7]) to arbitrary semigroups, S, by embedding s^ into an infinite Zeiger wreath product, which is then expanded to an infinite iterative matrix semigroup. If S is not finite-J-above (where finite-J-above means every element has only a finite number of divisors), then S is replaced by g3, the triple Schtitzenberger product, whi...

Let S be a regular semigroup and C its lattice of congruences. We consider the sublattice Λ of C generated by σ-the least group, τ -the greatest idempotent pure, μ-the greatest idempotent separating and β-the least band congruence on S. To this end, we study the following special cases: (1) any three of these congruences generate a distributive lattice, (2) Λ is distributive, (3) the restrictio...

The main purpose of this paper is to establish a relation between universality of certain P-compactifications of a semitopological semigroup and their corresponding enveloping semigroups. In particular, we show that if we take P to be the property that the enveloping semigroup of a compactification of a semitopological semigroup s is left simple, a group, or the trivial singleton semigroup, t...