View source for Approximately finite-dimensional C*-algebra

{{Short description|C*-algebra}}
In [[mathematics]], an '''approximately finite-dimensional (AF) C*-algebra''' is a [[C*-algebra]] that is the [[inductive limit]] of a [[sequence]] of [[dimension (linear algebra)|finite-dimensional]] C*-algebras. Approximate finite-dimensionality was first defined and described combinatorially by [[Ola Bratteli]]. Later, [[George A. Elliott]] gave a complete classification of AF algebras using the ''K''<sub>0</sub> functor whose range consists of [[ordered group|ordered abelian group]]s with sufficiently nice order structure.

The [[classification theorem]] for AF-algebras serves as a prototype for classification results for larger classes of [[separable space|separable]] [[simple algebra|simple]] [[amenable C*-algebra|amenable]] stably finite C*-algebras. Its proof divides into two parts. The invariant here is ''K''<sub>0</sub> with its natural order structure; this is a [[functor]]. First, one proves ''existence'': a homomorphism between invariants must lift to a *-homomorphism of algebras. Second, one shows ''uniqueness'': the lift must be unique up to approximate unitary equivalence. Classification then follows from what is known as ''the intertwining argument''. For unital AF algebras, both existence and uniqueness follow from the fact the Murray-von Neumann semigroup of projections in an AF algebra is cancellative.

The counterpart of simple AF C*-algebras in the [[von Neumann algebra]] world are the hyperfinite factors, which were classified by [[Alain Connes|Connes]] and [[Uffe Haagerup|Haagerup]].

In the context of [[noncommutative geometry]] and [[noncommutative topology|topology]], AF C*-algebras are noncommutative generalizations of ''C''<sub>0</sub>(''X''), where ''X'' is a [[totally disconnected]] [[metrizable]] space.

== Definition and basic properties ==

=== Finite-dimensional C*-algebras ===

An arbitrary finite-dimensional C*-algebra ''A'' takes the following form, up to isomorphism:

:<math> \oplus _k M_{n_k},</math>

where ''M<sub>i</sub>'' denotes the full matrix algebra of ''i'' × ''i'' matrices.

Up to unitary equivalence, a unital *-homomorphism Φ : ''M<sub>i</sub>'' → ''M<sub>j</sub>'' is necessarily of the form

:<math>\Phi (a) = a \otimes I_r,</math>

where ''r''·''i'' = ''j''. The number ''r'' is said to be the multiplicity of Φ. In general, a unital homomorphism between finite-dimensional C*-algebras

:<math>\Phi: \oplus _1 ^s M_{n_k} \rightarrow \oplus _1 ^t M_{m_l}</math>

is specified, up to unitary equivalence, by a ''t'' × ''s'' matrix of ''partial multiplicities'' (''r''<sub>''l k''</sub>) satisfying, for all ''l''

:<math>\sum_k r_{l k} n_k = m_l.\;</math>

In the non-unital case, the equality is replaced by ≤. Graphically, Φ, equivalently (''r''<sub>''l k''</sub>), can be represented by its [[Bratteli diagram]]. The Bratteli diagram is a [[directed graph]] with nodes corresponding to each ''n<sub>k</sub>'' and ''m<sub>l</sub>'' and the number of arrows from ''n<sub>k</sub>'' to ''m<sub>l</sub>'' is the partial multiplicity ''r<sub>lk</sub>''.

Consider the [[Category (mathematics)|category]] whose objects are isomorphism classes of finite-dimensional C*-algebras and whose morphisms are *-homomorphisms modulo unitary equivalence. By the above discussion, the objects can be viewed as vectors with entries in '''N''' and morphisms are the partial multiplicity matrices.

=== AF algebras ===

A C*-algebra is '''AF''' if it is the [[direct limit]] of a sequence of finite-dimensional C*-algebras:

:<math> A = \varinjlim \cdots \rightarrow A_i \, \stackrel{\alpha_i}{\rightarrow} A_{i+1} \rightarrow \cdots ,</math>

