We prove that every finite, simple, surjective algebra having no proper subalgebras is either quasiprimal or affine or isomorphic to an algebra term equivalent to a matrix power of a unary permutational algebra. Consequently, it generates a minimal variety if and only if it is quasiprimal. We show also that a locally finite, minimal variety omitting type 1 is minimal as a quasivariety if and only if it has a unique subdirectly irreducible algebra.

It is well known that in any near-ring, any intersection of prime ideals is a semiprime ideal. The aim of this paper is to prove that any semiprime ideal I in a near-ring N is the intersection of all minimal prime ideals of I in N. As a consequence of this we have any seimprime ideal I is the intersectionof all prime ideals containing I.

There are some well-known laws that the commutator satisfies in groups, and that go by some or all of the names Jacobi, Witt, Hall; and there are also some lesser-known laws. This is an attempt at an axiomatic study of the interdependence and independence of these laws.

We characterise the strongly dualisable three-element unary algebras and show that every fully dualisable three-element unary algebra is strongly dualisable. It follows from the characterisation that, for dualisable three-element unary algebras, strong dualisability is equivalent to a weak form of injectivity.

We consider the lattice of pseudovarieties contained in a given pseudovariety P. It is shown that if the lattice L of subpseudovarieties of P has finite height, then L is isomorphic to the lattice of subvarieties of a locally finite variety. Thus not every finite lattice is isomorphic to a lattice of subpseudovarieties. Moreover, the lattice of subpseudovarieties of P satisfies every positive universal sentence holding in all lattice of subvarieties of varieties V(A) ganarated by algebras A ε P.

A variant of Kurosh-Amitsur radical theory is developed for algebras with a collection of (finitary) operations ω, all of which are idempotent, that is satisfy the condition ω(x, x,…, x) = x. In such algebras, all classes of any congruence are subalgebras. In place of a largest normal radical subobject, a largest congruence with radical congruence classes is considered. In congruence-permutable varieties the parallels with conventional radical theory are most striking.

A group A is said to be endoprimal if its term functions are precisely the functions which permute with all endomorphisms of A. In this paper we describe endoprimal groups in the following three classes of abelian groups: torsion groups, torsionfree groups of rank at most 2, direct sums of a torsion group and a torsionfree group of rank 1.

A unified study is undertaken of finitely generated varieties HSP () of distributive lattices with unary operations, extending work of Cornish. The generating algebra () is assusmed to be of the form (P; ∧, ∨, 0, 1, {fμ}), where each fμ is an endomorphism or dual endomorphism of (P; ∧, ∨, 0, 1), and the Priestly dual of this lattice is an ordered semigroup N whose elements act by left multiplication to give the maps dual to the operations fμ. Duality theory is fully developed within this framework, into which fit many varieties arising in algebraic logic. Conditions on N are given for the natural and Priestley dualities for HSP () to be essentially the same, so that, inter alia, coproducts in HSP () are enriched D-coproducts.

A category V is called universal (or binding) if every category of algebras is isomorphic to a full subcategory of V. The main result states that a semigroup variety V is universal if and only if it contains all commutative semigroups and fails the identity xnyn = (xy)n for every n ≥ 1. Further-more, the universality of a semigroup variety V is equivalent to the existence in V of a nontrivial semigroup whose endomorphism monoid is trivial, and also to the representability of every monoid as the monoid of all endomorphisms of some semigroup in V. Every universal semigroup variety contains a minimal one with this property while there is no smallest universal semigroup variety.

We consider algebras for which the operation PC of pure closure of subsets satisfies the exchange property. Subsets that are independent with respect to PC are directly independent. We investigate algebras in which PC satisfies the exchange property and which are relatively free on a directly independent generating subset. Examples of such algebras include independence algebras and dinitely generated free modules over principal ideal domains.

