Ramification in a Zp-extension
ID: ramification-in-a-zp-extension
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.
New to topics? Read the docs here!