The charge conjugation orbifold $V_{Z\alpha }^{+}$ is rational when $<\alpha ,\alpha >/2$ is prime

Abstract

We prove that the vertex operator algebra $V_{Z\alpha }^{+}$ is rational if $<\alpha ,\alpha >/2$ is a prime integer.

18 pages, Latex