 Kolyvagin derivative operator for a cyclic group

For a cyclic group of order $m$ with generator $\sigma$, let $N={\sum }_{i=0}^{m-1}{\sigma }^i$. Subtracting adjacent coefficients and using ${\sigma }^m=1$ proves the displayed group-ring identity. If $p^r\mid m$, then $(\sigma -1)D\equiv -N(\mathrm{mod}{p}^r)$. Together with the norm relations of a root-of-unity Euler system, this makes derivative classes invariant modulo p-power powers and permits Kummer descent, with roots-of-unity corrections where necessary. The congruence axiom controls the associated residue and valuation maps.