Left Annihilators of Commutators with Derivation on Right Ideals

Abstract

Let R be a prime ring of characteristic different from 2, d a non-zero derivation of R, I a non-zero right ideal of R, a ∈ R, S ₄(x ₁,…, x ₄) the standard polynomial in 4 variables. Suppose that, for any x, y ∈ I, a[d([x, y]), [x, y]] = 0. If S ₄(I, I, I, I)I ≠ 0, then aI = ad(I) = 0.     

Some Remarks on the Graph Γ I (R)

Let R be a commutative ring with nonzero identity and Z(R) its set of zero-divisors. The zero-divisor graph of R is Γ(R), with vertices Z(R)?{0} and distinct vertices x and y are adjacent if and only if xy = 0. For a proper ideal I of R, the ideal-based zero-divisor graph of R is Γ _I (R), with vertices {x ∈ R?I | xy ∈ I for some y ∈ R?I} and distinct vertices x and y are adjacent if and only if xy ∈ I. In this article, we study the relationship between the two graphs Γ(R) and Γ _I (R). We also determine when Γ _I (R) is either a complete graph or a complete bipartite graph and investigate when Γ _I (R) ? Γ(S) for some commutative ring S.     

Generic Initial Ideals,Graded Betti Numbers,and k-Lefschetz Properties

We introduce the k-strong Lefschetz property and the k-weak Lefschetz property for graded Artinian K-algebras, which are generalizations of the Lefschetz properties. The main results are:

1. Let I be an ideal of R = K[x ₁, x ₂,…, x _n ] whose quotient ring R/I has the n-SLP. Suppose that all kth differences of the Hilbert function of R/I are quasi-symmetric. Then the generic initial ideal of I is the unique almost revlex ideal with the same Hilbert function as R/I.

2. We give a sharp upper bound on the graded Betti numbers of Artinian K-algebras with the k-WLP and a fixed Hilbert function.     

On the Comparison of Rees's Valuations Over a Quasi-Unmixed Local Ring

In this paper, we will show that if (R, 𝔪) is a quasi-unmixed local ring, I an 𝔪-primary ideal of R and ?𝒱(I) is the set of Rees valuations of I, then the number of minimal prime ideals in the 𝔪-adic completion of R equals exactly the number of equivalence classes on the set ?𝒱(I) under the equivalence relation ～defined by: ν₁ ～ ν₂ if there exist a constant c ≥ 1 such that for all x ∈ R, ν₁(x) ≤ cν₂(x) and ν₂(x) ≤ cν₁(x).     

Pure ℓ-Ideals in Lattice-Ordered Rings#

An ?-ideal I of a commutative lattice-ordered ring R with positive identity element is called a pure ?-ideal if R  =  I  + ?( x ) for each x  ∈  I , where ?(x) is the ?-annihilator of x in R . In this article, we give some results on pure ?-ideals and study the ?-ideal structure of a commutative lattice-ordered ring with positive identity element by using pure ?-ideals.     

Zero-Divisor Graph with Respect to an Ideal

ABSTRACT

Let R be a commutative ring with nonzero identity and let I be an ideal of R. The zero-divisor graph of R with respect to I, denoted by Γ _I (R), is the graph whose vertices are the set {x ? R\I | xy ? I for some y ? R\I} with distinct vertices x and y adjacent if and only if xy ? I. In the case I = 0, Γ₀(R), denoted by Γ(R), is the zero-divisor graph which has well known results in the literature. In this article we explore the relationship between Γ _I (R) ? Γ _J (S) and Γ(R/I) ? Γ(S/J). We also discuss when Γ _I (R) is bipartite. Finally we give some results on the subgraphs and the parameters of Γ _I (R).     

Annihilator Ideal-Based Zero-Divisor Graphs Over Multiplication Modules

For a commutative ring R with identity, an ideal-based zero-divisor graph, denoted by Γ _I (R), is the graph whose vertices are {x ∈ R?I | xy ∈ I for some y ∈ R?I}, and two distinct vertices x and y are adjacent if and only if xy ∈ I. In this article, we investigate an annihilator ideal-based zero-divisor graph by replacing the ideal I with the annihilator ideal Ann(M) for a multiplication R-module M. Based on the above-mentioned definition, we examine some properties of an R-module over a von Neumann regular ring, and the cardinality of an R-module associated with Γ _Ann(M)(R).     

Betti numbers of determinantal ideals

Let R=k[x₁,…,x_n] be a polynomial ring and let IR be a graded ideal. In [T. Römer, Betti numbers and shifts in minimal graded free resolutions, arXiv: AC/070119], Römer asked whether under the Cohen–Macaulay assumption the ith Betti number β_i(R/I) can be bounded above by a function of the maximal shifts in the minimal graded free R-resolution of R/I as well as bounded below by a function of the minimal shifts. The goal of this paper is to establish such bounds for graded Cohen–Macaulay algebras k[x₁,…,x_n]/I when I is a standard determinantal ideal of arbitrary codimension. We also discuss other examples as well as when these bounds are sharp.     

On Duality in the Homology Algebra of a Koszul Complex

The homology algebra of the Koszul complex K(x ₁, ..., x _n ; R) of a Gorenstein local ring R has Poincare duality if the ideal I = (x ₁, ..., x _n ) of R is strongly Cohen-Macaulay (i.e., all homology modules of the Koszul complex are Cohen-Macaulay) and under the assumption that dim R - grade I ⩽ 4 the converse is also true.__________Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 9, No. 1, pp. 77–81, 2003.     

On n-Absorbing Ideals of Commutative Rings

Let R be a commutative ring with 1 ≠ 0 and n a positive integer. In this article, we study two generalizations of a prime ideal. A proper ideal I of R is called an n-absorbing (resp., strongly n-absorbing) ideal if whenever x ₁…x _n+1 ∈ I for x ₁,…, x _n+1 ∈ R (resp., I ₁…I _n+1 ? I for ideals I ₁,…, I _n+1 of R), then there are n of the x _i 's (resp., n of the I _i 's) whose product is in I. We investigate n-absorbing and strongly n-absorbing ideals, and we conjecture that these two concepts are equivalent. In particular, we study the stability of n-absorbing ideals with respect to various ring-theoretic constructions and study n-absorbing ideals in several classes of commutative rings. For example, in a Noetherian ring every proper ideal is an n-absorbing ideal for some positive integer n, and in a Prüfer domain, an ideal is an n-absorbing ideal for some positive integer n if and only if it is a product of prime ideals.     

Skew Derivations and Engel Conditions

It is known that for a nonzero derivation d of a prime ring R, if a nonzero ideal I of R satisfies the Engel-type identity [[…[[d(x ^{k ₀} ), x ^{k ₁} ], x ^{k ₂} ],…], x ^{k _n} ], then R is commutative. Here we extend this result to a skew derivation of R for a Lie ideal I, which has an immediate corollary that replaces d by an automorphism of R. A related result in two variables is obtained for d a (θ, ?)-derivation.     

Generalized Derivations with Engel Conditions on One-Sided Ideals

Let R be a noncommutative prime ring and I a nonzero left ideal of R. Let g be a generalized derivation of R such that [g(r ^k ), r ^k ] _n  = 0 for all r ∈ I, where k, n are fixed positive integers. Then there exists c ∈ U, the left Utumi quotient ring of R, such that g(x) = xc and I(c ? α) = 0 for a suitable α ∈ C. In particular we have that g(x) = α x, for all x ∈ I.     

Generalized Derivations with Nilpotent Values on Semiprime Rings

Let R be a semiprime ring, RF be its left Martindale quotient ring and I be an essential ideal of R. Then every generalized derivation μ defined on I can be uniquely extended to a generalized derivation of RE. Furthermore, if there exists a fixed positive integer n such that μ(x)^n = 0 for all x∈I, then μ=0.     

Jacobson radical of skew polynomial rings and skew group rings

