ﻻ يوجد ملخص باللغة العربية
We prove that the category of left-handed strongly distributive skew lattices with zero and proper homomorphisms is dually equivalent to a category of sheaves over local Priestley spaces. Our result thus provides a non-commutative version of classical Priestley duality for distributive lattices and generalizes the recent development of Stone duality for skew Boolean algebras. From the point of view of skew lattices, Leech showed early on that any strongly distributive skew lattice can be embedded in the skew lattice of partial functions on some set with the operations being given by restriction and so-called override. Our duality shows that there is a canonical choice for this embedding. Conversely, from the point of view of sheaves over Boolean spaces, our results show that skew lattices correspond to Priestley orders on these spaces and that skew lattice structures are naturally appropriate in any setting involving sheaves over Priestley spaces.
We characterize the left-handed noncommutative frames that arise from sheaves on topological spaces. Further, we show that a general left-handed noncommutative frame $A$ arises from a sheaf on the dissolution locale associated to the commutative shad
We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with
For an efficient implementation of Buchbergers Algorithm, it is essential to avoid the treatment of as many unnecessary critical pairs or obstructions as possible. In the case of the commutative polynomial ring, this is achieved by the Gebauer-Moelle
Let $A$ be an algebra over a commutative ring $R$. If $R$ is noetherian and $A^circ$ is pure in $R^A$, then the categories of rational left $A$-modules and right $A^circ$-comodules are isomorphic. In the Hopf algebra case, we can also strengthen the
We provide a new perspective on extended Priestley duality for a large class of distributive lattices equipped with binary double quasioperators. Under this approach, non-lattice binary operations are each presented as a pair of partial binary operat