Erzwingende Algebra/Primäres Ideal/Induzierter Torsor/en/Fakt

Aus Wikiversity

Let denote a noetherian ring, let denote an ideal and let be another element. Let be the corresponding cohomology class and let

denote the forcing algebra for these data.

Then the scheme together with the natural action of the syzygy bundle on it is isomorphic to the torsor given by .