Statements (29)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:C*-algebra
|
| gptkbp:application |
gptkb:noncommutative_geometry
mathematical physics theory of operator algebras |
| gptkbp:category |
gptkb:algebra
|
| gptkbp:defines |
universal C*-algebra generated by n isometries with certain relations
|
| gptkbp:field |
gptkb:mathematics
operator algebras |
| gptkbp:hasGenerator |
isometries s_1, ..., s_n
|
| gptkbp:introducedIn |
1977
|
| gptkbp:K-theory |
K_0(O_n) = Z/(n-1)Z
K_1(O_n) = 0 |
| gptkbp:loveInterest |
s_i^* s_j = δ_{ij} 1
sum_{i=1}^n s_i s_i^* = 1 |
| gptkbp:namedAfter |
gptkb:Joachim_Cuntz
|
| gptkbp:notableExample |
O_2
O_∞ |
| gptkbp:notation |
O_n
|
| gptkbp:property |
simple
separable unital purely infinite |
| gptkbp:relatedTo |
gptkb:C*-algebra
gptkb:Cuntz–Krieger_algebra AF algebra |
| gptkbp:bfsParent |
gptkb:Pimsner-Voiculescu_exact_sequence
gptkb:Joachim_Cuntz |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cuntz algebra
|