Quantum Galois theory for finite groups

Abstract

We prove the Galois correspondence between the subgroups of a finite automorphism group G of a simple vertex operator algebra V and the vertex operator subalgebras of V containing the set V^G of G-invariants.

revised version (with a longer proof), 6 pages, Latex