Embeddings of quantales into simple quantales

From MaRDI portal



Abstract: In a recent paper, J. W. Pelletier and J. Rosicky published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka. In this paper we present similar characterizations which do not use a notion of discrete quantale. We also show a completely new characterization based on separating and cyclic sets. Further we explain a link to simple quantale modules. To apply these characterizations, we study (*-)semisimple (*-)quantales and discuss some other perspectives. Our approach has connections with several earlier works on the subject.


This nicely written article shows that any quantale is embeddable in a simple quantale by utilizing the simple quantale \(\text{End} (L)\) of endomorphisms of a sup-lattice \(L\) (under composition). If we begin with an involutive quantale, it can be embedded in an \(I\)-simple involutive quantale. By developing the theory of bicommutants for involutive quantales, the authors prove a quantale-theoretic analogue of von Neumann's bicommutant theorem for \(C^*\)-algebras.











This page was built for publication: Embeddings of quantales into simple quantales

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1977900)