6
$\begingroup$

Let $K$ be field. How do I proof that transcendence degree of $K[X_1,X_2,\ldots,X_n]$ is $n$? The set $\{X_1,X_2,\ldots,X_n\}$ is algebraically independent over $K$. So, I have to show that every subset of size greater than $n$ is algebraically dependent.

$\endgroup$
1
  • $\begingroup$ Yes, but then how do we calculate the krull dimension? $\endgroup$
    – Mohan
    Commented Jan 20, 2013 at 2:45

1 Answer 1

19
$\begingroup$

suppose $P_0, \ldots, P_n$ are $n+1$ polynomials, of degree less than $d$. Then by multiplying the $P_i$ among themselves up to $k$ times, you can build at least about $k^{n+1}/(n+1)!$ polynomials of the form $\prod P_i^{\alpha_i}$ of degree less than $dk$.

But the dimension of the vector space of polynomials of degree less than $dk$ in $K[X_1,\ldots X_n]$ is only about $(dk)^n/n!$.

So if you pick $k$ large enough you get more things of the form $\prod P_i^{\alpha_i}$ than there are dimensions in $K_{dk}[X_1,\ldots,X_n]$, which means that there is a combination of the $\prod P_i^{\alpha_i}$ with coefficient in $K$ that gives $0$, which means that you have a polynomial in the $P_i$ that gives $0$, hence they are algebraically linked

$\endgroup$
1
  • $\begingroup$ This looks incredibly slick, and certainly isn’t the way I would have argued. $\endgroup$
    – Lubin
    Commented Jan 19, 2013 at 18:03

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .