场的量子化过程中发现的一种代数结构。他们所提出的量子化方法（称为或者），是一种十分普遍而且有效的量子化方法，正受到越来越多的量子场论学家和弦理论家的重视和应用，而BV代数也越来越受到数学家们的重视。
定义.设formula_1是数域formula_2上的一个分次(graded)线性空间。formula_1上的一个BV代数结构是三元组formula_4，满足以下两个关系：formula_12在上面的定义中，如果令formula_13则可以验证，formula_14形成一个