A Note on Conductor Ideals

Let S be a commutative ring with identity and R a unitary subring of S. An ideal I of S is called an R-conductor ideal of S if I = {x ∈ S | xS ? V} for some intermediate ring V of R and S. In this note, we present necessary and sufficient criteria for being an R-conductor ideal of S. We generalize several well known facts about them and present a simple approach to rediscover the results of both old and recent articles. We sketch the boundaries of our criteria by providing a few counterexamples.     

Some Examples in the Theory of Factorization in Integral Domains

Let R be a UFD, S a subring of R and P be a nonzero commom ideal of R and S such that (i) R/P is a torsion-free S/P-module, (ii) if x,y ? S\P and c ? R with y = cx then c ? S. In this note we study the factorization properties of such subrings and thereby obtain some examples.     

A Note on Lie Automorphisms,Subrings, and Lie Ideals of Prime Rings

ABSTRACT

Let R be a prime ring of characteristic not 2 or 3 and L a noncentral Lie ideal of R. Suppose that σ is a Lie automorphism on L such that σ² ? 1 is noncentral on L, where 1 is the identity map, then the subring of R generated by the set {[x ^σ, x] | x ∈ L} contains a nonzero ideal of R.     

On Pseudo-Almost Valuation Domains

Let R be an integral domain with quotient field K and integral closure R ^′. Anderson and Zafrullah called R an “almost valuation domain” if for every nonzero x ∈ K, there is a positive integer n such that either x ⁿ  ∈ R or x ^?n  ∈ R. In this article, we introduce a new closely related class of integral domains. We define a prime ideal P of R to be a “pseudo-strongly prime ideal” if, whenever x, y ∈ K and xyP ? P, then there is a positive integer m ≥ 1 such that either x ^m  ∈ R or y ^m P ? P. If each prime ideal of R is a pseudo-strongly prime ideal, then R is called a “pseudo-almost valuation domain” (PAVD). We show that the class of valuation domains, the class of pseudo-valuation domains, the class of almost valuation domains, and the class of almost pseudo-valuation domains are properly contained in the class of pseudo-almost valuation domains; also we show that the class of pseudo-almost valuation domains is properly contained in the class of quasilocal domains with linearly ordered prime ideals. Among the properties of PAVDs, we show that an integral domain R is a PAVD if and only if for every nonzero x ∈ K, there is a positive integer n ≥ 1 such that either x ⁿ  ∈ R or ax ^?n  ∈ R for every nonunit a ∈ R. We show that pseudo-almost valuation domains are precisely the pullbacks of almost valuation domains, we characterize pseudo-almost valuation domains of the form D + M, and we use this characterization to construct PAVDs that are not almost valuation domains. We show that if R is a Noetherian PAVD, then R has Krull dimension at most one and R ^′ is a valuation domain; we show that every overring of a PAVD R is a PAVD iff R ^′ is a valuation domain and every integral overring of R is a PAVD.     

S-Noetherian Properties of Composite Ring Extensions

Let R be a commutative ring with identity and S a multiplicative subset of R. We say that R is an S-Noetherian ring if for each ideal I of R, there exist an s ∈ S and a finitely generated ideal J of R such that sI ? J ? I. In this article, we study transfers of S-Noetherian property to the composite semigroup ring and the composite generalized power series ring.     

Annihilators of Skew Derivations with Engel Conditions on Lie Ideals

Let R be a prime ring, L a noncentral Lie ideal of R, and a ∈ R. Set [x, y]₁ = [x, y] = xy ? yx for x, y ∈ R and inductively [x, y]_k = [[x, y]_k?1, y] for k > 1. Suppose that δ is a nonzero σ-derivation of R such that a[δ(x), x]_k = 0 for all x ∈ L, where σ is an automorphism of R and k is a fixed positive integer. Then a = 0 except when char R = 2 and R ? M₂(F), the 2 × 2 matrix ring over a field F.     

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.     

