不変量と変換$\delta$

不変量が生成するイデアルが凖同型$\delta - 1 $（変換の差分）に対応することを考えると、厳密に不変量と変換は双対だ。$\mathrm{ker}(\delta - 1) = (\mathrm{invariants})$。$\delta -1$がnilpotentならコホモロジー類が定義できて、・・・。

ちなみに$(\delta - 1)^2=0$ならば$\delta (\delta -1) = \delta - 1$なので、$\delta -1 $そのものもまた$\delta $の不変量である。