次数付き可換環
ナビゲーションに移動
検索に移動
抽象代数学における次数付き可換環(じすうつきかかんかん、テンプレート:Lang-en-short; 次数付き交換環)あるいは歪可換環 (skew-commutative ring) とは、次数付き環であって、次数付きの意味で可換となるものを言う。すなわち、任意の斉次元 テンプレート:Mvar が次数付き交換関係(歪交換関係) を満足する。ここに、テンプレート:Math はそれぞれ テンプレート:Mvar の次数であるテンプレート:Efn。
(次数付きでない通常の)可換環は自明な次数付けのもとで次数付き可換環の基本的な例となる。外積代数は、通常の意味で可換とならない、次数付き可換環の例を与える。
コホモロジー上で定義されるカップ積は歪交換関係を満足するから、コホモロジー環は次数付き可換環である。実は多くの次数付き可換環の例が代数的位相幾何学およびホモロジー代数から生じる。