... IndFD(Wδ)=MF, then MF⊕ IndFD(Wδ)isan(F,δ)-framed VOA. Beforewe prove Theorem 3.21, we note that the conditions of Theorem 3.21 including the fusion rule (3.21) follow from the conditions of Theorem ... abelian 2-group. LetV = ⊕χ∈Irr(Q)Vχbe the decomposition of V into the direct sum of eigenspaces of Q, whereIrr(Q) is the set of linear characters of Q. Since dim V0= 1 and Vχis anirreducible ... 3.20.Proposition 3.22. Assume the triple (D, α, β) satisfies the conditions of Theorem 3.20 for any α, β ∈δ, γ. Then IndFD(Wα)×IndFD(Wβ)= IndFD(Wα+β)for α, β ∈δ, γ.Proof of Theorem 3.21....