On quasi-Armendariz modules. (Q946829)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On quasi-Armendariz modules.
scientific article

    Statements

    On quasi-Armendariz modules. (English)
    0 references
    0 references
    0 references
    25 September 2008
    0 references
    Let \(R\) be a ring with 1 and \(\alpha\) an endomorphism of \(R\) with \(\alpha(1)=1\). For a module \(M_R\), let \(M[x;\alpha]=\{\sum_{i=0}^s m_ix^i\mid s\geq 0,\;m_i\in M\}\). Then \(M[x;\alpha]\) is a module over the skew polynomial ring \(R[x;\alpha]\) with \((\sum_{i=0}^s m_ix^i)(\sum_{j=0}^t a_jx^j)=\sum_{k=0}^{s+t}(\sum_{i+j=k} m_i\alpha^i(a_j))x^k\) and \(\sum m_ix^i+\sum n_ix^i=\sum (m_i+n_i)x^i\) for \(\sum m_ix^i\) and \(\sum n_ix^i\in M[x;\alpha]\) and \(\sum a_jx^j\in R[x;\alpha]\). A module \(M_R\) is called \(\alpha\)-quasi-Armendariz if (i) for any \(m\in M\) and \(a\in R\), \(ma=0\) if and only if \(m\alpha(a)=0\) and (ii) for any \(m(x)=\sum_{i=0}^s m_ix^i\in M[x;\alpha]\) and \(f(x)=\sum_{j=0}^t a_jx^j\in R[x;\alpha]\), \(m(x)R[x;\alpha]f(x)=0\) implies that \(m_iR\alpha^i(a_j)=0\) for all \(i,j\). A quasi-Armendariz module \(M_R\) is 1-quasi-Armendariz. A module \(M_R\) is called principally quasi-Baer module (p.q.-Baer) if for any \(m\in M\), the right annihilator of \(mR\) is \(eR\) where \(e^2=e\in R\). Then the authors show that for an \(\alpha\)-quasi-Armendariz module \(M_R\), \(M_R\) is a p.q.-Baer module if and only if so is \(M[x;\alpha]_{R[x;\alpha]}\). A module \(M_R\) is called reduced if, for any \(m\in M\) and \(a\in R\), \(ma=0\) implies \(mR\cap Ma=0\). A reduced module is characterized in terms of \(M[x;1]_{R[x;1]}\). Moreover, let \(_RM_R\) be a bimodule, the trivial extension of \(R\) by \(M\) is the ring \(T(R,M)=R\oplus M\) with the componentwise addition and \((r_1,m_1)(r_2,m_2)=(r_1r_2,r_1m_2+m_1r_2)\). It is shown that if \(T(R,M)\) is a quasi-Armendariz ring, then \(M\) is a quasi-Armendariz left and right \(R\)-module. A sufficient condition is also given for \(T(R,M)\) being a quasi-Armendariz ring.
    0 references
    0 references
    quasi-Armendariz modules
    0 references
    quasi-Baer modules
    0 references
    pp-modules
    0 references
    skew polynomial rings
    0 references
    trivial extensions
    0 references
    quasi-Armendariz rings
    0 references

    Identifiers