Purity and Gorenstein filtered rings. (Q2839631)

The main aim of this manuscript is to define a notion of `pure length', denoted by \(\text{pl}(\cdot)\), and to generalize a theorem of \textit{J.-E. Björk} and \textit{E. K. Ekström} [in Operator algebras, unitary representations, enveloping algebras, and invariant theory, Prog. Math. 92, 425-448 (1990; Zbl 0733.16016), Theorem 1.1]. The author's attempt succeeds and he gets a good filtration of a filtered module \(M\) with \(\text{pl}(M)=\text{pl}(\text{gr}_{\mathcal F}M)\). When \(\text{pl}(M)=1\), \(M\) is pure and the theorem was proved by \textit{J. E. Björk} and \textit{E. K. Ekström} [loc. cit.]. The proposed new notion `pure length' works well.