Localization at a prime ideal (source code)

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