0
$\begingroup$

I've just read that if $R=R_0\oplus R_1 \oplus \dots$ is a graded ring and $f\in R$ then there's a unique decomposition of $f$ as $f=f_0+\dots+f_n$ with $f_i\in R_i$. I can't see immediately why in general this would have to be a finite sum! Could someone possibly enlighten me? I've got a feeling I'm being stupid, so apologies if it's completely obvious!

  • 3
    Basicall$y$, the direct sum is defined to be the subset of the direct product with all but finitely many of the terms equal to $z$ero. Without a topolog$y$ there isn't any way to define what it would mean for an infinite sum to converge.2012-08-02

1 Answers 1

3

It's because the graded ring is a direct sum of the $R_i$'s, not a direct product. Every element of a direct sum has only finitely many non-zero summands by definition.

PS: I always try to keep examples in mind when learning a definition. In the case of graded rings, the first I think of is $k[x_1,\ldots, x_n]$ graded by degree, where $k$ is a field. Here the idea that only finite sums are allowed is exactly what we should expect from experience.