AA-Rings

Abstract

Let R be a ring with identity such that R ⁺, the additive group of R, is torsion-free of finite rank (tffr). The ring R is called an E-ring if End(R ⁺) = {x ? ax : a ∈ R} and is called an A-ring if Aut(R ⁺) = {x ? ux : u ∈ U(R)}, where U(R) is the group of units of R. While E-rings have been studied for decades, the notion of A-rings was introduced only recently. We now introduce a weaker notion. The ring R, 1 ∈ R, is called an AA-ring if for each α ∈ Aut(R ⁺) there is some natural number n such that α ⁿ  ∈ {x ? ux : u ∈ U(R)}. We will find all tffr AA-rings with nilradical N(R) ≠ {0} and show that all tffr AA-rings with N(R) = {0} are actually E-rings. As a consequence of our results on AA-rings, we are able to prove that all tffr A-rings are indeed E-rings.     

A Generalization of Engel Conditions with Derivations in Rings

Let R be a prime ring of characteristic different from 2 with Z the center of R and d a nonzero derivation of R. Let k, m, n be fixed positive integers. If ([d(x ^k ), x ^k ] _n ) ^m  ∈ Z for all x ∈ R, then R satisfies S ₄, the standard identity in 4 variables.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

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.

     

Jordan τ-derivations of Prime Rings

Let R be a prime ring which is not commutative, with maximal symmetric ring of quotients Q _ms (R), and let τ be an anti-automorphism of R. An additive map δ: R → Q _ms (R) is called a Jordan τ-derivation if δ(x ²) = δ(x)x ^τ + xδ(x) for all x ∈ R. A Jordan τ-derivation of R is called X-inner if it is of the form x → ax ^τ ? xa for x ∈ R, where a ∈ Q _ms (R). It is proved that any Jordan τ-derivation of R is X-inner if either R is not a GPI-ring or R is a PI-ring except when charR = 2 and dim  _C RC = 4, where C is the extended centroid of R.     

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.     

On the Prime Ideal Structure of Bhargava Rings

Let D be an integral domain with quotient field K. A Bhargava ring over D is defined to be 𝔹 _x (D): = {f ∈ K[X] | ? a ∈ D, f(xX + a) ∈ D[X]}, where x ∈ D. A Bhargava ring over D is a subring of the ring of integer-valued polynomials over D. In this article, we study the prime ideal structure and calculate the Krull and valuative dimension of Bhargava rings over a general domain D.     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

m-Power Commuting MAPS on Semiprime Rings

Let R be a semiprime ring with center Z(R), extended centroid C, U the maximal right ring of quotients of R, and m a positive integer. Let f: R → U be an additive m-power commuting map. Suppose that f is Z(R)-linear. It is proved that there exists an idempotent e ∈ C such that ef(x) = λx + μ(x) for all x ∈ R, where λ ∈C and μ: R → C. Moreover, (1 ? e)U ? M₂(E), where E is a complete Boolean ring. As consequences of the theorem, it is proved that every additive, 2-power commuting map or centralizing map from R to U is commuting.     

Finite p-Groups in Which Each Central Automorphism Fixes Centre Elementwise

Let A and B be commutative rings with unity, f: A → B a ring homomorphism, and J an ideal of B. Then the subring A ?^fJ: = {(a, f(a) + j)|a ∈ A and j ∈ J} of A × B is called the amalgamation of A with B along J with respect to f. In this article, among other things, we investigate the Cohen–Macaulay and (quasi-)Gorenstein properties on the ring A ?^fJ.     

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.     

Invertibility of Matrices Over Subrings

Given rings R ? S, consider the division closure 𝒟(R, S) and the rational closure ?(R, S) of R in S. If S is commutative, then 𝒟(R, S) = ?(R, S) = RT ^?1, where T = {t ∈ R | t ^?1 ∈ S}. We show that this is also true if we assume only that R is commutative.