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.
For an ideal generated by a finite regular sequence in a commutative ring, the self-Ext functor algebra is exterior on the degree-one dual generators. Contraction chain maps on the Koszul resolution represent those generators, square to zero, and anticommute. The exterior square-zero relations also apply in characteristic two.
Articles by others on the same topic
There are currently no matching articles.