LetR be a ring and σ an automorphism ofR. We prove the following results: (i)J(R _σ[x])={Σ_ir_i x ⁱ:r₀∈I∩J(R]), r _i∈I for alliε 1} whereI↪ {r∈R:rx ∈J(R _Σ[x])|s= (ii)J(R _σ<x>)=(J(R _σ<x>)∩R)_σ<x>. As an application of the second result we prove that ifG is a solvable group such thatG andR, + have disjoint torsions thenJ(R)=0 impliesJ(R(G))=0.     

On Primitive Ideals in Polynomial Rings over Nil Rings

Let R be a nil ring. We prove that primitive ideals in the polynomial ring R[x] in one indeterminate over R are of the form I[x] for some ideals I of R. Presented by S. MontgomeryMathematics Subject Classifications (2000) 16N40, 16N20, 16N60, 16D25.Agata Smoktunowicz: Current address: Institute of Mathematics, Polish Academy of Sciences, 00-956 Warsaw 10, niadeckich 8, P.O. Box 21, Poland.     

Dominating sets of the comaximal and ideal-based zero-divisor graphs of commutative rings

Abstract

Let R be a commutative ring with nonzero identity, and let I be an ideal of R. The ideal-based zero-divisor graph of R, denoted by Γ_I (R), is the graph whose vertices are the set {x ∈ R \ I| xy ∈ I for some y∈ R \ I} and two distinct vertices x and y are adjacent if and only if xy ∈ I. Define the comaximal graph of R, denoted by CG(R), to be a graph whose vertices are the elements of R, where two distinct vertices a and b are adjacent if and only if Ra+Rb=R. A nonempty set S ? V of a graph G=(V, E) is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this paper is to study the dominating sets and domination number of Γ_I (R) and the comaximal graph CG₂(R) \ J (R) (or CGJ (R) for short) where CG₂(R) is the subgraph of CG(R) induced on the nonunit elements of R and J (R) is the Jacobson radical of R.     

On simple factorization of invertible matrices

Let I be an ideal of a ring R. We say that R is a generalized I-stable ring provided that aR+bR=R with a?∈?1+I,b?∈?R implies that there exists a y?∈?R such that a+by?∈?K(R), where K(R)={x?∈?R?∣?? s, t?∈?R such that sxt=1}. Let R be a generalized I-stable ring. Then every A?∈?GL_n (I) is the product of 13n?12 simple matrices. Furthermore, we prove that A is the product of n simple matrices if I has stable rank one. This generalizes the results of Vaserstein and Wheland on rings having stable rank one.     

A nilregular element property

An element a of a commutative ring R is nilregular if and only if x is nilpotent whenever ax is nilpotent. More generally, an ideal I of R is nilregular if and only if x is nilpotent whenever ax is nilpotent for all a ∈ I . We give a direct proof that if R is Noetherian, then every nilregular ideal contains a nilregular element. In constructive mathematics, this proof can then be seen as an algorithm to produce nilregular elements of nilregular ideals whenever R is coherent, Noetherian, and discrete. As an application, we give a constructive proof of the Eisenbud-Evans-Storch theorem that every algebraic set in n-dimensional affine space is the intersection of n hypersurfaces.Received: 6 September 2004     

Free Pairs of Bicyclic Units in the Integral Group Ring of the Dihedral Group

Hirano studied the quasi-Armendariz property of rings, and then this concept was generalized by some authors, defining quasi-Armendariz property for skew polynomial rings and monoid rings. In this article, we consider unified approach to the quasi-Armendariz property of skew power series rings and skew polynomial rings by considering the quasi-Armendariz condition in mixed extension ring [R; I][x; σ], introducing the concept of so-called (σ, I)-quasi Armendariz ring, where R is an associative ring equipped with an endomorphism σ and I is an σ-stable ideal of R. We study the ring-theoretical properties of (σ, I)-quasi Armendariz rings, and we obtain various necessary or sufficient conditions for a ring to be (σ, I)-quasi Armendariz. Constructing various examples, we classify how the (σ, I)-quasi Armendariz property behaves under various ring extensions. Furthermore, we show that a number of interesting properties of an (σ, I)-quasi Armendariz ring R such as reflexive and quasi-Baer property transfer to its mixed extension ring and vice versa. In this way, we extend the well-known results about quasi-Armendariz property in ordinary polynomial rings and skew polynomial rings for this class of mixed extensions. We pay also a particular attention to quasi-Gaussian rings.