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