7
$\begingroup$

So, there are two types of definitions of graded rings (I will consider only commutative rings) that I have seen:

1) A ring $R$ is called a graded ring if $R$ has a direct sum decomposition $R = \bigoplus_{n \in \mathbb{Z}} R_n$, where for all $m,n \in \mathbb{Z}, R_mR_n \subset R_{m+n}$.

2) A ring $R$ is called a graded ring if $R$ has a direct sum decomposition $R = \bigoplus_{n \in \mathbb{Z}} R_n$, where for all $m,n \in \mathbb{Z}, R_mR_n \subset R_{m+n}$, and $R_0$ is a subring of $R$, i.e., $1 \in R_0$.

In the second definition, is the additional condition that $R_0$ is a subring, i.e., basically the condition that $1 \in R_0$, redundant?

  • 3
    Well, if $1\in R_k$, then $R_n\subseteq R_{n+k}$ for any $n$. But $R_n\cap R_{n+k}=0$ (if $k\ne 0$), so $R_n=0$ for all $n$ and $R=0$ (then $1\in R_0$). So the answer is yes.2011-11-04
  • 0
    So, Atiyah-Macdonald has this construction: For an ideal $\alpha \subset A$ (where A is a ring), you define the graded ring $A^{*} = A \bigoplus \alpha \bigoplus \alpha^{2} \bigoplus ...$. Here it does not seem that $R_n \cap R_{n+k} = 0$ for $k \neq 0$. Am I missing something here?2011-11-05
  • 0
    This is a conceptual error on my part, and if you can explain where I am wrong, it will be very helpful to me. While I know the internal direct sum notation makes sense only for subgroups with trivial intersection, I am not sure how to make sense of Atiyah-Macdonald's construction of the graded ring above (which the C-ring project calls the blowup algebra), because each consecutive homogeneous part is contained in the one before.2011-11-05
  • 4
    For the graded ring you are thinking of, by definition, the graded components are considered not to intersect. A formal way of doing this is to define $A^* = A \oplus t\alpha \oplus t^2 \alpha^2 \oplus \dots$, viewed as a subring of $A[t]$.2011-11-05

1 Answers 1

4

yes it is redundant, you just need the definition 1), this is because:

if $ R_mR_n \subset R_{m+n}$ then $ R_0R_0 \subset R_{0}$ , thus $R_{0}$ is subring. Second we have $1=\sum x_n$ where there is only a finite number of non-zero $x_n$, also note that $x_n = 1 \times x_n=\sum x_n \times x_n$ be comparing degree we see that $x_n=x_0\times x_n$ and $x_0= 1 \times x_0=\sum x_n \times x_0=\sum x_n=1$, therefore $1 \in R_0$

  • 1
    I don't think I would write $1 \times x_n = \sum_n x_n \times x_n$, but rather $x_m = 1 \times x_m = \sum_n x_n \times x_m$. Otherwise it's a bit confusing!2014-12-22