where each ''A''<sub>''i''</sub> is a finite-dimensional C*-algebra and the connecting maps ''α''<sub>''i''</sub> are *-homomorphisms. We will assume that each ''α<sub>i</sub>'' is unital. The inductive system specifying an AF algebra is not unique. One can always drop to a subsequence. Suppressing the connecting maps, ''A'' can also be written as

:<math>A = \overline {\cup_n A_n}.</math>

The '''[[Bratteli diagram]]''' of ''A'' is formed by the Bratteli diagrams of {''α<sub>i</sub>''} in the obvious way. For instance, the [[Pascal triangle]], with the nodes connected by appropriate downward arrows, is the Bratteli diagram of an AF algebra. A Bratteli diagram of the [[CAR algebra]] is given on the right. The two arrows between nodes means each connecting map is an embedding of multiplicity 2.

:<math>1\rightrightarrows2\rightrightarrows4\rightrightarrows8\rightrightarrows\dots</math>
:(A Bratteli diagram of the CAR algebra)

If an AF algebra ''A'' = (∪<sub>''n''</sub>''A<sub>n</sub>'')<sup>−</sup>, then an ideal ''J'' in ''A'' takes the form  ∪<sub>''n''</sub> (''J'' ∩ ''A<sub>n</sub>'')<sup>−</sup>. In particular, ''J'' is itself an AF algebra. Given a Bratteli diagram of ''A'' and some subset ''S'' of nodes, the subdiagram generated by ''S'' gives inductive system that specifies an ideal of ''A''. In fact, every ideal arises in this way.

Due to the presence of matrix units in the inductive sequence, AF algebras have the following local characterization: a C*-algebra ''A'' is AF if and only if ''A'' is separable and any finite subset of ''A'' is "almost contained" in some finite-dimensional C*-subalgebra.

The projections in ∪<sub>''n''</sub>''A<sub>n</sub>'' in fact form an [[approximate identity|approximate unit]] of ''A''.

It is clear that the extension of a finite-dimensional C*-algebra by another finite-dimensional C*-algebra is again finite-dimensional. More generally, the extension of an AF algebra by another AF algebra is again AF.<ref>Lawrence G. Brown. Extensions of AF Algebras: The Projection Lifting Problem. Operator Algebras and Applications, Proceedings of symposia in pure mathematics, vol. 38, Part 1, pp. 175-176, American Mathematical Soc., 1982</ref>

== Classification ==

=== K<sub>0</sub> ===

The [[Operator K-theory|K-theoretic]] group ''K<sub>0</sub>'' is an invariant of C*-algebras. It has its origins in [[topological K-theory]] and serves as the range of a kind of "dimension function." For an AF algebra ''A'', ''K''<sub>0</sub>(''A'') can be defined as follows.
Let ''M''<sub>''n''</sub>(''A'') be the C*-algebra of ''n'' × ''n'' matrices whose entries are elements of ''A''. ''M''<sub>''n''</sub>(''A'') can be embedded into ''M''<sub>''n'' + 1</sub>(''A'') canonically, into the "upper left corner". Consider the algebraic direct limit

:<math> M _\infty (A) = \varinjlim \cdots \rightarrow M_n(A) \rightarrow M_{n+1}(A) \rightarrow \cdots .</math>

Denote the [[Projection (linear algebra)|projection]]s (self-adjoint idempotents) in this algebra by ''P''(''A''). Two elements ''p'' and ''q'' are said to be '''[[von Neumann algebra|Murray-von Neumann equivalent]]''', denoted by ''p'' ~ ''q'', if ''p'' = ''vv*'' and ''q'' = ''v*v'' for some [[partial isometry]] ''v'' in ''M''<sub>∞</sub>(''A''). It is clear that ~ is an equivalence relation. Define a binary operation + on the set of equivalences ''P''(''A'')/~ by

:<math>[p] + [q] = [p \oplus q]</math>

