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