On extendability of functionals on Hilbert $C^*$-modules
Let $M\subset N$ be Hilbert $C^*$-modules over a $C^*$-algebra $A$ with $M^\perp=0$. It was shown recently by J. Kaad and M. Skeide that there exists a non-zero $A$-valued functional on $N$ such that its restriction onto $M$ is zero. Here we show that this may happen even if $A$ is monotone complete. On the other hand, we show that for certain type I $W^*$-algebras this cannot happen.