次数付き可換環
↑ ここで、次数の成すモノイドは乗法的に書かれているものとする