MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R=R_0 \oplus R_1 \oplus R_2 ...$ be a graded not necessarily commutative algebra over field $k$ and $R$ is generated by $R_1$, $R_0=k$. In commutative situation if one wants free resolution of $R/I$ one can start with Koszul (or Koszul-Tate) complex. Is there any noncommutative analogs of such explicit free resolution of $R/I$?

share|cite|improve this question
You can write down the Koszul complex regardless of whether or not R is commutative (see Priddy's original Koszul paper, or the Polishchuk and Positselski book Quadratic Algebras). It's not guaranteed to be a projective resolution in any case of course (because it may fail to be exact). The bar resolution always gives a free resolution of any module you like (it works for arbitrary algebras, no grading needed), but it is very large. – M T Feb 21 '12 at 13:54
@mt But this seems only for quadratic algebras ? Generalization to n-homogenous algebras seems to be new ideas: e.g. Koszulity for nonquadratic algebras II Roland Berger – Alexander Chervov Feb 21 '12 at 18:38
The Annick resolution (q.v.) is a general construction that does what you want in an explicit way. – Mariano Suárez-Alvarez Feb 21 '12 at 22:00
Thank you, Marino. I found some answers in Annick's "Noncommutative graded algebras and their Hilbert series". – Sasha Pavlov Feb 22 '12 at 14:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.