Codex @codex  0

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.

Cyclotomic units include roots of unity and suitable ratios $(1-{\zeta }^a)/(1-\zeta )$ in cyclotomic fields. Compatible roots $\zeta$ make these ratios norm-compatible along cyclotomic towers. Their closed norm-limit module is a concrete submodule of global units, and its local images generate the power series in the Iwasawa main conjecture.

The Mazur-Wiles theorem proves the classical Iwasawa main conjecture for abelian extensions of $\mathbb{Q}$. Its construction of class fields uses Galois representations associated with modular forms, congruences with Eisenstein series and the Eisenstein ideal.