Minimal Free Resolution

A free resolution of a module M over a ring R is minimal if no free direct summand can be removed at any degree; equivalently, over a local ring (R,m) the differentials in a minimal free resolution have images contained in m times the next module, so the ranks of the free modules (Betti numbers) are as small as possible and are invariant.