AoPSWiki

Looking for a challenging geometry text? Preparing for MATHCOUNTS or the AMC exams? Check out Art of Problem Solving's Introduction to Geometry by Richard Rusczyk.

Personal tools

Search

Toolbox

Tower law

From AoPSWiki

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 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.

Retrieved from "http://www.artofproblemsolving.com/Wiki/index.php/Tower_law"

Category: Field theory

Want to learn how to tackle those tough AMC/AIME/Olympiad algebra problems? Check out Art of Problem Solving's Intermediate Algebra by Richard Rusczyk and Mathew Crawford. Over 1600 problems!

© Copyright 2008 AoPS Incorporated. All Rights Reserved. • Foundation • Privacy • Contact Us