A theory of tensor products for module categories for a vertex operator algebra. II (Q1915872)

This is the second part of the authors' series of works on a tensor theory of modules for a vertex operator algebra. In the first part [reviewed above], the authors introduced the notions of \(P(z)\)- and \(Q(z)\)-tensor product of two modules for a vertex operator algebra, and presented two constructions of the \(Q(z)\)-tensor product for a vertex operator algebra under certain conditions. In this paper, the authors supply the proofs of certain results that they had used in the two constructions. [Parts III and IV have been reviewed in Zbl 0841.17014 and Zbl 0841.17015].