Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to understand a proof for a theorem that states conditions under which the group of primitive residual classes modulo $n$ is cyclic. This proof uses the following result attributed to Gauß: $$ (1 + p)^{p^{\nu - 1}} \equiv 1 \pmod {p^\nu},\qquad(1 + p)^{p^{\nu - 1}} \not\equiv 1 \pmod {p^{\nu + 1}}, $$ where $p$ is an odd prime and $\nu \in \mathbb{N}$.

This result is used to derive without further explanation the following incongruence $$ (1 + p)^{p^{\nu - 2}} \not\equiv 1 \pmod {p^{\nu}} $$ where $\nu \geq 2$.

Can somebody explain how one can obtain the second incongruence from the first one? It's probably something simple, but I'm just not seeing it at the moment. Thanks.

share|improve this question

1 Answer 1

up vote 2 down vote accepted

I think the bottom line is just the first with $\nu$ shifted by one.

share|improve this answer
    
Arrghh, of course. Thanks. –  Markus Dec 23 '12 at 19:05

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.