Induced modules for vertex operator algebras

For a vertex operator algebraV and a vertex operator subalgebraV which is invariant under an automorphismg ofV of finite order, we introduce ag-twisted induction functor from the category ofg-twistedV-modules to the category ofg-twistedV-modules. This functor satisfies the Frobenius reciprocity and transitivity. The results are illustrated withV being theg-invariants in simpleV orV beingg-rational.The first author was supported by NSF grant DMS-9303374 and a research grant from the Committee on Research, UC Santa Cruz.The second author was supported by NSF grant DMS-9401389.