Isomorphism between Group of Units of Ring of Integers Modulo p^n and C((p-1)p^(n-1))
Jump to navigation
Jump to search
Theorem
Let $n \in \Z_{\ge 0}$ be a positive integer.
Let $p$ be an odd prime.
Let $R = \struct {\Z / p^n \Z, +, \times}$ be the ring of integers modulo $p^n$.
Let $U = \struct {\paren {\Z / p^n \Z}^\times, \times}$ denote the group of units of $R$.
Let $C_{(p - 1)p^{n - 1}}$ be be cyclic group of order $(p - 1)p^{n - 1}$.
Then $U$ is isomorphic to $C_{(p - 1)p^{n - 1}}$.
Proof
The case $n = 1$ is proved in Ring of Integers Modulo Prime is Field.
Suppose $n \ge 2$.
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Source
- 1801: Carl Friedrich Gauss: Disquisitiones Arithmeticae, arts. 84–89