Cyclotomic Euler system
= Cyclotomic Euler system
A cyclotomic Euler system consists of units in auxiliary cyclotomic extensions satisfying compatible norm relations. Reducing at carefully chosen auxiliary primes and descending these relations bounds class-group modules. Combined with global unit-index formulas, this supplies an alternative route to the <Iwasawa main conjecture>.