数学の独習にJoh氏の資料を活用させて頂いている者です。
フェルマーの小定理の発展系として書かれた定理 「群 {Z_{n}}^{*} の位数が素数 p の冪 p^{k} のとき, |{Z_{n}}^{*}|=p^{k}\Big(1-\frac{1}{p} \Big) がなりたつ.」 の箇所ですが、 「群 {Z_{n}}^{*} の位数が、・・・」は 「群 {Z_{n}}^{*} の{n}が、・・・」の誤記ではないかと思います。 ご確認のほどよろしくお願いします。