質問: 次数付き環Rの斉次素イデアルpによる局所化R_pは 自然に次数付けられる、と学びましたが どのように次数を決めればよいのですか。
回答: 斉次元fとg∈R\pに対し deg(f/g)=deg f - deg g によって次数付けされます。