（未完成記事）次数付き可換環 を考える。 ここで、環 S が f という可逆な元を含んでいて、 f の次数は0ではないとする。 斉次イデアル I について、次数 k の部分を とおくと、 は のイデアルになっている。 一般に、 は I に含まれるイデアルではあるが、…