At least one finite prime ramifies in a Zp-extension; otherwise the entire tower would lie in a finite Hilbert class field. Ramification can occur only over : local class field theory makes inertia away from an image of a unit group with finite maximal pro- quotient, whereas has no nontrivial finite subgroup. Nonzero inertia is open in , so it becomes total after passing to a sufficiently high finite layer.

Articles by others on the same topic (0)

There are currently no matching articles.