Градуированный модуль
Градуи́рованный мо́дуль, модуль , представленный в виде прямой суммы своих подмодулей (индекс пробегает все целые числа; некоторые из подмодулей могут быть тривиальными). Модуль называется положительно градуированным, если для всех , и отрицательно градуированным, если для всех . Элементы из , отличные от нуля, называются однородными степени . Подмодуль градуированного модуля называется однородным, если он разлагается в прямую сумму подмодулей таких, что для любого целого . Тем самым также оказывается градуированным модулем. Если – однородный подмодуль градуированного модуля , то фактормодуль также является градуированным модулем: , где – образ подмодуля при естественном гомоморфизме , . Градуированные модули находят широкое применение в гомологической алгебре.