Efficient Generation of Prime Ideals in Polynomial Rings up to Radical

We call an ideal I of a ring R radically perfect if among all ideals whose radical is equal to the radical of I, the one with the least number of generators has this number of generators equal to the height of I. Let R be a ring and R[X] be the polynomial ring over R. We prove that if R is a strong S-domain of finite Krull dimension and if each nonzero element of R is contained in finitely many maximal ideals of R, then each maximal ideal of R[X] of maximal height is the J _max-radical of an ideal generated by two elements. We also show that if R is a Prüfer domain of finite Krull dimension with coprimely packed set of maximal ideals, then for each maximal ideal M of R, the prime ideal MR[X] of R[X] is radically perfect if and only if R is of dimension one and each maximal ideal of R is the radical of a principal ideal. We then prove that the above conditions on the Prüfer domain R also imply that a power of each finitely generated maximal ideal of R is principal. This result naturally raises the question whether the same conditions on R imply that the Picard group of R is torsion, and we prove this to be so when either R is an almost Dedekind domain or a Prüfer domain with an extra condition imposed on it.     

Partial Skew Polynomial Rings and Goldie Rings

We prove that if R is a semiprime ring and α is a partial action of an infinite cyclic group on R, then R is right Goldie if and only if R[x; α] is right Goldie if and only if R?x; α? is right Goldie, where R[x; α] (R?x; α?) denotes the partial skew (Laurent) polynomial ring over R. In addition, R?x; α? is semiprime while R[x; α] is not necessarily semiprime.     

On Skew Triangular Matrix Rings

For a ring R, endomorphism α of R and positive integer n we define a skew triangular matrix ring T _n (R, α). By using an ideal theory of a skew triangular matrix ring T _n (R, α) we can determine prime, primitive, maximal ideals and radicals of the ring R[x; α]/ ? x ⁿ  ?, for each positive integer n, where R[x; α] is the skew polynomial ring, and ? x ⁿ  ? is the ideal generated by x ⁿ .     

Commutativity of Rings with Constraints Involving a Subset

Suppose that R is an associative ring with identity 1, J(R) the Jacobson radical of R, and N(R) the set of nilpotent elements of R. Let m 1 be a fixed positive integer and R an m-torsion-free ring with identity 1. The main result of the present paper asserts that R is commutative if R satisfies both the conditions(i) [x ^m, y ^m] = 0 for all and(ii) [(xy) ^m + y ^m x ^m, x] = 0 = [(yx) ^m + x ^m y ^m, x], for all This result is also valid if (i) and (ii) are replaced by (i) [x ^m, y ^m] = 0 for all and (ii) [(xy) ^m + y ^m x ^m, x] = 0 = [(yx) ^m + x ^m y ^m, x] for all Other similar commutativity theorems are also discussed.     

Radicals of Skew Polynomial and Skew Laurent Polynomial Rings Over Skew Armendariz Rings

In this note we study radicals of skew polynomial ring R[x; α] and skew Laurent polynomial ring R[x, x ^?1; α], for a skew-Armendariz ring R. In particular, among the other results, we show that for an skew-Armendariz ring R, J(R[x; α]) = N ₀(R[x; α]) = Ni?_*(R)[x; α] and J(R[x, x ^?1; α]) = N ₀(R[x, x ^?1; α]) = Ni?_*(R)[x, x ^?1; α].     

A Question on Strongly Clean Rings

