Exactness of localization

ID: exactness-of-localization

For a multiplicative subset of a commutative ring , localization preserves short exact sequences of -modules. Surjectivity follows by lifting a numerator. If a fraction maps to zero, some element of annihilates its image, so multiplying its numerator by that element puts it into the original kernel. For an injective original map, the same criterion shows its localized kernel is zero. Thus is a flat module over .

New to topics? Read the docs here!