Homogeneous ideal
= Homogeneous ideal
An <ideal> in a <graded ring> is homogeneous when it is generated by <homogeneous polynomial>[homogeneous elements], equivalently when every homogeneous component of each of its elements also belongs to the ideal.