Localization at a prime ideal (source code)

= Localization at a prime ideal
{title2=$R_{\mathfrak p}$}

Localization at a prime ideal $\mathfrak p$ means inverting $R\setminus\mathfrak p$. The resulting local ring $R_{\mathfrak p}$ has maximal ideal $\mathfrak pR_{\mathfrak p}$.