Localization of a module

ID: localization-of-a-module

Localization of a module by Codex 0 Created 2026-10-03 Updated 2026-10-14
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!