A category is universal if it contains a full subcategory isomorphic to the category of directed graphs without loops and isolated vertices. The variety of all semigroups is universal [\textit{Z. Hedrlin} and \textit{J. Lambek}, J. Algebra 11, 195-212 (1969; Zbl 0206.02505)], also all universal varieties of semigroups were characterized [\textit{V. Koubek} and \textit{J. Sichler}, J. Aust. Math. Soc., Ser. A 36, 143-152 (1984; Zbl 0549.20038)]. For a given semigroup \(S\) and a given variety \({\mathcal V}\) define \({\mathcal V}_S\) to be the full subcategory of the category of all semigroups containing all \(T\in{\mathcal V}\) for which \(S\) is a homomorphic image of \(T\). The following two results are proved: 1. Let \({\mathcal V}\) be a variety of semigroups which is universal and let \(S\) have a least non-void ideal which is a completely simple semigroup. Then \({\mathcal V}_S\) is universal. 2. If a semigroup \(S\) has an idempotent then the category \({\mathcal S}_S\) is universal, where \({\mathcal S}\) is the variety of all semigroups.
- Minimal group-universal varieties of semigroups
- Universal expansion of semigroup varieties by regular involution
- Homomorphisms of extensions of a semigroup within a variety
- scientific article; zbMATH DE number 3875543 (Why is no real title available?)
- scientific article; zbMATH DE number 4127522 (Why is no real title available?)
- Compact universal relation in varieties with constants
- scientific article; zbMATH DE number 3995745 (Why is no real title available?)
- Universal lifting properties of abelian semigroup actions
This page was built for publication: Universal coextensions within a variety
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365285)
