A result concerning nilpotent values with generalized skew derivations on Lie ideals

ABSTRACT

Let n≥1 be a fixed integer, R a prime ring with its right Martindale quotient ring Q, C the extended centroid, and L a non-central Lie ideal of R. If F is a generalized skew derivation of R such that (F(x)F(y)?yx)ⁿ = 0 for all x,y∈L, then char(R) = 2 and R?M₂(C), the ring of 2×2 matrices over C.     

Engel-Type Conditions Involving Two Generalized Skew Derivations in Prime Rings

Let ? be a prime ring of characteristic different from 2, 𝒬_r the right Martindale quotient ring of ?, 𝒞 the extended centroid of ?, F, G two generalized skew derivations of ?, and k ≥ 1 be a fixed integer. If [F(r), r]_kr ? r[G(r), r]_k = 0 for all r ∈ ?, then there exist a ∈ 𝒬_r and λ ∈ 𝒞 such that F(x) = xa and G(x) = (a + λ)x, for all x ∈ ?.     

Vanishing Derivations and Co-Centralizing Generalized Derivations on Multilinear Polynomials in Prime Rings

Let R be a noncommutative prime ring of characteristic different from 2 with Utumi quotient ring U and extended centroid C, and f(x₁,…, x_n) be a multilinear polynomial over C, which is not central valued on R. Suppose that F and G are two generalized derivations of R and d is a nonzero derivation of R such that d(F(f(r))f(r) ? f(r)G(f(r))) = 0 for all r = (r₁,…, r_n) ∈ Rⁿ, then one of the following holds:

1. There exist a, p, q, c ∈ U and λ ∈C such that F(x) = ax + xp + λx, G(x) = px + xq and d(x) = [c, x] for all x ∈ R, with [c, a ? q] = 0 and f(x₁,…, x_n)² is central valued on R;

2. There exists a ∈ U such that F(x) = xa and G(x) = ax for all x ∈ R;

3. There exist a, b, c ∈ U and λ ∈C such that F(x) = λx + xa ? bx, G(x) = ax + xb and d(x) = [c, x] for all x ∈ R, with b + αc ∈ C for some α ∈C;

4. R satisfies s₄ and there exist a, b ∈ U and λ ∈C such that F(x) = λx + xa ? bx and G(x) = ax + xb for all x ∈ R;

5. There exist a′, b, c ∈ U and δ a derivation of R such that F(x) = a′x + xb ? δ(x), G(x) = bx + δ(x) and d(x) = [c, x] for all x ∈ R, with [c, a′] = 0 and f(x₁,…, x_n)² is central valued on R.

     

An Annihilator Condition with Generalized Derivations on Multilinear Polynomials

Let R be a non-commutative prime ring of characteristic different from 2, U its right Utumi quotient ring, C its extended centroid, F a generalized derivation on R, and f(x ₁,…, x _n ) a noncentral multilinear polynomial over C. If there exists a ∈ R such that, for all r ₁,…, r _n  ∈ R, a[F ²(f(r ₁,…, r _n )), f(r ₁,…, r _n )] = 0, then one of the following statements hold: 1. a = 0;

2. There exists λ ∈C such that F(x) = λx, for all x ∈ R;

3. There exists c ∈ U such that F(x) = cx, for all x ∈ R, with c ² ∈ C;

4. There exists c ∈ U such that F(x) = xc, for all x ∈ R, with c ² ∈ C.

     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

Group Laws [x,y −1] ≡ u(x,y) and Varietal Properties

Let F = ?x, y? be a free group. It is known that the commutator [x, y ^?1] cannot be expressed in terms of basic commutators, in particular in terms of Engel commutators. We show that the laws imposing such an expression define specific varietal properties. For a property 𝒫 we consider a subset U(𝒫) ? F such that every law of the form [x, y ^?1] ≡ u, u ∈ U(𝒫) provides the varietal property 𝒫. For example, we show that each subnormal subgroup is normal in every group of a variety 𝔙 if and only if 𝔙 satisfies a law of the form [x, y ^?1] ≡ u, where u ∈ [F′, ?x?].     

