Monogeny dimension relative to a fixed uniform module. (Q931658)

The monogeny dimension of a module \(A\) relative to a fixed uniform module \(U\) is defined as: \(\text{m-}\dim_U(A)=\sup\{i\in\mathbb{N}_0\mid\exists\) morphisms \(f\colon U^i\to A\), \(g\colon A\to U^i\) with \(gf\) a monomorphism\}. Some properties of this invariant are indicated. In particular: 1) \(\text{m-}\dim_U(A\oplus B)=\text{m-}\dim_U(A)+\text{m-}\dim_U(B)\) for every modules \(A\) and \(B\); 2) If \(A\) and \(B\) are modules of finite Goldie dimension and of the same monogeny class (\([A]_m=[B]_m\)), then \(\text{m-}\dim_U(A)=\text{m-}\dim_U(B)\) for every uniform module \(U\). The dual notions are defined using couniform modules and epigeny classes. The dual statements of 1) and 2) are proved. A complete description of the monoid of all isomorphism classes of serial modules of finite Goldie dimension is given.