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}$.