where ⊕ yields the [[orthogonal direct sum]] of two finite-dimensional matrices corresponding to ''p'' and ''q''. While we could choose matrices of arbitrarily large dimension to stand in for ''p'' and ''q'', our result will be equivalent regardless. This makes ''P''(''A'')/~ a [[semigroup]] that has the [[cancellation property]]. We denote this semigroup by ''K<sub>0</sub>''(''A'')<sup>+</sup>. Performing the [[Grothendieck group]] construction gives an abelian group, which is ''K<sub>0</sub>''(''A'').

''K<sub>0</sub>''(''A'') carries a natural order structure: we say [''p''] ≤ [''q''] if ''p'' is Murray-von Neumann equivalent to a subprojection of ''q''. This makes ''K<sub>0</sub>''(''A'') an [[ordered group]] whose positive cone is ''K<sub>0</sub>''(''A'')<sup>+</sup>.

For example, for a finite-dimensional C*-algebra

:<math> A = \oplus _{k = 1} ^m M_{n_k},</math>

one has

:<math> (K_0(A), K_0(A)^+) = (\mathbb{Z}^m, \mathbb{Z}_+ ^m).</math>

Two essential features of the mapping ''A'' {{mapsto}} ''K''<sub>0</sub>(''A'') are:
#''K''<sub>0</sub> is a (covariant) [[functor]]. A *-homomorphism  ''α'' : ''A'' → ''B'' between AF algebras induces a group homomorphism ''α''<sub>*</sub> : ''K''<sub>0</sub>(''A'') → ''K''<sub>0</sub>(''B''). In particular, when ''A'' and ''B'' are both finite-dimensional, ''α''<sub>*</sub> can be identified with the partial multiplicities matrix of ''α''.
#''K''<sub>0</sub> respects direct limits. If ''A'' = ∪<sub>''n''</sub>''α<sub>n</sub>''(''A<sub>n</sub>'')<sup>−</sup>, then ''K''<sub>0</sub>(''A'') is the direct limit ∪<sub>''n''</sub>''α''<sub>''n''*</sub>(''K''<sub>0</sub>(''A''<sub>''n''</sub>)).

=== The dimension group ===

Since ''M''<sub>∞</sub>(''M''<sub>∞</sub>(''A'')) is isomorphic to  ''M''<sub>∞</sub>(''A''), ''K''<sub>0</sub> can only distinguish AF algebras up to ''stable isomorphism''. For example, ''M''<sub>2</sub> and ''M''<sub>4</sub> are not isomorphic but stably isomorphic; ''K''<sub>0</sub>(''M''<sub>2</sub>) = ''K''<sub>0</sub>(''M''<sub>4</sub>) = '''Z'''.

A finer invariant is needed to detect isomorphism classes. For an AF algebra ''A'', we define the '''scale''' of ''K''<sub>0</sub>(''A''), denoted by Γ(''A''), to be the subset whose elements are represented by projections in ''A'':

:<math>\Gamma(A) = \{ [p] \,|\,  p^* = p^2 = p \in A \} .</math>

When ''A'' is unital with unit 1<sub>''A''</sub>, the ''K''<sub>0</sub> element [1<sub>''A''</sub>] is the maximal element of Γ(''A'') and in fact,

:<math>\Gamma(A) = \{x \in K_0(A)\,|\, 0 \leq x \leq [1_A]\}.</math>

The triple (''K''<sub>0</sub>, ''K''<sub>0</sub><sup>+</sup>, Γ(''A'')) is called the '''dimension group''' of ''A''.
If ''A'' = ''M<sub>s</sub>'', its dimension group is ('''Z''', '''Z'''<sup>+</sup>, {1, 2,..., ''s''}).

A group homomorphism between dimension group is said to be '''contractive''' if it is scale-preserving. Two dimension group are said to be isomorphic if there exists a contractive group isomorphism between them.

The dimension group retains the essential properties of ''K''<sub>0</sub>:

