1 Definitions Definition 1. A graded ring is a ring S together with a set of subgroups Sd, d ≥ 0 such that S = ⊕ d≥0 Sd as an abelian group, and st ∈ Sd+e for all s ∈ Sd, t ∈ Se. One can prove that 1 ∈ S0 and if S is a domain then any unit of S also belongs to S0. A homogenous ideal of S is an ideal a with the property that for any f ∈ a we also have fd ∈ a for all d ≥ 0. A morphism of graded r...
