Tower law

Given three fields, $F\subseteq K\subseteq L$ the tower law states that if $[L:K]$ and $[K:F]$ are both finite then so is $[L:F]$ and $[L:F] = [L:K][K:F].$ And furthermore if either $[L:K]$ or $[K:F]$ is infinite then so is $[L:F]$ .

Proof

First consider the case where $[L:K]$ and $[K:F]$ are both finite. Let $[L:K] = m$ and $[K:F] = n$ . Let $\{\alpha_1,\alpha_2,\ldots,\alpha_m\}$ be a basis for $L$ over $K$ and $\{\beta_1,\beta_2,\ldots,\beta_n\}$ be a basis for $K$ over $F$ . We claim that the set $B=\{\alpha_i\beta_j|1\le i\le m, 1\le j\le n\}$ (which clearly has $mn$ elements) is a basis for $L$ over $F$ .

First we show that $B$ spans $L$ . Take any $v\in L$ . As $\{\alpha_1,\alpha_2,\ldots,\alpha_m\}$ is a basis for $L$ over $K$ , we can write $v = \sum_ia_i\alpha_i$ , where $a_1,a_2,\ldots,a_n\in K$ . And now as $\{\beta_1,\beta_2,\ldots,\beta_n\}$ is a basis for $K$ over $F$ we can write $a_i=\sum_jb_{ij}\beta_j$ where $b_{i1},b_{i2},\ldots,b_{in}\in F$ , for each $a_i$ . So now $v = \sum_ia_i\alpha_i = \sum_i\left(\sum_jb_{ij}\beta_j\right)\alpha_i = \sum_{i,j}b_{ij}\alpha_i\beta_j.$ So indeed $B$ spans $L$ over $F$ .

Now we show that $B$ is independent. Assume that there are some $\{b_{ij}\}\subseteq F$ such that $\sum_{i,j}b_{ij}\alpha_i\beta_j = 0$ . So then we have $\sum_i\left(\sum_jb_{ij}\beta_j\right)\alpha_i = 0.$ So, as $\{\alpha_1,\alpha_2,\ldots,\alpha_m\}$ is independent over $K$ we get that $\sum_jb_{ij}\beta_j = 0.$ For all $i$ . And hence as $\{\beta_1,\beta_2,\ldots,\beta_n\}$ is independent over $F$ we get $b_{ij}=0$ for all $i$ and $j$ . Therefore $B$ is indeed independent.

Therefore $B$ is indeed a basis, so $[L:F] = |B| = mn$ , as desired.

Now we consider the infinite case. By the above argument if $\{\alpha_1,\alpha_2,\ldots,\alpha_m\}\subseteq L$ is independent over $K$ and $\{\beta_1,\beta_2,\ldots,\beta_n\}\subseteq K$ is independent over $F$ then the set $B=\{\alpha_i\beta_j|1\le i\le m, 1\le j\le n\}$ is independent over $F$ . Hence if either of $[L:K]$ and $[K:F]$ is infinite then there exisit arbitrarily large independent sets in $L$ over $F$ , so $[L:F]$ is infinite as well.

Page

Toolbox

Search

Tower law

Proof