A new characterization of a strongly clean ring is given. And it is proven that if R is a strongly clean ring, then eRe is a strongly clean ring for e ² = e ∈ R, which answers a question of Nicholson (1999 Nicholson , W. K. ( 1999 ). Strongly clean rings and Fitting's lemma . Comm. Algebra 27 ( 8 ): 3583 – 3592 . [CSA] [Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]) in the affirmative.     

Uppers to zero in R[x] and almost principal ideals

Let R be an integral domain with quotient field K and f(x) a polynomial of positive degree in K[x]. In this paper we develop a method for studying almost principal uppers to zero ideals. More precisely, we prove that uppers to zero divisorial ideals of the form I = f(x)K[x] ∩ R[x] are almost principal in the following two cases:

• J, the ideal generated by the leading coefficients of I, satisfies J ^?1 = R.
• I ^?1 as the R[x]-submodule of K(x) is of finite type.

Furthermore we prove that for I = f(x)K[x] ∩ R[x] we have:

• I ^?1 ∩ K[x] = (I: K(x) I).
• If there exists p/q ∈ I ^?1 ? K[x], then (q, f) ≠ 1 in K[x]. If in addition q is irreducible and I is almost principal, then I′ = q(x)K[x] ∩ R[x] is an almost principal upper to zero.

Finally we show that a Schreier domain R is a greatest common divisor domain if and only if every upper to zero in R[x] contains a primitive polynomial.     

A note on rings with McCoy-like properties

According to Nielsen [10 Nielsen, P. P. (2006). Semi-commutativity and the McCoy condition. J. Algebra 298:134–141.[Crossref], [Web of Science ®] , [Google Scholar]], a ring R is called right McCoy if for every nonzero f(x),g(x) in the polynomial ring R[x], f(x)g(x) = 0 implies that there exists a nonzero s in R such that f(x)s = 0. In this work, we state two notes on rings with McCoy-like conditions.     

A Characterization of Generalized Derivations on Prime Rings

Let R be a noncommutative prime ring, U be the left Utumi quotient ring of R, and k, m, n, r be fixed positive integers. If there exist a generalized derivation G and a derivation g (which is independent of G) of R such that [G(x^m)xⁿ + xⁿg(x^m), x^r]_k = 0, for all x ∈ R, then there exists a ∈ U such that G(x) = ax, for all x ∈ R. As a consequence of the result in the present article, one may obtain Theorem 1 in Demir and Argaç [10 Demir, Ç., Argaç, N. (2010). A result on generalized derivations with Engel conditions on one-sided ideals. J. Korean Math. Soc. 47(3):483–494.[Crossref], [Web of Science ®] , [Google Scholar]].     

Bezout Rings,Polynomials, and Distributivity

Let A be a ring, be an injective endomorphism of A, and let be the right skew polynomial ring. If all right annihilator ideals of A are ideals, then R is a right Bezout ring is a right Rickartian right Bezout ring, (e)=e for every central idempotent eA, and the element (a) is invertible in A for every regular aA. If A is strongly regular and n 2, then R/x ⁿ R is a right Bezout ring R/x ⁿ R is a right distributive ring R/x ⁿ R is a right invariant ring (e)=e for every central idempotent eA. The ring R/x ² R is right distributive R/x ⁿ R is right distributive for every positive integer n A is right or left Rickartian and right distributive, (e)=e for every central idempotent eA and the (a) is invertible in A for every regular aA. If A is a ring which is a finitely generated module over its center, then A[x] is a right Bezout ring A[x]/x ² A[x] is a right Bezout ring A is a regular ring.     

Ore Extensions of Quasi-Baer Rings

We first study the quasi-Baerness of R[x; σ, δ] over a quasi-Baer ring R when σ is an automorphism of R, obtaining an affirmative result. We next show that if R is a right principally quasi-Baer ring and σ is an automorphism of R with σ(e) = e for any left semicentral idempotent e ∈ R, then R[x; σ, δ] is right principally quasi-Baer. As a corollary, we have that R[x; δ] over a right principally quasi-Baer ring R is right principally quasi-Baer. Finally, we give conditions under which the quasi-Baernesses (right principal quasi-Baernesses) of R and R[x; σ, δ] are equivalent.     

Polynomial Rings Over Weak Armendariz Rings need not be Weak Armendariz

It is proved that there exists a weak Armendriz ring R over which the polynomial ring R[x] is not weak Armendariz. This answers an open question of Liu and Zhao in 2006 in the negative, and eliminates the misunderstanding of the question having a positive solution by Hashemi in 2008.     

Goldie Conditions for Ore Extensions over Semiprime Rings

Let R be a ring, σ an injective endomorphism of R and δ a σ-derivation of R. We prove that if R is semiprime left Goldie then the same holds for the Ore extension R[x;σ,δ] and both rings have the same left uniform dimension. Presented by S. Montgomery Mathematics Subject Classification (2000) 16S90. Jerzy Matczuk: Supported by the Flemish–Polish bilateral agreement BIL 01/31.     

Prime Rings with Involution Equipped with Some New Product

Let R be a ring with involution *. We consider R as a ring equipped with a new product r s = rs + sr^*. The relationship between (ordinary) ideals of R and right ideals of R with respect to the product is studied.AMS Subject Classification (2000): 16W10, 16D25     

Topological Rings of Quotients and Rings Without Open Left Ideals

Simple locally compact rings without open left ideals were considered in [13] and general locally compact rings without open left ideals were studied extensively in [5] and [6]. We remove the hypothesis of local compactness and consider topological rings A without open left ideals but containing an open subring R. In section 4 we show that under these conditions A is completely determined by R. More precisely A can be identified with the topological ring of quotients C(R) introduced in [8]. As an R-module _RA is topologically isomorphic to I_*(_RR), the topological injective hull of _RR. The last statement was proved in [6] for A locally compact and R compact. Section 5 gives a characterization of those linearly topologized rings R that can be openly embedded into a ring A without open left ideals. In particular we shall show that the open left ideals form an idempotent ideal filter with quotient ring A. In section 6 we consider the class ? of all topological rings that can be openly embedded into a topological ring without open left ideals. If we restrict our attention to linearly topologized rings, then ? is Morita-invariant. In section 2 we construct a topological ring of quotients Q_*(R) and prove that it coincides with the ring C(R) of [8].     

Polynomials Contained in a Finite Number of Maximal Ideals

Abstract

Let R[X] be a polynomial ring in one variable over a commutative ring R. If (R,?) is a local ring then any Weierstrass polynomial in R[X] is contained only in the maximal ideal (?,X) of R[X]. We generalise this property of Weierstrass polynomials and investigate properties of polynomials contained in a finite number of maximal ideals in R[X].