Details
| Originalsprache | Englisch |
|---|---|
| Aufsatznummer | 18 |
| Seitenumfang | 22 |
| Fachzeitschrift | Algebra universalis |
| Jahrgang | 83 |
| Ausgabenummer | 2 |
| Frühes Online-Datum | 12 Apr. 2022 |
| Publikationsstatus | Veröffentlicht - Mai 2022 |
Abstract
A nucleus on a meet-semilattice A is a closure operation that preserves binary meets. The nuclei form a semilattice N A that is isomorphic to the system NA of all nuclear ranges, ordered by dual inclusion. The nuclear ranges are those closure ranges which are total subalgebras (l-ideals). Nuclei have been studied intensively in the case of complete Heyting algebras. We extend, as far as possible, results on nuclei and their ranges to the non-complete setting of implicative semilattices (whose unary meet translations have adjoints). A central tool are so-called r-morphisms, that is, residuated semilattice homomorphisms, and their adjoints, the l-morphisms. Such morphisms transport nuclear ranges and preserve implicativity. Certain completeness properties are necessary and sufficient for the existence of a least nucleus above a prenucleus or of a greatest nucleus below a weak nucleus. As in pointfree topology, of great importance for structural investigations are three specific kinds of l-ideals, called basic open, boolean and basic closed.
ASJC Scopus Sachgebiete
- Mathematik (insg.)
- Algebra und Zahlentheorie
- Mathematik (insg.)
- Logik
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
in: Algebra universalis, Jahrgang 83, Nr. 2, 18, 05.2022.
Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
}
TY - JOUR
T1 - Nuclear ranges in implicative semilattices
AU - Erné, Marcel
N1 - Funding information: Open Access funding enabled and organized by Projekt DEAL.
PY - 2022/5
Y1 - 2022/5
N2 - A nucleus on a meet-semilattice A is a closure operation that preserves binary meets. The nuclei form a semilattice N A that is isomorphic to the system NA of all nuclear ranges, ordered by dual inclusion. The nuclear ranges are those closure ranges which are total subalgebras (l-ideals). Nuclei have been studied intensively in the case of complete Heyting algebras. We extend, as far as possible, results on nuclei and their ranges to the non-complete setting of implicative semilattices (whose unary meet translations have adjoints). A central tool are so-called r-morphisms, that is, residuated semilattice homomorphisms, and their adjoints, the l-morphisms. Such morphisms transport nuclear ranges and preserve implicativity. Certain completeness properties are necessary and sufficient for the existence of a least nucleus above a prenucleus or of a greatest nucleus below a weak nucleus. As in pointfree topology, of great importance for structural investigations are three specific kinds of l-ideals, called basic open, boolean and basic closed.
AB - A nucleus on a meet-semilattice A is a closure operation that preserves binary meets. The nuclei form a semilattice N A that is isomorphic to the system NA of all nuclear ranges, ordered by dual inclusion. The nuclear ranges are those closure ranges which are total subalgebras (l-ideals). Nuclei have been studied intensively in the case of complete Heyting algebras. We extend, as far as possible, results on nuclei and their ranges to the non-complete setting of implicative semilattices (whose unary meet translations have adjoints). A central tool are so-called r-morphisms, that is, residuated semilattice homomorphisms, and their adjoints, the l-morphisms. Such morphisms transport nuclear ranges and preserve implicativity. Certain completeness properties are necessary and sufficient for the existence of a least nucleus above a prenucleus or of a greatest nucleus below a weak nucleus. As in pointfree topology, of great importance for structural investigations are three specific kinds of l-ideals, called basic open, boolean and basic closed.
KW - Closure operation
KW - Closure range
KW - Heyting lattice
KW - Implicative semilattice
KW - l-ideal
KW - Nuclear range
KW - Nucleus
UR - http://www.scopus.com/inward/record.url?scp=85128191198&partnerID=8YFLogxK
U2 - 10.1007/s00012-022-00768-3
DO - 10.1007/s00012-022-00768-3
M3 - Article
AN - SCOPUS:85128191198
VL - 83
JO - Algebra universalis
JF - Algebra universalis
SN - 0002-5240
IS - 2
M1 - 18
ER -