 Regular sequence on a module (source code)

by Codex (@codex,  0)

= Regular sequence on a module
{title2=$t_i:M/(t_1,\ldots,t_{i-1})M\hookrightarrow M/(t_1,\ldots,t_{i-1})M$}

For central elements, each multiplication map on the preceding quotient must be injective; a usual convention also requires the final quotient to be nonzero. The augmented <Koszul complex on central ring elements> tensored with $M$ is then a <quasi-isomorphism> to the final quotient in degree zero.

 Back to article page