Exactness of the unit-ideal localization Čech complex
ID: exactness-of-the-unit-ideal-localization-cech-complex
For a finite family generating the unit ideal in a commutative ring, this augmented Čech cochain complex of any module is exact. One proof clears the finitely many denominators and cocycle relations by powers , writes , and contracts an alternating cocycle by the weighted insertions . The argument uses vanishing criterion in a module localization and does not require the module to be finitely generated.
New to topics? Read the docs here!