Definition and Classification
A UHF C*-algebra is the direct limit of an inductive system {An, φn} where each An is a finite dimensional full matrix algebra and each φn : An → An+1 is a unital embedding. Suppressing the connecting maps, one can write
If
then r kn = kn + 1 for some integer r and
where Ir is the identity in the r × r matrices. The sequence ...kn|kn + 1|kn + 2... determines a formal product
where each p is prime and tp = sup {m | pm divides kn for some n}, possibly zero or infinite. The formal product δ(A) is said to be the supernatural number corresponding to A. Glimm showed that the supernatural number is a complete invariant of UHF C*-algebras. In particular, there are uncountably many isomorphism classes of UHF C*-algebras.
If δ(A) is finite, then A is the full matrix algebra Mδ(A). A UHF algebra is said to be of infinite type if each tp in δ(A) is 0 or ∞.
In the language of K-theory, each supernatural number
specifies an additive subgroup of R that is the rational numbers of the type n/m where m formally divides δ(A). This group is the K0 group of A.
Read more about this topic: Uniformly Hyperfinite Algebra
Famous quotes containing the word definition:
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)