Tower of fields

{{Short description|In mathematics, a sequence of field extensions}}

In mathematics, a tower of fields is a sequence of field extensions

:{{nowrap|F₀ ⊆ F₁ ⊆ ... ⊆ F_n ⊆ ...}}

The name comes from such sequences often being written in the form

: $\begin{array}{c}\vdots \\ | \\ F_2 \\ | \\ F_1 \\ | \\ \ F_0. \end{array}$

A tower of fields may be finite or infinite.

Examples

:: $F_{n} = F_{n-1}\!\left(2^{1/2^n}\right), \quad \text{for}\ n \geq 1$

:(i.e. F_n is obtained from F_n-1 by adjoining a 2ⁿth root of 2), is an infinite tower.

If p is a prime number the pth cyclotomic tower of Q is obtained by letting F₀ = Q and F_n be the field obtained by adjoining to Q the pⁿth roots of unity. This tower is of fundamental importance in Iwasawa theory.
The Golod–Shafarevich theorem shows that there are infinite towers obtained by iterating the Hilbert class field construction to a number field.

| last=Escofier

| first=Jean-Pierre

| title=Galois theory

| volume=204

| year=2001

| isbn=978-0-387-98765-1

}}