A while ago I posted a note on the ArXiV about my attempt at applying the theory of Fredholm operators from functional analysis to more general context of -algebras. I wanted to work through an argument here because it seemed like it has a suspiciously nice proof; I’ve learned to be skeptical of such proofs. […]