Compact derivations relative to semifinite von Neumann algebras (Q1066423)

\textit{B. Johnson} and \textit{S. Parrott} [J. Funct. Anal. 11, 39-61 (1972; Zbl 0237.46070)] have proven that if \(A\subset B(H)\) is a von Neumann algebra that does not contain as a direct summand certain type \(II_ 1\) factors and if \(\delta\) is a derivation from A into the compact operators of B(H), then \(\delta\) is implemented by a compact operator; i.e., \(\delta\) is inner. \textit{S. Popa} [The commutant modulo the set of compact operators of a von Neumann algebra, Preprint] has recently extended the result to all von Neumann algebras A. In the paper under review, it is proven that if B is a von Neumann algebra, A is an abelian or properly infinite subalgebra of B containing the center of B and \(\delta\) is a derivation from A into either the compact ideal J(B) of B (the ideal generated by the finite projections of B) or into the Cp(B,\(\tau)\)-Schatten class of B relative to a trace \(\tau\), then \(\delta\) is inner. In addition, the condition that A contains the center of B can be removed for the Cp(B,\(\tau)\) case or the case when A is an abelian atomic algebra.