#A *-homomorphism  ''α'' : ''A'' → ''B'' between AF algebras in fact induces a contractive group homomorphism ''α''<sub>*</sub> on the dimension groups. When ''A'' and ''B'' are both finite-dimensional, corresponding to each partial multiplicities matrix ''ψ'', there is a unique, up to unitary equivalence, *-homomorphism ''α'' : ''A'' → ''B'' such that ''α''<sub>*</sub> = ''ψ''.
#If ''A'' = ∪<sub>''n''</sub>''α<sub>n</sub>''(''A<sub>n</sub>'')<sup>−</sup>, then the dimension group of ''A'' is the direct limit of those of ''A<sub>n</sub>''.

=== Elliott's theorem ===

[[Image:Elliott's theorem.png|thumb|260px|right|Commutative diagrams for Elliott's theorem.]]

Elliott's theorem says that the dimension group is a complete invariant of AF algebras: two AF algebras ''A'' and ''B'' are isomorphic if and only if their dimension groups are isomorphic.

Two preliminary facts are needed before one can sketch a proof of Elliott's theorem. The first one summarizes the above discussion on finite-dimensional C*-algebras.

'''Lemma'''  For two finite-dimensional C*-algebras ''A'' and ''B'', and a contractive homomorphism ''ψ'': ''K''<sub>0</sub>(''A'') → ''K''<sub>0</sub>(''B''), there exists a *-homomorphism ''φ'': ''A'' → ''B'' such that ''φ''<sub>*</sub> = ''ψ'', and ''φ'' is unique up to unitary equivalence.

The lemma can be extended to the case where ''B'' is AF. A map ''ψ'' on the level of ''K''<sub>0</sub> can be "moved back", on the level of algebras, to some finite stage in the inductive system.

'''Lemma''' Let ''A'' be finite-dimensional and ''B'' AF, ''B'' = (∪<sub>''n''</sub>''B<sub>n</sub>'')<sup>−</sup>. Let ''β<sub>m</sub>'' be the canonical homomorphism of ''B<sub>m</sub>'' into ''B''. Then for any a contractive homomorphism ''ψ'': ''K''<sub>0</sub>(''A'') → ''K''<sub>0</sub>(''B''), there exists a *-homomorphism ''φ'': ''A'' → ''B<sub>m</sub>'' such that ''β<sub>m*</sub> φ''<sub>*</sub> = ''ψ'', and ''φ'' is unique up to unitary equivalence in ''B''.

The proof of the lemma is based on the simple observation that ''K''<sub>0</sub>(''A'') is finitely generated and, since ''K''<sub>0</sub> respects direct limits, ''K''<sub>0</sub>(''B'') = ∪<sub>''n''</sub> ''β<sub>n*</sub>'' ''K''<sub>0</sub> (''B<sub>n</sub>'').

'''Theorem (Elliott)''' Two AF algebras ''A'' and ''B'' are isomorphic if and only if their dimension groups (''K''<sub>0</sub>(''A''), ''K''<sub>0</sub><sup>+</sup>(''A''), Γ(''A'')) and (''K''<sub>0</sub>(''B''), ''K''<sub>0</sub><sup>+</sup>(''B''), Γ(''B'')) are isomorphic.

The crux of the proof has become known as ''Elliott's intertwining argument''. Given an isomorphism between dimension groups, one constructs a diagram of commuting triangles between the direct systems of ''A'' and ''B'' by applying the second lemma.

We sketch the proof for the non-trivial part of the theorem, corresponding to the sequence of commutative diagrams on the right.

Let Φ: (''K''<sub>0</sub>(''A''), ''K''<sub>0</sub><sup>+</sup>(''A''), Γ(''A'')) → (''K''<sub>0</sub>(''B''), ''K''<sub>0</sub><sup>+</sup>(''B''), Γ(''B'')) be a dimension group isomorphism.

