Table of Contents
Fetching ...

Ideals, quotients, and continuity of the Cuntz semigroup for rings

Ramon Antoine, Pere Ara, Joan Bosa, Francesc Perera, Eduard Vilalta

Abstract

In this paper we explore which part of the ideal lattice of a general ring is parametrized by its Cuntz semigroup $\mathrm{S}(R)$ and its ambient semigroup $Λ(R)$. We identify these classes of ideals as the quasipure ideals (a generalization of pure ideals) in the case of $\mathrm{S}(R)$, and what we term decomposable ideals in the case of $Λ(R)$. For an ($s$-)unital ring $R$, the latter class exhausts all ideals of the ring. We prove that these constructions behave well with respect to quotients. In order to study the passage to inductive limits, we introduce the classes of dense and left normal rings. We show that $\mathrm{S}(R)$ is an abstract Cu-semigroup whenever $R$ is left normal and, for such rings, the assignment $R\mapsto \mathrm{S}(R)$ is continuous. We prove a parallel result for $Λ(R)$ whenever $R$ is a dense ring.

Ideals, quotients, and continuity of the Cuntz semigroup for rings

Abstract

In this paper we explore which part of the ideal lattice of a general ring is parametrized by its Cuntz semigroup and its ambient semigroup . We identify these classes of ideals as the quasipure ideals (a generalization of pure ideals) in the case of , and what we term decomposable ideals in the case of . For an (-)unital ring , the latter class exhausts all ideals of the ring. We prove that these constructions behave well with respect to quotients. In order to study the passage to inductive limits, we introduce the classes of dense and left normal rings. We show that is an abstract Cu-semigroup whenever is left normal and, for such rings, the assignment is continuous. We prove a parallel result for whenever is a dense ring.

Paper Structure

This paper contains 9 sections, 39 theorems, 91 equations.

Key Result

Theorem A

Let $R$ be any ring. Then

Theorems & Definitions (87)

  • Theorem A: cf. \ref{['Bij_SR']}, \ref{['Bij_WR']}, \ref{['thm:retract']} and \ref{['thm:quo']}
  • Theorem B: \ref{['thm:LatIsoIdeals']}
  • Theorem C: cf. \ref{['thm:dense']} and \ref{['thm:limitlambda']}
  • Theorem D: \ref{['thm:continuity-in-normalcase']}
  • Remark 1
  • Lemma 3.1
  • proof
  • Remark 2
  • Lemma 3.2
  • proof
  • ...and 77 more