Approximately finite-dimensional C*-algebra
C*-algebra
In mathematics, an approximately finite-dimensional (AF) C*-algebra is a C*-algebra that is the inductive limit of a sequence of 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 K0 functor whose range consists of ordered abelian groups with sufficiently nice order structure.
The classification theorem for AF-algebras serves as a prototype for classification results for larger classes of separable simple amenable stably finite C*-algebras. Its proof divides into two parts. The invariant here is K0 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.
“Approximately finite-dimensional C*-algebra” enters the record as c*-algebra. Crown Archives preserves that source wording while asking what Approximately, finite-dimensional and -algebra can confirm, complicate or overturn.
Why this record matters
“Approximately finite-dimensional C*-algebra” is worth following because a concise public description often conceals a longer documentary argument. Here, Approximately, finite-dimensional and -algebra provides the most credible route into that argument.
Vocabulary and entity names are the principal evidence signals here, because they determine the precision of every later search. The source revision retrieved here is dated Jul 10, 2025. The linked authority identifier is Q291562. None of the 0 selected statements returned an explicit reference.
A concise general-reference account can conceal disagreements about scope, terminology or the weight assigned to individual sources. The source lead contains qualifying language; that uncertainty should survive quotation, summary and reuse. Authority statements aid reconciliation but still require their own references, qualifiers and ranks to be checked.
How to read it
Use the entry as an orientation point, then follow its citations and revision history. Names, dates and institutional relationships should be checked against the original record.
- Subject orientation
- Search vocabulary
- Locating named sources
The closest primary source, responsible institution and strongest cited specialist reference.
Three-step research path
- Establish the record: confirm the title “Approximately finite-dimensional C*-algebra”, its source revision and the description used here.
- Expand the search: follow Approximately finite-dimensional C*-algebra primary sources, Approximately finite-dimensional C*-algebra archive and Approximately research across catalogues and specialist indexes.
- Test the account: compare the strongest cited source with the responsible institution’s current record and note any disagreement.
Questions for further research
- Which source most directly establishes the central claim about “Approximately finite-dimensional C*-algebra”?
- What terminology or title could unlock a more precise catalogue search?
- Which institution is responsible for the underlying evidence?
Search terms from this dossier
This entry incorporates text from “Approximately finite-dimensional C*-algebra” on English Wikipedia. Contributors are listed in the page history. Text is available under the Creative Commons Attribution-ShareAlike 4.0 License. Selected authority identifiers and statements are retrieved from Wikidata under CC0; their references and qualifiers remain part of the verification path.