It is proved that the parafermion vertex operator algebra associated to the irreducible highest weight module for the affine Kac-Moody algebra A_1^{(1)} of level k coincides with a certain W-algebra. In particular, a set of generators for the parafermion vertex operator algebra is determined.
Download