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.