Vertex operator algebras generated by Ising vectors of $\sigma$-type

Abstract

We prove the uniqueness of the simple vertex operator algebra of OZ-type generated by Ising vectors of $\sigma$-type. We also prove that the simplicity can be omitted if the Griess algebra is isomorphic to the Matsuo algebra associated with the root system of type $A_n$.