Coordinates of R[x,y]: Constructions and Classifications

Let R be a PID. We construct and classify all coordinates of R[x, y] of the form p ₂ y + Q ₂(p ₁ x + Q ₁(y)) with p ₁, p ₂ ∈ qt(R) and Q ₁, Q ₂ ∈ qt(R)[y]. From this construction (with R = K[z]) we obtain nontame automorphisms σ of K[x, y, z] (where K is a field of characteristic 0) such that the subgroup generated by σ and the affine automorphisms contains all tame automorphisms.     

Range-Inclusive Maps in Rings with Idempotents

Let 𝒜 be a ring, let ? be an 𝒜-bimodule, and let 𝒞 be the center of ?. A map F:𝒜 → ? is said to be range-inclusive if [F(x), 𝒜] ? [x, ?] for every x ∈ 𝒜. We show that if 𝒜 contains idempotents satisfying certain technical conditions (which we call wide idempotents), then every range-inclusive additive map F:𝒜 → ? is of the form F(x) = λx + μ(x) for some λ ∈ 𝒞 and μ:𝒜 → 𝒞. As a corollary we show that if 𝒜 is a prime ring containing an idempotent different from 0 and 1, then every range-inclusive additive map from 𝒜 into itself is commuting (i.e., [F(x), x] = 0 for every x ∈ 𝒜).     

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.     

Subsets with Generalized Derivations Having Nilpotent Values on Lie Ideals

Let R be a prime ring, with no nonzero nil right ideal, Q the two-sided Martindale quotient ring of R, F a generalized derivation of R, L a noncommutative Lie ideal of R, and b ∈ Q. If, for any u, w ∈ L, there exists n = n(u, w) ≥1 such that (F(uw) ? bwu)ⁿ = 0, then one of the following statements holds:

1. F = 0 and b = 0;

2. R ? M₂(K), the ring of 2 × 2 matrices over a field K, b² = 0, and F(x) = ?bx, for all x ∈ R.

     

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.     

Triple Homomorphisms of Perfect Lie Algebras

Let L, L′ be Lie algebras over a commutative ring R. A R-linear mapping f: L → L′ is called a triple homomorphism from L to L′ if f([x, [y, z]]) = [f(x), [f(y), f(z)]] for all x, y, z ∈ L. It is clear that homomorphisms, anti-homomorphisms, and sums of homomorphisms and anti-homomorphisms are all triple homomorphisms. We proved that, under certain assumptions, these are all triple homomorphisms.     

An Engel condition with skew derivations

Let R be a prime ring and set [x, y]₁ = [x, y] = xy ? yx for ${x,y\in R}$ and inductively [x, y] _k = [[x, y] _k-1, y] for k > 1. We apply the theory of generalized polynomial identities with automorphisms and skew derivations to obtain the following result: If δ is a nonzero σ-derivation of R and L is a noncommutative Lie ideal of R so that [δ(x), x] _k  = 0 for all ${x \in L}$ , where k is a fixed positive integer, then charR = 2 and ${R\subseteq M_{2}(F)}$ for some field F. This result generalizes the case of derivations by Lanski and also the case of automorphisms by Mayne.     

Varieties of strange plane curves

Abstract

Let A be a commutative ring with identity, let X, Y be indeterminates and let F(X,Y), G(X, Y) ∈ A[X, Y] be homogeneous. Then the pair F(X, Y), G(X, Y) is said to be radical preserving with respect to A if Rad((F(x, y), G(x, y))R) = Rad((x,y)R) for each A-algebra R and each pair of elements x, y in R. It is shown that infinite sequences of pairwise radical preserving polynomials can be obtained by homogenizing cyclotomic polynomials, and that under suitable conditions on a ?-graded ring A these can be used to produce an infinite set of homogeneous prime ideals between two given homogeneous prime ideals P ? Q of A such that ht(Q/P) = 2.     

