Classification of modules with two distinguished pure submodules and bounded quotients (Q2563743)

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
Classification of modules with two distinguished pure submodules and bounded quotients
scientific article

    Statements

    Classification of modules with two distinguished pure submodules and bounded quotients (English)
    Let \(R\) be a principal ideal domain (PID). A \(cR_2\)-module \({\mathbf F}=(F,F_0,F_1)\) consists of a free module \(F\) and pure submodules \(F_0\), \(F_1\) such that \(F_0\cap F_1=0\) and \(mF\subseteq F_0\oplus F_1\) for some \(0\neq m\in R\). The rank of \({\mathbf F}\) is that of \(F\). The main result (Theorem 1.4) asserts that any \(cR_2\)-module \({\mathbf F}=(F,F_0,F_1)\) over a PID \(R\) is a direct sum of \(cR_2\)-modules of rank at most 2. Moreover, the indecomposable \(cR_2\)-modules \(\mathbf F\) are of the form \((0,0,0)\), \((R,0,0)\), \((R,R,0)\), \((R,0,R)\) and \(F=Re\oplus Rf\oplus R{e+rf\over s}\) for some \(r,s\in R\) with \((r,s)=1\), where \(s\) is a non-unit of \(R\), \(F_0=Re\), \(F_1=Rf\).
    principal ideal domains
    free modules
    pure submodules
    direct sum of \(cR_ 2\)-modules
    indecomposable \(cR_ 2\)-modules

    Identifiers