Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:C*-algebra
|
| gptkbp:automorphismGroup |
rich structure
|
| gptkbp:characterizedBy |
supernatural number
|
| gptkbp:class |
supernatural number
|
| gptkbp:example |
gptkb:CAR_algebra
gptkb:Glimm_algebra |
| gptkbp:hasKTheory |
K_0 group is a dimension group
|
| gptkbp:hasProperty |
simple
nuclear separable unital unique trace |
| gptkbp:introduced |
gptkb:I._E._Segal
|
| gptkbp:isA |
gptkb:C*-algebra
gptkb:approximately_finite-dimensional_C*-algebra gptkb:simple_C*-algebra |
| gptkbp:isDirectLimitOf |
full matrix algebras
|
| gptkbp:relatedTo |
gptkb:AF-algebras
|
| gptkbp:standsFor |
gptkb:Uniformly_Hyperfinite_algebras
|
| gptkbp:studiedBy |
gptkb:Glimm
|
| gptkbp:subclassOf |
gptkb:AF-algebras
|
| gptkbp:usedIn |
mathematical physics
operator algebras quantum statistical mechanics |
| gptkbp:bfsParent |
gptkb:K-theory_of_operator_algebras
gptkb:AF-algebras |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
UHF-algebras
|