Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 14 min ago
PreprintCC BY 4.0arXiv

Representation of abstract pseudogroups

Abstract

The Wagner-Preston theorem states that every inverse semigroup can be embedded into an inverse semigroup of partial bijections on some set. However, this embedding does not respect lattice operations in the natural ordering. In this paper, we show that an abstract pseudogroup can be faithfully represented by partial bijections on a set if and only if its frame of idempotents is spatial. More generally, we show that any abstract pseudogroup can be faithfully represented by partial homeomorphisms on a locale.

Related

  1. On abstract commensurators of groups
    Laurent Bartholdi, Oleg Bogopolski
    Journal of Group TheoryPeer-reviewedLicence not statedFull text11 citedAlgebra & number theoryHAL
  2. textsc{Athanor}: local search over abstract constraint specifications
    Saad Attieh, Nguyen Dang, Christopher Jefferson +2
    Artificial IntelligencePeer-reviewedHAL deposit licenceFull text2 citedGeneral mathematicsHAL
  3. From scalar rigidity to abstract prime set and abstract integer system
    W Oukil
    HALPreprintCC BY-NC-ND 4.0Full textAlgebra & number theoryAnalysis & PDEsHAL
  4. Extended Abstract of Counting Divisorial Contractions with Centre a cAn-Singularity
    Erik Paemurru
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  5. A Bootstrap Proof of the Abstract Wiener Space Theorem for Fréchet Spaces
    Luciano Tubaro
    arXivPreprintCC BY 4.0Full textProbabilityarXiv
BibTeX
@misc{wrigley2026representation,
  title = {{Representation of abstract pseudogroups}},
  author = {Joshua L. Wrigley},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.37124},
  eprint = {2609.37124},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.37124},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - Representation of abstract pseudogroups
AU  - Joshua L. Wrigley
PY  - 2026
DA  - 2026/09/29
PB  - arXiv
DO  - 10.48550/arxiv.2609.37124
UR  - https://arxiv.org/abs/2609.37124
AB  - The Wagner-Preston theorem states that every inverse semigroup can be embedded into an inverse semigroup of partial bijections on some set. However, this embedding does not respect lattice operations in the natural ordering. In this paper, we show that an abstract pseudogroup can be faithfully represented by partial bijections on a set if and only if its frame of idempotents is spatial. More generally, we show that any abstract pseudogroup can be faithfully represented by partial homeomorphisms on a locale.
ER  -