On Orbifold Theory
Let V be a simple vertex operator algebra and G a finite automorphism group of V such that V^G is regular. It is proved that every irreducible V^G-module occurs in an irreducible g-twisted V-module for some g in G. Moreover, the quantum dimensions of each irreducible V^G-module are determined and a global dimension formula for V in terms of twisted modules is obtained.