# The Localization of a Commutative Ring

 Title: The Localization of a Commutative Ring Author: Anthony Bordg Submission date: 2018-06-14 Abstract: We formalize the localization of a commutative ring R with respect to a multiplicative subset (i.e. a submonoid of R seen as a multiplicative monoid). This localization is itself a commutative ring and we build the natural homomorphism of rings from R to its localization. BibTeX: @article{Localization_Ring-AFP, author = {Anthony Bordg}, title = {The Localization of a Commutative Ring}, journal = {Archive of Formal Proofs}, month = jun, year = 2018, note = {\url{https://isa-afp.org/entries/Localization_Ring.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.