Ext groups between polynomial-ring residue modules

ID: ext-groups-between-polynomial-ring-residue-modules

When acts as zero, resolve the first module with the Koszul resolution on . Writing , the resulting groups are in degree zero, in degree one, and in degree two, with zero higher groups. This works for composite as well as prime moduli.

New to topics? Read the docs here!