Unitary Cuntz semigroups of ideals and quotients

From MaRDI portal
Publication:5034337




Abstract: We define a notion of ideal for objects in the category of abstract unitary Cuntz semigroups introduced in [3] and termed Cusim. We show that the set of ideals of a Cusim-semigroup has a complete lattice structure. In fact, we prove that for any C-algebra of stable rank one A, the assignment IlongmapstoCu1(I) defines a complete lattice isomorphism between the set of ideals of A and the set of ideals of its unitary Cuntz semigroup Cu1(A). Further, we introduce a notion of quotients and exactness for the (non abelian) category Cusim. We show that Cu1(A)/Cu1(I)simeq Cu1(A/I) for any ideal I in A and that the functor Cu1 is exact. Finally, we link a Cusim-semigroup with the Cu-semigroup of its positive elements and the abelian group of its maximal elements in a split-exact sequence. This result allows us to extract additional information that lies within the unitary Cuntz semigroup of a C-algebra of stable rank one.









This page was built for publication: Unitary Cuntz semigroups of ideals and quotients

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