Градуированная алгебра
Градуи́рованная а́лгебра, алгебра , аддитивная группа которой представлена в виде (слабой) прямой суммы групп , , причём для любых , . Таким образом, аддитивная группа градуированной алгебры (рассматриваемая как модуль над кольцом целых чисел) есть положительно градуированный модуль. Примером градуированной алгебры может служить алгебра многочленов над полем , где – подпространство, порождённое одночленами степени (). Возможно более общее определение градуированной алгебры как такой алгебры, аддитивная группа которой представляется в виде прямой суммы групп , где пробегает некоторую коммутативную полугруппу и для любых . С понятием градуированной алгебры тесно связано понятие фильтрованной алгебры. Действительно, на каждой градуированной алгебре естественным образом определяется возрастающая фильтрация:Обратно, если – фильтрованная алгебра , ), то определяют градуированную алгебру (, ), которую называют градуированной алгеброй, ассоциированной с . Аналогично определяется градуированное кольцо.