Commutative Rings Whose Cozero-Divisor Graphs are Unicyclic or of Bounded Degree

Let R be a commutative ring with unity. The cozero-divisor graph of R, denoted by Γ′(R), is a graph with vertex set W*(R), where W*(R) is the set of all nonzero and nonunit elements of R, and two distinct vertices a and b are adjacent if and only if a ? Rb and b ? Ra, where Rc is the ideal generated by the element c in R. Recently, it has been proved that for every nonlocal finite ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²). We generalize the aforementioned result by showing that for every commutative ring R, Γ′(R) is a unicyclic graph if and only if R ? ?₂ × ?₄, ?₃ × ?₃, ?₂ × ?₂[x]/(x ²), ?₂[x, y]/(x, y)², ?₄[x]/(2x, x ²). We prove that for every positive integer Δ, the set of all commutative nonlocal rings with maximum degree at most Δ is finite. Also, we classify all rings whose cozero-divisor graph has maximum degree 3. Among other results, it is shown that for every commutative ring R, gr(Γ′(R)) ∈ {3, 4, ∞}.     

On the Centralizers of Derivations with Engel Conditions

Let R be a noncommutative prime ring and d, δ two nonzero derivations of R. If δ([d(x), x] _n ) = 0 for all x ∈ R, then char R = 2, d ² = 0, and δ = αd, where α is in the extended centroid of R. As an application, if char R ≠ 2, then the centralizer of the set {[d(x), x] _n  | x ∈ R} in R coincides with the center of R.     

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; α].     

Constants and Darboux Polynomials for Tensor Products of Polynomial Algebras with Derivations

Abstract

Let d ₁ : k[X] → k[X] and d ₂ : k[Y] → k[Y] be k-derivations, where k[X] ? k[x ₁,…,x _n ], k[Y] ? k[y ₁,…,y _m ] are polynomial algebras over a field k of characteristic zero. Denote by d ₁ ⊕ d ₂ the unique k-derivation of k[X, Y] such that d| _k[X] = d ₁ and d| _k[Y] = d ₂. We prove that if d ₁ and d ₂ are positively homogeneous and if d ₁ has no nontrivial Darboux polynomials, then every Darboux polynomial of d ₁ ⊕ d ₂ belongs to k[Y] and is a Darboux polynomial of d ₂. We prove a similar fact for the algebra of constants of d ₁ ⊕ d ₂ and present several applications of our results.     

A GENERALIZATION OF AUSLANDER–BUCHSBAUM AND BASS FORMULAS

Abstract

Given a contravariant functor F : 𝒞 → 𝒮ets for some category 𝒞, we say that F (𝒞) (or F) is generated by a pair (X, x) where X is an object of 𝒞 and x ∈ F(X) if for any object Y of 𝒞 and any y ∈ F(Y), there is a morphism f : Y → X such that F(f)(x) = y. Furthermore, when Y = X and y = x, any f : X → X such that F(f)(x) = x is an automorphism of X, we say that F is minimally generated by (X, x). This paper shows that if the ring R is left noetherian, then there exists a minimal generator for the functor ?xt (?, M) : ? → 𝒮ets, where M is a left R-module and ? is the class (considered as full subcategory of left R-modules) of injective left R-modules.     

Commuting Traces of Biadditive Maps on Invertible Elements

Let R be a simple unital ring. Under a mild technical restriction on R, we will characterize biadditive mappings G: R² → R satisfying G(u, u)u = uG(u, u), and G(1, r) = G(r, 1) = r for all unit u ∈ R and r ∈ R, respectively. As an application, we describe bijective linear maps θ: R → R satisfying θ(xyx^?1y^?1) = θ(x)θ(y)θ(x)^?1θ(y)^?1 for all invertible x, y ∈ R. This solves an open problem of Herstein on multiplicative commutators. More precisely, we will show that θ is an isomorphism. Furthermore, we shall see the existence of a unital simple ring R′ without nontrivial idempotents, that admits a bijective linear map f: R′ → R′, preserving multiplicative commutators, that is not an isomorphism.