Homogeneous ideal

An ideal a of a graded ring

S=⨁d≥0Sd

is called homogeneous if it satisfies the condition: If a∈a and a=∑dad with ad∈Sd, then each ad∈a.