An ideal in a graded ring is homogeneous when it is generated by homogeneous elements, equivalently when every homogeneous component of each of its elements also belongs to the ideal.
New to topics? Read the docs here!
New to topics? Read the docs here!