Definition talk:Gradation Compatible with Ring Structure

The direct sum decomposition here needs to be infinite, since $S_jS_k$ is only defined when $j+k \leq n$.

It's usual to have
 * $S = \bigoplus_{i \geq 0} S_i$

and call this a positive $\Z$-grading. --Linus44 (talk) 11:24, 7 March 2013 (UTC)


 * Possibly. I haven't a clue what my source was when I posted this up, which is bewildering as that was the time I started getting medieval about source works. --prime mover (talk) 12:33, 7 March 2013 (UTC)


 * Proposed change makes sense with regard to Definition:Graded Ring. &mdash; Lord_Farin (talk) 13:26, 7 March 2013 (UTC)

Also changed $\oplus \mapsto +$ to avoid conflict with direct sums. --Linus44 (talk) 14:51, 8 March 2013 (UTC)