Depth of Initial Ideals of Normal Edge Rings

Let G be a finite graph on the vertex set [d] = {1,…, d} with the edges e ₁,…, e _n and K[t] = K[t ₁,…, t _d ] the polynomial ring in d variables over a field K. The edge ring of G is the semigroup ring K[G] which is generated by those monomials t ^e  = t _i t _j such that e = {i, j} is an edge of G. Let K[x] = K[x ₁,…, x _n ] be the polynomial ring in n variables over K, and define the surjective homomorphism π: K[x] → K[G] by setting π(x _i ) = t ^{e _i} for i = 1,…, n. The toric ideal I _G of G is the kernel of π. It will be proved that, given integers f and d with 6 ≤ f ≤ d, there exists a finite connected nonbipartite graph G on [d] together with a reverse lexicographic order <_rev on K[x] and a lexicographic order <_lex on K[x] such that (i) K[G] is normal with Krull-dim K[G] = d, (ii) depth K[x]/in_<rev (I _G ) = f and K[x]/in_<lex (I _G ) is Cohen–Macaulay, where in_<rev (I _G ) (resp., in_<lex (I _G )) is the initial ideal of I _G with respect to <_rev (resp., <_lex) and where depth K[x]/in_<rev (I _G ) is the depth of K[x]/in_<rev (I _G ).     

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

On Rings Having McCoy-Like Conditions

ABSTRACT

In this paper, we study the behavior of the couniform (or dual Goldie) dimension of a module under various polynomial extensions. For a ring automorphism σ ∈ Aut(R), we use the notion of a σ-compatible module M _R to obtain results on the couniform dimension of the polynomial modules M[x], M[x ^?1], and M[x, x ^?1] over suitable skew extension rings.     

Radicals of Ore Extension of Skew Armendariz Rings

Let R be a ring with an endomorphism α and an α-derivation δ. In this article, for a skew-Armendariz ring R we study some properties of skew polynomial ring R[x; α, δ]. In particular, among other results, we show that for an (α, δ)-compatible skew-Armendariz ring R, γ(R[x; α, δ]) = γ(R)[x; α, δ] = Ni?_*(R)[x; α, δ], where γ is a radical in the class of radicals which includes the Wedderburn, lower nil, Levitzky, and upper nil radicals. We also show that several properties, including the symmetric, reversible, ZC_n, zip, and 2-primal property, transfer between R and the skew polynomial ring R[x; α, δ], in case R is (α, δ)-compatible skew-Armendariz. As a consequence we extend and unify several known results.     

On Radicals with Amitsur Property

Abstract

A radical γ has the Amitsur property, if γ(A[x]) = (γ(A[x]) ∩ A)[x] for every ring A. To any radical γ with Amitsur property we construct the smallest radical γ ^x which coincides with γ on polynomial rings. Distinct special radicals with Amitsur property are given which coincide on simple rings and on polynomial rings, answering thus a stronger version of M. Ferrero's problem. Radicals γ with Amitsur property are characterized which satisfy A[x, y] ∈ γ whenever A[x] ∈ γ.     

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 ⁿ .     

Commuting Values of Generalized Derivations on Multilinear Polynomials

Let K be a commutative ring with unity, R a prime K-algebra of characteristic different from 2, U the right Utumi quotient ring of R, f(x ₁,…, x _n ) a noncentral multilinear polynomial over K, and G a nonzero generalized derivation of R. Denote f(R) the set of all evaluations of the polynomial f(x ₁,…, x _n ) in R. If [G(u)u, G(v)v] = 0, for any u, v ∈ f(R), we prove that there exists c ∈ U such that G(x) = cx, for all x ∈ R and one of the following holds: 1. f(x ₁,…, x _n )² is central valued on R;

2. R satisfies s ₄, the standard identity of degree 4.

     

Ore Extensions of Ore Domains

Let R be a right Ore domain and φ a derivation or an automorphism of R. We determine the right Martindale quotient ring of the Ore extension R[t; φ] (Theorem 1.1). As an attempt to generalize both the Weyl algebra and the quantum plane, we apply this to rings R such that k[x] ? R ? k(x), where k is a field and x is a commuting variable. The Martindale Quotient quotient ring of R[t; φ] and its automorphisms are computed. In this way, we obtain a family of non-isomorphic infinite dimensional simple domains with all their automorphisms explicitly described.     

