text: Тогда мы имеем H S A / ( f ) ( t ) = ( 1 − t d ) H S A ( t ) . {\displaystyle HS_{A/(f)}(t)=(1-t^{d})\,HS_{A}(t)\,.} Это следует из аддитивности для точной последовательности 0 → A → f A → A / f → 0 , {\displaystyle 0\;\rightarrow \;A^{}\;{\xrightarrow {f}}\;A\;\rightarrow \;A/f\rightarrow \;0\,,} где стрелка с буквой f — это умножение на f, и A {\displaystyle A^{}} — это градуированный модуль, полученный из A сдвигом степеней на d, так что умножение на f имеет степень 0.