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

Toshiyuki Abe

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