Registry · Remark I.R23 tau-effective not_applicable

I.R23 — Galois Theory Preview

Galois theory preview: the cyclotomic Galois group (Z/nZ)^times acts on roots of unity by exponentiation. This algebraic infrastructure serves as the bridge to Book II's topological Galois theory and to the Langlands connection in Book III.

Book I Part 17 Ch. 79

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: