A description of Hilbert 𝐶*-modules in which all closed submodules are orthogonally closed
Jürgen Schweizer · Proceedings of the American Mathematical Society · 1999
Let A A , B B be C ∗ C^* -algebras and E E a full Hilbert A A - B B -bimodule such that every closed right submodule E 0 ⊆ E E_{0}\subseteq E is orthogonally closed, i.e., E 0 = ( E 0 ⊥ ) ⊥ E_{0}=(E_{0}^{\perp })^{\perp } . Then there are families of Hilbert spaces { H i } \{\mathcal {H}_{i}\} , { V i } \{\mathcal {V}_{i}\} such that A A and B B are isomorphic to c 0