AF-álgebra es una $C^* $-álgebra que es el inductivo límite de una secuencia inductiva de finito-dimensional $C^*$-álgebras.
Elliott teorema relativo a la clasificación de la FA-álgebras dice que dos AF-álgebras $\mathfrak{A}$ $\mathfrak{B}$ son isomorfos como $C^* $-álgebras si y sólo si $(K_0(\mathfrak{A}),K_0(\mathfrak{A})^+,\Gamma(\mathfrak{A}))$ $(K_0(\mathfrak{B}),K_0(\mathfrak{B})^+,\Gamma(\mathfrak{B}))$ son isomorfos como escala ordenada de los grupos, donde $\Gamma(\mathfrak{A})$ denota la dimensión de la gama, es decir, los elementos de $K_0(\mathfrak{A})^+$ da como clases de equivalencia de proyecciones en $\mathfrak{A}$.
Aunque este resultado es interesante y hermoso en su propio, me gustaría saber si hay aplicaciones interesantes que pueden ser entendidas por y podría ser interesante para los estudiantes que están familiarizados con los básicos de la K-teoría de $C^* $-álgebras. Por supuesto, yo también estoy interesado en aplicaciones más avanzadas, o en situaciones donde Elliott teorema proporciona ideas que son difíciles de obtener de otro modo.