The generator rank of C^ -algebras

From MaRDI portal
Publication:2217520



Abstract: We show that every AF-algebra is generated by a single operator. This was previously unclear, since the invariant that assigns to a C*-algebra its minimal number of generators lacks natural permanence properties. In particular, it may increase when passing to ideals or inductive limits. To obtain a better behaved theory, we not only ask if a C*-algebra is generated by n elements, but also if generating n-tuples are dense. This defines the generator rank, which we show has many natural permanence properties: it does not increase when passing to ideals, quotients or inductive limits.


The author studies a numerical invariant termed `generator rank' associated to a C*-algebra. Given a C*-algebra \(A\), it is of interest to determine the minimal number of elements needed to generate the C*-algebra. This invariant is, however, not well-behaved with respect to passing to ideals, quotients, and taking inductive limits. Therefore, the author proposes a different invariant (denoted \(\text{gr}(A)\)) which counts the minimal number of `stable' generators. This invariant enjoys a number of useful properties. The author explicitly computes it for commutative C*-algebras, and describes how it behaves with respect to ideals, quotients, and taking inductive limits. As a consequence, the author proves that every separable AF-algebra is singly generated. This is one of the principal results of the paper. In addition to this, the author shows how the generator rank relates to the real rank of the C*-algebra, and also proves that a C*-algebra has generator rank zero if and only if it is commutative with totally disconnected spectrum.











This page was built for publication: The generator rank of \(C^\ast \)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217520)