#Consider the composition of maps Φ ''α''<sub>1*</sub> : ''K''<sub>0</sub>(''A''<sub>1</sub>) →  ''K''<sub>0</sub>(''B''). By the previous lemma, there exists ''B''<sub>1</sub> and a *-homomorphism ''φ''<sub>1</sub>: ''A''<sub>1</sub> → ''B''<sub>1</sub> such that the first diagram on the right commutes.
#Same argument applied to ''β''<sub>1*</sub> Φ<sup>−1</sup> shows that the second diagram commutes for some ''A''<sub>2</sub>. 
#Comparing diagrams 1 and 2 gives diagram 3.
#Using the property of the direct limit and moving ''A''<sub>2</sub> further down if necessary, we obtain diagram 4, a commutative triangle on the level of ''K''<sub>0</sub>.
#For finite-dimensional algebras, two *-homomorphisms induces the same map on ''K''<sub>0</sub> if and only if they are unitary equivalent. So, by composing ''ψ''<sub>1</sub> with a unitary conjugation if needed, we have a commutative triangle on the level of algebras.
#By induction, we have a diagram of commuting triangles as indicated in the last diagram. The map ''φ'': ''A'' → ''B'' is the direct limit of the sequence {''φ<sub>n</sub>''}. Let ''ψ'': ''B'' → ''A'' is the direct limit of the sequence {''ψ<sub>n</sub>''}. It is clear that ''φ'' and ''ψ'' are mutual inverses. Therefore, ''A'' and ''B'' are isomorphic.

