Graded module

Vacuum space

Let be a -graded K-monoid¹ and be a graded -module with the action denoted by . A nonzero vector is called a vacuum vector iff . falg The vacuum space consists of all vacuum vectors and zero

and is a graded vector subspace, i.e. all vacuum vector are linear combinations of homogenous vacuum vectors.²

Proof

Let be a vacuum vector. Then for any and

so for all and .

---

tidy | en | sembr

Footnotes

1. Or Graded Lie algebra via the Universal enveloping algebra. ↩

2. 1988. Vertex operator algebras and the Monster, §1.7, p. 23 ↩