We study the unique extendability of Elliott′s partial addition of Murray-von Neumann equivalence classes of projections in AF C*-algebras. We prove that there is at most one commutative associative monotone extension satisfying the natural residuation condition that for each projection p the class of 1 - p is the smallest one whose sum with the class of p equals 1. We prove that for every AF C*-algebra A this associative commutative monotone residual extension exists if, and only if, the Murray-von Neumann order on equivalence classes of projections in A is a lattice order. By Elliott′s classification theorem, the resulting monoid uniquely characterizes A. We give a simple equational characterization of the monoids arising as classifiers.

Extending addition in Elliott's local semigroup

PANTI, Giovanni;
1993-01-01

Abstract

We study the unique extendability of Elliott′s partial addition of Murray-von Neumann equivalence classes of projections in AF C*-algebras. We prove that there is at most one commutative associative monotone extension satisfying the natural residuation condition that for each projection p the class of 1 - p is the smallest one whose sum with the class of p equals 1. We prove that for every AF C*-algebra A this associative commutative monotone residual extension exists if, and only if, the Murray-von Neumann order on equivalence classes of projections in A is a lattice order. By Elliott′s classification theorem, the resulting monoid uniquely characterizes A. We give a simple equational characterization of the monoids arising as classifiers.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/674092
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 11
social impact