We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.RA

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Rings and Algebras

Title: Universal extensions of specialization semilattices

Abstract: A specialization semilattice is a join semilattice together with a coarser preorder $ \sqsubseteq $ satisfying an appropriate compatibility condition. If $X$ is a topological space, then $(\mathcal P(X), \cup, \sqsubseteq )$ is a specialization semilattice, where $ x \sqsubseteq y$ if $x \subseteq Ky$, for $x,y \subseteq X$, and $K$ is closure.
Specialization semilattices and posets appear as auxiliary structures in many disparate scientific fields, even unrelated to topology. For short, the notion is useful since it allows us to consider a relation of "being generated by" with no need to require the existence of an actual "closure" or "hull", which might be problematic in certain contexts.
In a former work we showed that every specialization semilattice can be embedded into the specialization semilattice associated to a topological space as above. Here we describe the universal embedding of a specialization semilattice into an additive closure semilattice. We prove a theorem which guarantees the existence of universal embeddings in many parallel situations.
Comments: 12 pages
Subjects: Rings and Algebras (math.RA); General Topology (math.GN); Logic (math.LO)
MSC classes: 06A15, 54A05, 06A12
Cite as: arXiv:2201.09083 [math.RA]
  (or arXiv:2201.09083v1 [math.RA] for this version)

Submission history

From: Paolo Lipparini Ric. [view email]
[v1] Sat, 22 Jan 2022 15:40:51 GMT (34kb)
[v2] Sat, 23 Jul 2022 12:37:06 GMT (18kb)

Link back to: arXiv, form interface, contact.