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