記事

タイトルの主張を示します。

任意の可換環 R に対し、R 上の次数付き環構造とアフィンスキーム Spec R への乗法群 G_m の作用が 1 対 1 に対応することを、より一般的な主張からの帰結として導きます。