Let P be a partially-ordered set in which every two elements have a common lower bound. It is proved that there exists a lower semilattice L whose elements are labelled with elements of P in such a way that (i) comparable elements of L are labelled with elements of P in the same strict order relation; (ii) each element of P is used as a label and every two comparable elements of P are labels of comparable elements of L; (iii) for any two elements of L with the same label, there is a label-preserving isomorphism between the corresponding principal ideals. Such a structure is called a full, uniform P-labelled semilattice.

In this paper we determine the smallest equivalence relation on a multialgebra for which the factor multialgebra is a universal algebra satisfying a given identity. We also establish an important property for the factor multialgebra (of a multialgebra) modulo this relation.

We give a revised and updated exposition of the theory of full dualities initiated by Clark, Davey, Krauss and Werner, introducing the (stronger) notion of a strong duality. All known full dualities turn out to be strong. A series of theorems which provide necessary and sufficient conditions for a strong duality to exist is proved. All full dualities in the literature can be obtained from these results and many new strong dualities can be derived. In particular, we show that within congruence distributive varieties every duality can be upgraded to a strong duality. Amongst the new strong dualities are the dualities of Davey, Priestley and Werner for the varieties of pseudocomplemented distributive lattices which are either strong as they stand or can easily be made strong by the addition of partial operations to the dual structures.

Davey and Quackenbush proved a strong duality for each dihedral group Dm with m odd. In this paper we extend this to a strong duality for each finite group with cyclic Sylow subgroups (such groups are known to be metacyclic).

By a theorem of G. Birkhoff, every algebra in an equationally defined class of algebras K is a subdirect product of subdirectly irreducible algebras of K. In this paper we show that this result is true for any class of structures. not necessarily algebraic, closed under isomorphisms and direct limits. Quasivarieties in the sense of Malcev are examples of such classes of structures. This includes Birkhoffs result as a particular case.

An inverse semigroup S is said to be modular if its lattice 𝓛𝓕 (S) of inverse subsemigroups is modular. We show that it is sufficient to study simple inverse semigroups which are not groups. Our main theorem states that such a semigroup S is modular if and only if (I) S is combinatorial, (II) its semilattice E of idempotents is “Archimedean” in S, (III) its maximum group homomorphic image G is locally cyclic and (IV) the poset of idempotents of each 𝓓-class of S is either a chain or contains exactly one pair of incomparable elements, each of which is maximal. Thus in view of earlier results of the second author a simple modular inverse semigroup is “almost” distributive. The bisimple modular inverse semigroups are explicitly constructed. It is remarkable that exactly one of these is nondistributive.

As a sequel to the previous two papers of the second author, we investigate the structure of medial idempotent groupoids by Pn-sequences. To complete the series of research, this paper has theree purposes. First, we summarize some results in the previous papers so that this paper can cover the materials presented there. Secondly, using earlier results, we prove a few theorems which show the importance of the medial law in controlling the growth of Pn-sequences of groupoids. Finally, we state some problems and conjectures raised during the series of research.

The main results of the paper are the following: 1. Every locally finite affine complete variety admits a near unanimity term; 2. A locally finite congruence distributive variety is affine complete if and only if all its algebras with no proper subalgebras are affine complete and the variety is generated by one of such algebras. The first of these results sharpens a result of McKenzie asserting that all locally finite affine complete varieties are congruence distributive. The second one generalizes the result by Kaarli and Pixley that characterizes arithmetical affine complete varieties.

In this paper we investigate subtractive varieties of algebras that are Fregean in order to get structure theorems about them. For instance it turns out that a subtractive variety is Fregean and has equationally definable principal congruences if and only if it is termwise equivalent to a variety of Hilbert algebras with compatible operations. Several examples are provided to illustrate the theory.

In this paper, the variety of three-valued closure algebras, that is, closure algebras with the property that the open elements from a three-valued Heyting algebra, is investigated. Particularly, the structure of the finitely generated free objects in this variety is determined.