@AlessandroCodenotti Yep, it is a field of characteristic $p$, I found a question which asked whether or not localisation commutes with quotienting, to which the answer was yes, so $\Bbb Z_{(p)}/(p)\Bbb Z_{(p)} \cong \Bbb Z/(p)$
@AlessandroCodenotti Yep! It led me to learn what an "exact functor" is, so that's nice. I like when I end up learning something new from a question. lol
Hello there; does anyone know how to start a private chatting session, like the ones MSE suggests you start if you and someone else comment too much in a question?