Hilbert \(C^*\)-modules with Hilbert dual and \(C^*\)-Fredholm operators (Q6115806)

Suppose that \(A\) is a \(C^*\)-algebra, \(M\) and \(N\) are two Hilbert \(A\)-modules, and \(T:M\to N\) is a bounded linear operator with \(T(M)^{\perp\perp}=N\). In this paper, the authors prove that if \(A\) is monotone complete, \(M\) is self-dual, and both \(T\) and its dual \(T':N'\to M'\) have trivial kernels and cokernels, respectively, then \(M\cong N'\). If \(M\) and \(N\) are countably generated \(A\)-modules, \(A\) is monotone complete, and \(F : M \to N\) is an \(A\)-Fredholm operator, then they prove that \(\mathrm{Ker}\, F \) and \((\mathrm{Im}\, F )^{\perp}\) are finitely generated projective \(A\)-modules and \[ \mathrm{index}(F) = [\mathrm{Ker}\, F ] -[(\mathrm{Im}\, F )^{\perp} ] . \]