2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/150876We 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, LatexQuantum Algebratext