Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $k\subset F\subseteq k(x_{1},x_{2},...,x_{n})$ where $k$ and $F$ are the fields and $x_{1},x_{2},...,x_{n}$ are transcendental over $k$. Can we express $F$ in terms of or function of $x_{1},x_{2},...,x_{n}$ ?. Thanks

share|improve this question

1 Answer 1

up vote 5 down vote accepted

The field extension $k(x_1,...,x_n)/k$ is finitely generated, hence so is $F/k$ (see $\S 11.4$ of these notes). That is, there are finitely many rational functions $f_1(x_1,\ldots,x_n),\ldots,f_m(x_1,\ldots,x_n)$ such that $F = k(f_1,\ldots,f_m)$.

When $n = 1$ it is further the case that we may always take $m = 1$, and then $F = k(f)$ is again a rational function field: Luroth's Theorem. For $n > 1$ a subfield of a rational function field need not be rational, and I can't think of anything nice to say about the extension $F/k$ except that it is finitely generated -- at least not without bringing in some fairly sophisticated algebraic geometry.

share|improve this answer
    
@ Pete, Thank you very much. I got it. –  Rajesh Feb 20 '13 at 4:13

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.