Catalog · 10.5281/zenodo.23419635
Saturation and equational hulls of ordered semigroup varieties
- Martino Lupini · University of Bologna
16 October 2026 · CC BY 4.0 · latest of 2 versions
On the deposit
Saturation and equational hulls of ordered semigroup varieties
Martino Lupini
Abstract
We prove that an inequality-defined variety of partially ordered semigroups is saturated if and only if the ordinary semigroup variety generated by its reducts is saturated. Here saturation excludes proper epimorphic extensions in the ambient category of all semigroups or all partially ordered semigroups. This transfers ordinary equational saturation criteria to compatible partial orders without finiteness, permutation, or convexity assumptions. It recovers a positive answer to Ahanger, Shah, and Khan’s question about ordered normal bands and gives a general equational framework for relaxing convexity in related saturation results. The proof uses the completely regular core E(S)SE(S), a bounded-exponent variety symmetry theorem, and a countable construction for arbitrary inequational theories.
GitHub repository
Files
What this version of the record actually contains. Text sources can be read here. PDFs and archives open on Zenodo. Zenodo does not allow the PDF to be framed on another site.
saturation-equational-hulls.tex
LaTeX · 65.8 KB
- Open on Zenodo
saturation-equational-hulls.pdf
PDF · 477.6 KB
Other homes
Zenodo
The deposit of record for this version.
- 10.5281/zenodo.23419635
- Concept 10.5281/zenodo.23419634
- Record 23419635 · CC BY 4.0
GitHub
Named in the manuscript. This page does not check whether the repository is public.
Obsidian
Not recorded on this deposit.
BibTeX
@unpublished{Lupini202623419635,
title = {Saturation and equational hulls of ordered semigroup varieties},
author = {Martino Lupini},
year = {2026},
doi = {10.5281/zenodo.23419635},
note = {Zenodo deposit, latest of 2}
}