Simple involutive quantales (Q1372652): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1105687 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Kimmo I. Rosenthal / rank | |||
Normal rank |
Revision as of 01:40, 22 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Simple involutive quantales |
scientific article |
Statements
Simple involutive quantales (English)
0 references
25 August 1998
0 references
A quantale \(Q\) is most easily described as a semigroup object in the category \({\mathbf S}{\mathbf L}\) of suplattices. If it is a monoid object it is called unital. (For more on quantales, see the reviewer's book, Quantales and their applications (1990; Zbl 0703.06007).) A quantale \(Q\) with operation \(\&\) is called involutive iff it has an involution \((\;)^0\) satisfying \(a^{00}= a\), \((a \& b)^0= b^0 \& a^0\). and \((\text{sup }a_i)^0= \sup a^0_i\) for all \(a\), \(b\), \(a_i\) in \(Q\). Among the important examples of involutive quantales are the so-called Gelfand quantales, which are unital, involutive and satisfy \(a \& a^0 \& a= a\) for all right-sided elements of \(Q\) (right-sided means \(a \& T= a\), where \(T\) is the top element of \(Q\)). Gelfand quantales include the examples of the spectrum \(\text{Max }A\) of a non-commutative \(C^*\)-algebra \(A\) with identity, as well as the examples \(\text{Rel}(X)\) of relations on a set \(X\). The main object of study in this paper are the simple quantales, where a non-trivial quantale \(Q\) is simple iff any surjective homomorphism of involutive quantales from it is either an isomorphism or a constant mapping. The authors proceed to show that various quantales such as the Hilbert quantales are simple and they obtain various characterization theorems. The last section of the paper investigates notions for involutive quantales related to ``spatiality'' and separation of points and characterizes when a Gelfand quantale satisfies that every right-sided element is the intersection of primes in these terms.
0 references
spatiality
0 references
involution
0 references
involutive quantales
0 references
Gelfand quantales
0 references
simple quantales
0 references
Hilbert quantales
0 references
separation of points
0 references
primes
0 references