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!