Content deleted Content added
→Universal property: Corrected a minor error relevant when one attempts to localize at a multiplicative set including non-regular elements (the new property correctly handles those cases by accommodating how said non-regular elements are always mapped to 0, typically a non-unit, witnessed by the factorization of the map j through the universal quotient map of the ambient ring through the sub-ideal of its nilradical generated from the intersection of the latter and the given localizing mult... Tags: Reverted Mobile edit Mobile web edit |
Reverted 1 edit by Athena.Jennings (talk): Wrong edit: it is often the case that no element of S is regular, for example when S consists of the powers of a non-regular element |
||
Line 52:
The universal property satisfied by <math>j\colon R\to S^{-1}R</math> is the following:
:If <math>f\colon R\to T</math> is a ring homomorphism that maps every
Using [[category theory]], this can be expressed by saying that localization is a [[functor]] that is [[left adjoint]] to a [[forgetful functor]]. More precisely, let <math>\mathcal C</math> and <math>\mathcal D</math> be the categories whose objects are [[ordered pair|pairs]] of a commutative ring and a [[submonoid]] of, respectively, the multiplicative [[monoid]] or the [[group of units]] of the ring. The [[morphism]]s of these categories are the ring homomorphisms that map the submonoid of the first object into the submonoid of the second one. Finally, let <math>\mathcal F\colon \mathcal D \to \mathcal C</math> be the forgetful functor that forgets that the elements of the second element of the pair are invertible.
| |||