Definition:Localization of Ring at Element

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a commutative ring with unity.

Let $f \in A$ be an element.


The localization of $A$ at $f$ is the localization of $A$ at the set of powers $\set {1, f, f^2, \ldots}$:

$A_f = \paren {\set {1, f, f^2, \ldots} }^{-1}A$


Also denoted as

To avoid confusion with completions, the localization of $A$ at $f$ is also denoted $A \sqbrk {f^{-1} }$.


Also see


Sources