On cyclotomic field extensions
This is part of a proof which characterises the Galois groups of cyclotomic field extensions, however this part shouldn't require any knowledge of such things. I'm stuck on another part of the proof too (it's a few pages long) but I'll deal with this bit first
Let be the standard nth primitive root of unity and let p be some prime not dividing n. Let P be a maximal ideal of containing p. We have that for some r between 1 and n-1. The next line of the proof reads:
It is this line that I don't understand. I feel it may have something to do with the fact that the second bracketed term has r additions but I'm unsure and would really appreciate any help.