English
A vertex operator is defined as a specialization of heterogeneous vertex operators with Γ=ℤ and V=W; i.e., VertexOperator(R,V) := HVertexOperator(ℤ,R,V,V).
Русский
Вершинный оператор задаётся как частный случай гетерогенного вершинного оператора: Γ=ℤ, V=W; т.е. VertexOperator(R,V) := HVertexOperator(ℤ,R,V,V).
LaTeX
$$$\text{VertexOperator}(R,V) = HVertexOperator(\mathbb{Z},R,V,V)$$$
Lean4
/-- A vertex operator over a commutative ring `R` is an `R`-linear map from an `R`-module `V` to
Laurent series with coefficients in `V`. We write this as a specialization of the heterogeneous
case. -/
abbrev VertexOperator (R : Type*) (V : Type*) [CommRing R] [AddCommGroup V] [Module R V] :=
HVertexOperator ℤ R V V
