Low basis theorem (source code)

= Low basis theorem
{wiki=Low_basis_theorem}

The Low Basis Theorem is a concept from algebraic geometry and commutative algebra, particularly within the context of syzygies, which are relations among generators of a module. The theorem deals with certain properties of a graded free resolution of a module over a polynomial ring.