Finitely generated field extensions 
If $F=K(u_1,\ldots,u_n)$ is a finitely generated extension of $K$ and $M$ is an intermediate field, then $M$ is a finitely generated extension of $K$. 

I'm not exactly sure how to start this problem. Any help at all would be a tremendous help.
 A: Firstly, I encourage you to simply try this with the tower rule ( $[F:K] = [F:M][M:K]$ ). Remember that you can consider the transcendent degree separately. However, if that is insufficient, I direct you to this answer over at MO.
The accepted answer covers this question very nicely, including the cases for transcendence.
A: I messed up last time. What I showed was not correct, $F$ need not be finite dimensional over $K$ just because it is finitely generated, counter example would be any transcendental extension.
Let $T = \{u_1,\cdots,u_n\}$. WLOG, let $A = \{u_1,\cdots,u_m\}\subset M$ and $B = \{u_{m+1},\cdots,u_n\}\cap M = \varnothing$. That is we partition $T = A\cup B$ into two sets $A$ and $B$, where $A$ contains all $u_i\in M$ and $B$ contains the rest.
Since $M\subset K(T)$, all elements of $M$ are in the form of $f(u_1,\cdots,u_n)$, where $f\in K(x_1,\cdots,x_n)$, the field of rational functions with coefficients in $F$ with $n$ variables.  
But since $M\cap B = \varnothing$, all elements of $M$ are in the form of $f(u_1,\cdots,u_m,0,\cdots,0)$ where from position $m+1$ to $n$ its all $0$. That is all elements of $M$ are the form of $f(u_1,\cdots,u_m)$ where $f\in K(x_1,\cdots,x_m)$. Thus $M\subset K(u_1,\cdots,u_m)$. 
Also $M\supset K(u_1,\cdots,u_m)$ because $M\supset K$ and $M\supset A$. That is $M = K(u_1,\cdots,u_m)$.  
