<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
When are the grades of rings attached to symbolic powers and to form ideals finitely generated?
<|assistant|>
The grades of rings attached to symbolic powers and to form ideals are finitely generated when the ring is Noetherian and the ideal is generated by a finite number of elements. In other words, if R is a Noetherian ring and I is an ideal of R generated by a finite number of elements, then the symbolic powers and the form ideals of I have finite grades. This result is known as the Hilbert-Samuel theorem.