[[Image:Elliott's theorem 2.png|thumb|170px|left]]

Furthermore, on the level of ''K''<sub>0</sub>, the adjacent diagram commutates for each ''k''. By uniqueness of direct limit of maps, ''φ''<sub>*</sub> = Φ.

{{clear}}

===The Effros-Handelman-Shen theorem===

The dimension group of an AF algebra is a [[ordered group|Riesz group]]. The Effros-Handelman-Shen theorem says the converse is true. Every Riesz group, with a given scale, arises as the dimension group of some AF algebra. This specifies the range of the classifying functor ''K''<sub>0</sub> for AF-algebras and completes the classification.

==== Riesz groups ====

A group ''G'' with a partial order is called an [[ordered group]]. The set ''G''<sup>+</sup> of elements ≥ 0 is called the ''positive cone'' of ''G''. One says that ''G'' is unperforated if ''k''·''g'' ∈ ''G''<sup>+</sup>  implies ''g'' ∈ ''G''<sup>+</sup>.

The following property is called the '''Riesz decomposition property''': if ''x'', ''y<sub>i</sub>'' ≥ 0 and ''x'' ≤ Σ ''y<sub>i</sub>'', then there exists ''x<sub>i</sub>'' ≥ 0 such that ''x'' = Σ ''x<sub>i</sub>'', and ''x<sub>i</sub>'' ≤ ''y<sub>i</sub>'' for each ''i''.

A '''Riesz group''' (''G'', ''G''<sup>+</sup>) is an ordered group that is unperforated and has the Riesz decomposition property.

It is clear that if ''A'' is finite-dimensional, (''K''<sub>0</sub>, ''K''<sub>0</sub><sup>+</sup>) is a Riesz group, where '''Z'''<sup>''k''</sup> is given entrywise order. The two properties of Riesz groups are preserved by direct limits, assuming the order structure on the direct limit comes from those in the inductive system. So (''K''<sub>0</sub>, ''K''<sub>0</sub><sup>+</sup>) is a Riesz group for an AF algebra ''A''.

A key step towards the Effros-Handelman-Shen theorem is the fact that every Riesz group is the direct limit of '''Z'''<sup>''k''</sup> 's, each with the canonical order structure. This hinges on the following technical lemma, sometimes referred to as the '''Shen criterion''' in the literature.

[[Image:Shen.png|right|thumb|260px|The Shen criterion.]]

'''Lemma''' Let (''G'', ''G''<sup>+</sup>) be a Riesz group, ''ϕ'': ('''Z'''<sup>''k''</sup>, '''Z'''<sup>''k''</sup><sub>+</sub>) → (''G'', ''G''<sup>+</sup>) be a positive homomorphism. Then there exists maps ''σ'' and ''ψ'', as indicated in the adjacent diagram, such that ker(''σ'') = ker(''ϕ'').

'''Corollary''' Every Riesz group (''G'', ''G''<sup>+</sup>) can be expressed as a direct limit

:<math>(G, G^+) = \varinjlim (\mathbb{Z}^{n_k}, \mathbb{Z}^{n_k}_+) ,</math>

where all the connecting homomorphisms in the directed system on the right hand side are positive.

==== The theorem ====

'''Theorem''' If (''G'', ''G''<sup>+</sup>) is a countable Riesz group with scale Γ(''G''), then there exists an AF algebra ''A'' such that (''K''<sub>0</sub>, ''K''<sub>0</sub><sup>+</sup>, Γ(''A'')) = (''G'', ''G''<sup>+</sup>, Γ(''G'')). In particular, if Γ(''G'') = [0, ''u<sub>G</sub>''] with maximal element ''u<sub>G</sub>'', then ''A'' is unital with [1<sub>A</sub>] = [''u<sub>G</sub>''].

Consider first the special case where Γ(''G'') = [0, ''u<sub>G</sub>''] with maximal element ''u<sub>G</sub>''. Suppose

:<math>(G, G^+) = \varinjlim (H_k, H_k^+) , \quad \mbox{where} \quad (H, H_k^+) = (\mathbb{Z}^{n_k}, \mathbb{Z}^{n_k}_+).</math>

Dropping to a subsequence if necessary, let

:<math>\Gamma(H_1) = \{ v \in H_1^+ | \phi_1(v) \in \Gamma(G) \},</math>

where ''φ''<sub>1</sub>(''u''<sub>1</sub>) = ''u<sub>G</sub>'' for some element ''u''<sub>1</sub>. Now consider the order ideal ''G''<sub>1</sub> generated by ''u''<sub>1</sub>. Because each ''H''<sub>1</sub>  has the canonical order structure, ''G''<sub>1</sub> is a direct sum of '''Z''' 's (with the number of copies possible less than that in ''H''<sub>1</sub>). So this gives a finite-dimensional algebra ''A''<sub>1</sub> whose dimension group is (''G''<sub>1</sub> ''G''<sub>1</sub><sup>+</sup>, [0, ''u''<sub>1</sub>]). Next move ''u''<sub>1</sub> forward by defining ''u''<sub>2</sub> = ''φ''<sub>12</sub>(''u''<sub>1</sub>). Again ''u''<sub>2</sub> determines a finite-dimensional algebra ''A''<sub>2</sub>. There is a corresponding homomorphism  ''α''<sub>12</sub> such that ''α''<sub>12*</sub> =  φ<sub>12</sub>. Induction gives a directed system

:<math>A = \varinjlim A_k ,</math>

whose ''K''<sub>0</sub> is

:<math> \varinjlim (G_k, G_k^+),</math>

with scale

:<math>\cup_k \phi_k [0, u_k] = [0, u_G].</math>

This proves the special case.

A similar argument applies in general. Observe that the scale is by definition a [[directed set]]. If Γ(''G'') = {''v<sub>k</sub>''}, one can choose ''u<sub>k</sub>'' ∈ Γ(''G'') such that ''u<sub>k</sub>''  ≥ ''v''<sub>1</sub>  ... ''v<sub>k</sub>''. The same argument as above proves the theorem.

== Examples ==

By definition, [[uniformly hyperfinite algebra]]s are AF and unital. Their dimension groups are the subgroups of '''Q'''. For example, for the 2 × 2 matrices ''M''<sub>2</sub>, ''K''<sub>0</sub>(''M''<sub>2</sub>) is the group of rational numbers of the form {{sfrac|''a''|2}} for ''a'' in '''Z'''. The scale is Γ(''M''<sub>2</sub>) = {0, {{sfrac|1|2}}, 1}. For the [[CAR algebra]] ''A'', ''K''<sub>0</sub>(''A'') is the group of [[dyadic rational]]s with scale ''K''<sub>0</sub>(''A'') ∩ [0, 1], with 1 = [1<sub>''A''</sub>]. All such groups are [[simple group|simple]], in a sense appropriate for ordered groups. Thus UHF algebras are simple C*-algebras. In general, the groups which are not dense in '''Q''' are the dimension groups of ''M<sub>k</sub>'' for some ''k''.

Commutative C*-algebras, which were characterized by [[Gelfand representation|Gelfand]], are AF precisely when the [[spectrum of a C*-algebra|spectrum]] is [[totally disconnected]].<ref>Davidson 1996, p. 77.</ref> The continuous functions ''C''(''X'') on the [[Cantor set]] ''X'' is one such example.

== Elliott's classification program ==

It was proposed by Elliott that other classes of C*-algebras may be classifiable by K-theoretic invariants. For a C*-algebra ''A'', the ''Elliott invariant'' is defined to be

:<math>\mbox{Ell}(A) = ((K_0(A), K_0(A)^+, \Gamma(A) ), K_1(A), T^+(A), \rho_A),</math>

where <math>T^+(A)</math> is the tracial positive linear functionals in the weak-* topology, and <math>\rho_A</math> is the natural pairing between <math>T^+(A)</math> and <math>K_0(A)</math>.

The original [[Elliott's classification program|conjecture]] by Elliott stated that the Elliott invariant classifies simple unital separable amenable C*-algebras.

In the literature, one can find several conjectures of this kind with corresponding modified/refined Elliott invariants.

== Von Neumann algebras ==

In a related context, an '''[[Von Neumann algebra#Amenable von Neumann algebras|approximately finite-dimensional]]''', or '''hyperfinite''', [[von Neumann algebra]] is one with a separable predual and contains a weakly dense AF C*-algebra. Murray and von Neumann showed that, up to isomorphism, there exists a unique  hyperfinite type II<sub>1</sub> factor. [[Alain Connes|Connes]] obtained the analogous result for the II<sub>∞</sub> factor. [[R.T. Powers|Powers]] exhibited a family of non-isomorphic type III hyperfinite factors with cardinality of the continuum. Today we have a complete classification of hyperfinite factors.

== Notes ==
{{Reflist}}

== References ==

*Bratteli, Ola. (1972), ''[https://www.ams.org/tran/1972-171-00/S0002-9947-1972-0312282-2/S0002-9947-1972-0312282-2.pdf Inductive limits of finite dimensional C*-algebras]'', Trans. Amer. Math. Soc. '''171''', 195-234.
*Davidson, K.R. (1996), ''C*-algebras by Example'', Field Institute Monographs '''6''', American Mathematical Society.
*[[Edward George Effros|Effros, E.G.]], Handelman, D.E., and Shen C.L. (1980), ''Dimension groups and their affine representations'', Amer. J. Math. '''102''', 385-402.
*Elliott, G.A. (1976), ''[http://www.sciencedirect.com/science/article/pii/0021869376902428/pdf?md5=fb0b57a59f1e6910a9abb5dbd8d9f626&pid=1-s2.0-0021869376902428-main.pdf&_valck=1 On the Classification of Inductive Limits of Sequences of Semisimple Finite-Dimensional Algebras]'', J. Algebra '''38''', 29-44.
*Elliott, G.A. and Toms, A.S. (2008), ''[https://www.ams.org/bull/2008-45-02/S0273-0979-08-01199-3/S0273-0979-08-01199-3.pdf Regularity properties in the classification program for separable amenable C-algebras]'', Bull. Amer. Math. Soc. '''45''', 229-245.
*Fillmore, P.A.(1996), ''A User's Guide for Operator Algebras'', Wiley-Interscience.
*Rørdam, M. (2002), ''Classification of Nuclear C*-Algebras'', Encyclopaedia of Mathematical Sciences '''126''', Springer-Verlag.

==External links==
* {{springer|title=AF-algebra|id=p/a110420}}

{{DEFAULTSORT:Approximately finite dimensional C-algebra}}
[[Category:C*-algebras]]