For a cyclic group of order with generator , let . Subtracting adjacent coefficients and using proves the displayed group-ring identity. If , then . 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.
Articles by others on the same topic
There are currently no matching articles.