## A characterization of solvable normal extention over a field

I think I proved the following result. This can be regarded as a generalization of the Galois' theory of algebraic equations. Is this correct? Is there any reference?

Definition
A finite extention of a field $E/K$ is called a general radical tower when there is a sequence of extention fields $K_i$, for $i = 0, 1, \ldots, m$ which satisfies the following conditions:

1. $K = K_0$, $E = K_m$

2. For each $i = 0, \ldots, m-1$, $K_{i+1} = K_i(b)$, where $b^q = a ∈ K_i$ and $q$ is a prime which may or may not be the characteristic of $K$ and $X^q - a$ is an irreducible polynomial in $K_i[X]$ or $K_{i+1}/K_i$ is a Galois extention of degree $p$, where $p$ is the characteristic of $K$.

Proposition
Let $L$ be a finite (not necessarily separable) normal extention of a field $K$. Let $G$ be the automorphism group of $L/K$. Then the following conditions are equivalent.

1. $G$ is solvable.

2. There is a general radical tower $E/K$ such that $L$ is contained in $E$

-
Also posted on math.SE: math.stackexchange.com/q/131685 – Zev Chonoles Apr 22 2012 at 6:02