Koszul homology is the homology of the Koszul complex with module coefficients. Its degree-zero term is , and its positive terms record failures of regularity. Each generator acts trivially on homology by the Koszul homotopy for multiplication by a generator.
New to topics? Read the docs here!