Localization at a prime ideal
= Localization at a prime ideal
{title2=$R_{\mathfrak p}$}
= Localizations at a prime ideal
{synonym}
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}$.