Closed Polynomials in Polynomial Rings over Unique Factorization Domains

Let R be a UFD, and let M(R, n) be the set of all subalgebras of the form R[f], where f ∈ R[x ₁,…, x _n ]?R. For a polynomial f ∈ R[x ₁,…, x _n ]?R, we prove that R[f] is a maximal element of M(R, n) if and only if it is integrally closed in R[x ₁,…, x _n ] and Q(R)[f] ∩ R[x ₁,…, x _n ] = R[f]. Moreover, we prove that, in the case where the characteristic of R equals zero, R[f] is a maximal element of M(R, n) if and only if there exists an R-derivation on R[x ₁,…, x _n ] whose kernel equals R[f].     

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.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.     

The Converse of Schur's Lemma in Noetherian Rings and Group Algebras

ABSTRACT

If M is a simple module over a ring R, then, by Schur's Lemma, its endomorphism ring is a division ring. However, the converse of this property, which we called the CSL property, does not hold in general. The object of this article is to study this converse for a few classes of rings: left Noetherian rings, V-rings and group algebras. First, we establish that a left Noetherian ring R is a CSL ring if and only if a ring R is left–artinian and primary decomposable. Secondly, we prove that a left semiartinian V-ring is CSL. At last, we study the CSL property in group algebra K [ G ] where K a field algebraically closed of characteristic p and G is a finite group of order divisible by p. Our main contribution is that K [ G ] is a CSL ring if and only if Gbf = HP where H is a normal p′-subgroup and bfP a Sylow bfp-subgroup of bfG. In this case, K [ G ] is primary decomposable.     

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.     

On Monomial Reduction and Polynomial Expressions with Respect to Binomial Ideals

Let I ? K[x ₁,…, x _n ] be an ideal and G be the reduced Gröbner basis of I with respect to lexicographic monomial order. We introduce the index of an expression of f ∈ K[x ₁,…, x _n ] with respect to G. A minimal expression is characterized as the one with zero G-index. In case where I is a binomial prime ideal, a new division algorithm with minimal and unique expression is presented. The application of our new method on benchmark polynomial systems cyclic-9 and cyclic-12 shows its superiority in comparison with the existing division algorithm.     

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.     

Cohen–Macaulayness and Limit Behavior of Depth for Powers of Cover Ideals

Let 𝕂 be a field, and let R = 𝕂[x ₁,…, x _n ] be the polynomial ring over 𝕂 in n indeterminates x ₁,…, x _n . Let G be a graph with vertex-set {x ₁,…, x _n }, and let J be the cover ideal of G in R. For a given positive integer k, we denote the kth symbolic power and the kth bracket power of J by J ^(k) and J ^[k], respectively. In this paper, we give necessary and sufficient conditions for R/J ^k , R/J ^(k), and R/J ^[k] to be Cohen–Macaulay. We also study the limit behavior of the depths of these rings.     

Prime T-Ideals in Polynomial and Power Series Rings Over a Pseudo-Valuation Domain

Let R be an m-dimensional pseudo-valuation domain with residue field k, let V be the associated valuation domain with residue field K, and let k ₀ be the maximal separable extension of k in K. We compute the t-dimension of polynomial and power series rings over R. It is easy to see that t-dim R[x ₁,…, x _n ] = 2 if m = 1 and K is transcendental over k, but equals m otherwise, and that t-dim R[[x ₁,…, x _n ]] = ∞ if R is a nonSFT-ring. When R is an SFT-ring, we also show that: (1) t-dim R[[x]] = m; (2) t-dim R[[x ₁,…, x _n ]] = 2m ? 1, if n ≥ 2, K has finite exponent over k ₀, and [k ₀: k] < ∞; (3) t-dim R[[x ₁,…, x _n ]] = 2m, otherwise.     

On Stability of Gorenstein Categories

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G ₁ → G ₀ → G ⁰ → G ¹ → … such that the complex Hom _R (G, H) is exact for each projective left R-module H, the module Im(G ₀ → G ⁰) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.     

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, ∞}.