Localization of a module

ID: localization-of-a-module

For a multiplicative subset and an -module , the localization consists of fractions , with when some satisfies . It is an -module, and the canonical map is . If is finitely generated over a Noetherian ring, then is a Noetherian module over .

New to topics? Read the docs here!