IDEALS IN MOD-$R$ AND THE $\omega$-RADICAL

Abstract

Let $R$ be an artin algebra, and let mod-$R$ denote the category of finitely presented right $R$-modules. The radical ${\rm rad}={\rm rad}({\rm mod}\mbox{-}R)$ of this category and its finite powers play a major role in the representation theory of $R$. The intersection of these finite powers is denoted ${\rm rad}^\omega$, and the nilpotence of this ideal has been investigated, in $[{\bf 6}$, ${\bf 13}]$ for instance. In $[{/bf 17}]$, arbitrary transfinite powers, ${\rm rad}^\alpha$, of rad were defined and linked to the extent to which morphisms in ${\rm mod}\mbox{-}R$ may be factorised. In particular, it has been shown that if $R$ is an artin algebra, then the transfinite radical, ${\rm rad}^\infty $, the intersection of all ordinal powers of rad, is non-zero if and only if there is a ‘factorisable system’ of morphisms in rad and, in that case, the Krull–Gabriel dimension of ${\rm mod}\mbox{-}R$ equals $\infty$ (that is, is undefined). More precise results on the index of nilpotence of rad for artin algebras were proved in $[{\bf 14}$, ${/bf 20}$, ${/bf 24}\hbox{--}{/bf 26}]$.