Градуированная алгебра: различия между версиями

{{Нет преамбулы}}

== Определение ==

Пусть ''A'' — [[алгебра над кольцом]] ''k'', ''G'' — [[полугруппа]].

 

== Конструкции с градуировками ==

* Если ''A'' — ''G''—градуированная алгебра, а <math>\psi : G\to H</math> — [[гомоморфизм]] полугрупп, тогда ''A'' наделяется ''H''—градуировкой по правилу:

: <math>A_h=\oplus_{g\in G} \{A_g|\psi (g)=h\}</math>

* Кольцо [[многочлен|многочленов]] от одной или нескольких переменных.

* [[Гомология (топология)#Когомологии|Кольцо когомологий]]

* [[Полугрупповая алгебра]] <math>K\left[G\right]</math> — является ''G''—градуированной алгеброй