Koszul–Tate resolution
In mathematics, a Koszul–Tate resolution or Koszul–Tate complex of the quotient ring R/M is a projective resolution of it as an R-module which also has a structure of a dg-algebra over R, where R is a commutative ring and M ⊂ R is an ideal. They were introduced by Tate (1957) as a generalization of the Koszul resolution for the quotient R/(x1, ...., xn) of R by a regular sequence of elements.