Definition:Tower of Fields

From ProofWiki
Jump to navigation Jump to search

Definition

A tower of fields:

$F_k / F_{k-1} / \dotsb / F_2 / F_1$

is a finite sequence of field extensions:

$F_{j+1} / F_j$

where $j = 1, \dotsc, k-1$.