Definition talk:Gradation Compatible with Ring Structure

From ProofWiki
Jump to navigation Jump to search

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. — 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)