The -algebra of a Hilbert bimodule
Un -modulo hilbertiano destro su una -algebra dotato di uno -omomorfismo isometrico viene qui considerato come un oggetto della -categoria degli -moduli Hilbertiani destri. Come in [11], associamo ad esso una -algebra contenente come un «-bimodulo hilbertiano in ». Se è pieno e proiettivo finito è la -algebra , la generalizzazione delle algebre di Cuntz-Krieger introdotta da Pimsner [27] (e in un caso particolare da Katayama [31]). Più in generale, è canonicamente immersa...