Lie-Wang, Huai-Xin - 2018
Let denote the usual operator trace or a -module matrix-trace on the matrix -algebra () of a unital Abelian -algebra . It is proved thatwhere , are any positive trace-class operators on a separable Hilbert space, or positive elements in (), and is any positive integer. This result generalizes an...