Homology, Homotopy and Applications

Volume 4 (2002)

Number 2

The Roos Festschrift volume

On constructing resolutions over the polynomial

Pages: 315 – 336

DOI: https://dx.doi.org/10.4310/HHA.2002.v4.n2.a15


Leif Johansson (Mathematics Department, Stockholm University, Sweden)

Larry Lambe (School of Informatics, Division of Mathematics, University of Wales, Bangor, Gwynedd, Wales, United Kingdom)

Emil Sköldberg (Mathematics Department, Stockholm University, Sweden)


Let $k$ be a field, and $A$ be a polynomial algebra over $k$. Let $I\subseteq A$ be an ideal. We present a novel method for computing resolutions of $A/I$ over $A$. The method is a synthesis of Gröbner basis techniques and homological perturbation theory. The examples in this paper were computed using computer algebra.


homology, homotopy, homological perturbation, resolution, polynomial ring, Gröbner basis, normal form

2010 Mathematics Subject Classification


Published 1 January 2002