In the field of rationals [itex]\mathbb{Z}_{(p)}[/itex] (rationals in the ring of the p-adic integers), how is it possible to prove the residue field [itex]\mathbb{Z}_{(p)}/p\mathbb{Z}_{(p)}[/itex] is equal to [itex]\mathbb{Z}/p\mathbb{Z}[/itex] ?(adsbygoogle = window.adsbygoogle || []).push({});

I've narrowed it down to [itex]\mathbb{Z}_{(p)}/p\mathbb{Z}_{(p)} = \left\{ a/b\in\mathbb{Q} : p\nmid a, p \nmid b \right\} [/itex], but can't seem to make the last step...

Or maybe I'm barking up the wrong tree. Hmm...

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Residue field of p-adic integers

Loading...

Similar Threads - Residue field adic | Date |
---|---|

I Need clarification on a theorem about field extensions/isomorphisms | Dec 19, 2017 |

Algorithm to find square root of a quadratic residue mod p | Feb 14, 2015 |

Principal Components and the Residual Matrix | Jun 21, 2013 |

Number of quadratic residues mod N>1 | May 8, 2013 |

Fpt problem in quadratic residues | Oct 12, 2012 |

**Physics Forums - The Fusion of Science and Community**