On infinite complete algebras
Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in an ordered set. They are defined abstractly as closed sets of a closure system on a set V, satisfying certain axioms. Decompositions are partitions of V whose blocks are intervals, and they form an algebraic semimodular lattice. Lattice-theoretical properties of decompositions are explored, and connections with particular types of intervals are established.
A proof of Jonsson's theorem inspired by considering a natural topology on algebraic lattices is given.
In recent papers, S. N. Begum and A. S. A. Noor have studied join partial semilattices (JP-semilattices) defined as meet semilattices with an additional partial operation (join) satisfying certain axioms. We show why their axiom system is too weak to be a satisfactory basis for the authors' constructions and proofs, and suggest an additional axiom for these algebras. We also briefly compare axioms of JP-semilattices with those of nearlattices, another kind of meet semilattices with a partial join...
We introduce the k-radicals of Green's relations in semirings with a semilattice additive reduct, introduce the notion of left k-regular (right k-regular) semirings and characterize these semirings by k-radicals of Green's relations. We also characterize the semirings which are distributive lattices of left k-simple subsemirings by k-radicals of Green's relations.
We study the groupoids satisfying both the left distributivity and the left idempotency laws. We show that they possess a canonical congruence admitting an idempotent groupoid as factor. This congruence gives a construction of left idempotent left distributive groupoids from left distributive idempotent groupoids and right constant groupoids.
A semigroup variety is called modular if it is a modular element of the lattice of all semigroup varieties. We obtain a strong necessary condition for a semigroup variety to be modular. In particular, we prove that every modular nil-variety may be given by 0-reduced identities and substitutive identities only. (An identity is called substitutive if the words and depend on the same letters and may be obtained from by renaming of letters.) We completely determine all commutative modular...
If is a quasigroup that is free in the class of all quasigroups which are isotopic to an Abelian group, then its multiplication group is a Frobenius group. Conversely, if is a Frobenius group, a quasigroup, then has to be isotopic to an Abelian group. If is, in addition, finite, then it must be a central quasigroup (a -quasigroup).