Simple involutive quantales (Q1372652): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q1105687 |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 5 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Kimmo I. Rosenthal / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W186043453 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equational theory of union-free algebras of relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4856547 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of Modular Lattices and Of Relation Algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4750696 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A remark on the prime stalk theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3137162 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the quantisation of points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3831512 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterizing spatial quantales / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3996704 / rank | |||
Normal rank |
Latest revision as of 20:09, 27 May 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