On the nonnegativity of operator products (Q2368558)

Let \(\mathfrak H\) be a Hilbert space and let \([\mathfrak H]\) be the set of all bounded everywhere defined linear operators in \(\mathfrak H\). Let \(A\in [\mathfrak H]\) be nonnegative and let \(B,C\in [\mathfrak H]\) satisfy the equality \(C^*A=AB\). There are given criteria for the existence of selfadjoint nonnegative extensions of \(B^*A\) and \(C^*A\).