On using field extensions to prove the impossiblity of a straightedge and compass construction Let $z \in \mathbb{C}$.  Consider the following statements:
The point $z$ can be constructed with straightedge and compass starting from the points $\{ 0,1\}$.
There is a field extension $K / \mathbb{Q}$ which has a tower of subextensions, each one of degree 2 over the next, and such that $z \in K$
The field extension $\mathbb{Q}(z) / \mathbb{Q}$ has a tower of subextensions, each one of degree 2 over the next. 
The usual way to prove that a geometric construction is impossible is to use that 1 and 2 are equivalent.  My question is: are 2 and 3 equivalent?  At first sight this looked like it was going to be true and elementary, but I could not prove it or find a counterexample.
 A: I think they're equivalent.  Clearly 3 ==> 2.  To see 2 ==> 3, say an extension E/L of fields is 2-filtered if it has a tower of subextensions each of degree 2 over the next.  Then note firstly that if E/L and E'/L are 2-filtered, then so is the compositum of E and E' in any extension of L containing both (induct on the length of the tower of, say, E); and secondly for any map f:E-->E' of extensions of L, if E is 2-filtered then so is f(E).  Together these two facts imply that in 2 we may assume that K is Galois over Q, say with group G.  Then Q(z)/Q corresponds to a subgroup H, and by Galois theory we just need to prove the following group-theoretic lemma:
Lemma: Let G be a 2-group and H a subgroup.  Then there is a chain of subgroups connecting H to G where each is index 2 in the next.
Proof: Recall that we can find a central order two subgroup Z of G.  If H\cap Z=1, then HZ gets us one up in the filtration.  Otherwise H\cap Z=Z, i.e. Z is in H, and we can use induction on |G|, replacing G by G/Z.
