Compatible ideals and radicals of Ore extensions. (Q851559)

From MaRDI portal
Revision as of 14:45, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Compatible ideals and radicals of Ore extensions.
scientific article

    Statements

    Compatible ideals and radicals of Ore extensions. (English)
    0 references
    0 references
    21 November 2006
    0 references
    Rings considered in this paper are associative with identity. For a given ring \(R\), \(R[x;\alpha,\delta]\) denotes the Ore extension of \(R\) and \(R[\![x;\alpha]\!]\) stands for the skew power series ring, where \(\alpha\) is an endomorphism and \(\delta\) an \(\alpha\)-derivation of \(R\), that is, \(\delta\) is an additive map such that \(\delta(ab)=\delta(a)b+\alpha(a)\delta(b)\) for \(a,b\in R\). \(P(R)\) and \(N_r(R)\) denote the prime radical and the upper nil radical of \(R\), respectively. A ring \(R\) is called strongly prime if \(R\) is prime with no nonzero nil ideals. An ideal \(P\) of \(R\) is strongly prime if \(R/P\) is a strongly prime ring. All (strongly) prime ideals are taken to be proper. An ideal \(P\) of a ring \(R\) is called minimal (strongly) prime if \(P\) is minimal among (strongly) prime ideals of \(R\). An ideal \(P\) of \(R\) is completely prime (completely semiprime) if \(ab\in P\) implies \(a\in P\) or \(b\in P\) (\(a^2\in P\) implies \(a\in P\)) for \(a,b\in R\). For an endomorphism \(\alpha\) of a ring \(R\), an \(\alpha\)-ideal \(I\) is called an \(\alpha\)-rigid ideal if \(a\alpha(a)\in I\) implies \(a\in I\) for \(a\in R\). The authors call an ideal \(I\) of \(R\) an \(\alpha\)-compatible ideal of \(R\) if \(ab\in I\) if and only if \(a\alpha(a)\in I\) for each \(a,b\in R\). They call \(I\) a \(\delta\)-compatible ideal of \(R\) if \(ab\in I\) implies \(a\delta(a)\in I\) for each \(a,b\in R\). \(I\) is said to be an \((\alpha,\delta)\)-compatible ideal of \(R\) if \(I\) is both, \(\alpha\)-compatible and \(\delta\)-compatible. The authors give several necessary and sufficient conditions which assure that \(I\) is an \(\alpha\)-rigid ideal (\(\delta\)-ideal) of \(R\). In particular, they show that \(I\) is an \(\alpha\)-rigid ideal of \(R\) if and only if \(I\) is \(\alpha\)-compatible and completely semiprime. Also, they give examples of \(\alpha\)-compatible ideals which are not \(\alpha\)-rigid. They study connections between \((\alpha,\delta)\)-compatible ideals of \(R\) and related ideals of \(R[x;\alpha,\delta]\) and \(R[\![x;\alpha]\!]\). Moreover, they investigate the relationship of \(P(R)\) and \(N_r(R)\) of \(R\) with the prime radical and the upper nil radical of \(R[x;\alpha,\delta]\) and \(R[\![x;\alpha]\!]\). They show, in particular, that if \(I\) is a (semi) prime \((\alpha,\delta)\)-compatible ideal of \(R\), then \(I[x;\alpha,\delta]\) is a (semi) prime ideal of \(R[x;\alpha,\delta]\). Thus, if each mnimal prime ideal of \(R\) is \((\alpha,\delta)\)-compatible, then \(P(R[x;\alpha,\delta])\subseteq P(R)[x;\alpha,\delta]\). They prove that if \(P\) is a completely (semi) prime \((\alpha,\delta) \)-compatible ideal of \(R\), then \(P[x;\alpha,\delta]\) is a completely (semi) prime ideal of \(R[x;\alpha,\delta]\). From this the authors deduce the result of Hong, Kwak and Rizvi which states that if \(P(R)\) is an \(\alpha\)-rigid \(\delta\)-ideal of \(R\), then \(P(R[x;\alpha,\delta])\subseteq P(R)[x;\alpha,\delta]\). The authors also show that if \(P\) is a strongly prime \((\alpha,\delta)\)-compatible ideal of \(R\), then \(P[x;\alpha,\delta]\) is a strongly prime ideal of \(R[x;\alpha,\delta]\). Consequently, if each minimal strongly prime ideal of \(R\) is \((\alpha,\delta) \)-compatible, then \(N_r(R[x;\alpha,\delta])\subseteq N_r(R)[x;\alpha,\delta]\). This allows them to obtain the result of Hong, Kwak and Rizvi which states that if \(N_r(R)\) is an \(\alpha\)-rigid \(\delta\)-ideal of \(R\), then \(N_r(R[x;\alpha,\delta])\subseteq N_r(R)[x;\alpha,\delta]\). Parallel results to the above are also proved for \(R[\![x;\alpha]\!]\).
    0 references
    alpha-compatible rings
    0 references
    alpha-compatible ideals
    0 references
    Ore extensions
    0 references
    skew power series
    0 references
    alpha-rigid rings
    0 references
    prime radicals
    0 references
    upper nil radicals
    0 references
    endomorphisms
    0 references
    derivations
    0 references
    strongly prime rings
    0 references
    minimal prime ideals
    0 references
    completely prime ideals
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references