\(K\)-theory of noncommutative lattices (Q1969707)

The topological lattice from a covering of a ``continuum'' topological space \(M\) is provided by identifying any two points which can not be separated or distinguished by the sets in the covering. For locally compact spaces \(M\) this gives some ``finitary'' (countable) approximation. This is reminded in \S 2 of the paper under reviewing. Open sets in the dual \(\widehat{A}= \text{prim} A\) of a \(C^*\)-algebra \(A\) correspond to 2-sided closed ideals in \(A\) and therefore the posets in \(\widehat{A}\) correspond to some noncommutative spaces, namely approximately finite-dimensional (AF) postliminal algebras. In Section 3, a diagrammatic presentation of AF algebras due to Bratelli is exposed. With this technique projective modules of finite type and \(K\)-theory of noncommutative lattices are described (\S 4). Some interesting examples were worked out in the last section 5.