Let $p\in\mathbb{Z}$ be a prime number, $\mathfrak{p}\subset \mathbb{Z}$ be the prime ideal it generates and let $\mathbb{Z}_{\mathfrak{p}}$ be the localization of $\mathbb{Z}$ at $\mathfrak{p}$, i.e. the fractions whose denominators don't lie in $\mathfrak{p}$.
Then the localization $\mathfrak{p}_{\mathfrak{p}}\subset \mathbb{Z}_{\mathfrak{p}}$ of the ideal $\mathfrak{p}$ is the unique maximal ideal of $\mathbb{Z}_{\mathfrak{p}}$.
Which field is $\mathbb{Z}_{\mathfrak{p}}/\mathfrak{p}_{\mathfrak{p}}$? Is it $\mathbb{F}_p$? Is there an easy way to see this?
Thank you!