Let be a vector space over a field , its dual space and the algebra of all linear operators on . For an operator let be its adjoint acting on , and for a subset of let be its bicommutant. If is the subalgebra of generated by an operator , we prove that the set is contained in ; moreover is described. This inclusion is equality if as a module over the polynomial algebra via is nice enough (say torsion, or injective, or if it contains a copy of as a direct summand). Further, under the same assumption about for any , if and only if the derivations and satisfy , where is the set of all finite rank operators on . The inclusion also holds under these conditions.

生成讲解博客的中文版本

生成AI智能校验的中文版本