A Zp-extension is an infinite Galois extension of a number field whose Galois group is topologically isomorphic to the additive p-adic integers. There is a unique intermediate field of degree for every , corresponding to . The finite layers form a tower with cyclic successive degree extensions.
New to topics? Read the docs here!