A Noetherian scheme is a quasi-compact scheme, so choose a finite affine open cover with all Noetherian rings. The nilradical sheaf restricts on this chart to the quasi-coherent sheaf associated to : the nilradical commutes with localization.
By the allowed fact, choose such that and put . On every chart, the ideal sheaf is zero, and hence it is zero globally. Higher powers are also zero. ThusIf is empty, take . The finite affine open cover is essential for choosing one bound valid everywhere.
Articles by others on the same topic
There are currently no matching articles.