In mathematics, a projectionless C*-algebra is a C*-algebra with no nontrivial projections. For a unital C*-algebra, the projections 0 and 1 are trivial. While for a non-unital C*-algebra, only 0 is considered trivial. The problem of whether simple infinite-dimensional C*-algebras with this property exist was posed in 1958 by Irving Kaplansky,[1] and the first example of one was published in 1981 by Bruce Blackadar.[1] [2] For commutative C*-algebras, being projectionless is equivalent to its spectrum being connected. Due to this, being projectionless can be considered as a noncommutative analogue of a connected space.
Let
l{B}0
C0(R),
2), | |
C | |
0(R |
Dn,SDn
n\geq2
l{B}
M | |
k1 |
(B1) ⊕
M | |
k2 |
(B2) ⊕ ... ⊕
M | |
kr |
(Br)
where
r,k1,...,kr
B1,...,Br
l{B}0
Every C*-algebra A in
l{B}