3
$\begingroup$

The following is a lemma in a note of graded ring, however, I do not know how to prove it. Please help me. Thanks.

Let $R$ be a commutative reduced graded ring where $R_{0}$ is a field and let $u\in R_n\setminus \lbrace0\rbrace$. Then $u$ is transcendental over $R_{0}$.

1 Answers 1

2

Suppose there exists an integer $m$ and $a_{m - 1}, \ldots, a_0 \in R_0$ such that $$ u^m + a_{m - 1}u^{m - 1} + \cdots + a_0 = 0. $$ Now, $u^m$ is a non-zero [$R$ is reduced] element of degree $nm$. The above equation gives the additive inverse for $u^m$, which must also be a non-zero element of $R_{nm}$. But given that $R = \bigoplus R_d$, is this possible? What is the degree of $a_iu^i$?

  • 0
    I am so sorry for my stupid question but how do we know that $u^m$ has degree $mn$? There does not exist such an element of the form $a_{i}u^{i}$ in the ring R, does not it ?2012-05-23
  • 0
    @variete No need to be sorry. My reasoning is that in general we require $R_dR_e \subset R_{d+e}$, so in particular $u^2 \in R_{2n}$ and so on. I'm afraid that I can't understand the second comment—could you elaborate?2012-05-23
  • 0
    Thank you very much Dylan Moreland. I have a mistake in the second comment, please forget that comment. Can you tell me what is the degree of $a_{i}u_{i}$ ? Is it $n+i$?2012-05-23
  • 0
    @variete All the $a_i$ are degree zero, so the degree of $a_iu^i$ is $in$.2012-05-23
  • 0
    Ok, I got the light of the proof. Thank you so much Mr Moreland.2012-05-23