On some algebraic properties of Plonka sums and regularized varieties

Abstract

P\l onka sums consist of a general construction that provides structural description for algebras in regularized varieties, whose examples range from Clifford semigroups to many algebras of logic including involutive bisemilattices, Bochvar algebras and certain residuated structures. While properties such as subdirectly irreducible algebras, subvariety lattices, and free algebras are well-understood for plural types without constants, the general case involving nullary operations remains largely unexplored. In this paper, we extend these results to algebraic types with constants and provide new insights into splittings within the lattice of subvarieties of a regularized variety. Furthermore, we offer a complete characterization of the congruences of a P\l onka sum and establish that the construction preserves surjective epimorphisms and injective monomorphisms.