Perfect Pairs of Ideals and Duals in Numerical Semigroups

This article considers numerical semigroups S that have a nonprincipal relative ideal I such that μ _S (I)μ _S (S ? I) = μ _S (I + (S ? I)). We show the existence of an infinite family of such pairs (S, I) in which I + (S ? I) = S\{0}. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.     

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

Multiplicative Lie Isomorphisms Between Prime Rings

Let ? be a prime ring with 1 containing a nontrivial idempotent E, and let ?′ be another prime ring. If Φ:? → ?′ is a multiplicative Lie isomorphism, then Φ(T + S) = Φ(T) + Φ(S) + Z′ _T,S for all T, S ∈ ?, where Z′ _T,S is an element in the center 𝒵′ of ?′ depending on T and S.     

On the injective envelope of a graded module

Abstract

Let Sing _n be the semigroup of all singular full transformations on the set X _n  = {1, 2,…, n} under the composition of functions. Let E(J _n ? 1) be the set of all idempotents of the top 𝒥-class J _n ? 1 = {α ∈ Sing _n :|im α| = n-1}. For any nonempty subset I of E(J _n  ? 1), the aim of this paper is to find a constructive necessary and sufficient condition for the semiband S(I) = ?I? to be ?-trivial. Further, the semiband S(I) is locally maximal ?-trivial if S(I) is ?-trivial and S(I ∪ {e}) is not ?-trivial for any e ∈ E(J _n ? 1 )\I. As applications, we classify locally maximal ?-trivial subsemibands and locally maximal regular ?-trivial subsemibands of Sing _n , respectively. Moreover, the characterization of which S(I) is a band is obtained.

     

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.     

The Hilbert–Kunz Function in Graded Dimension Two

Let R denote a two-dimensional normal standard-graded K-domain over the algebraic closure K of a finite field of characteristic p, and let I ? R denote a homogeneous R ₊-primary ideal. We prove that the Hilbert–Kunz function of I has the form ? (q) = e _HK (I)q ² + γ(q) with rational Hilbert–Kunz multiplicity e _HK (I) and an eventually periodic function γ(q).     

The Leading Ideal of a Complete Intersection of Height Two in a 2-Dimensional Regular Local Ring

Let (S,𝔫) be a 2-dimensional regular local ring and let I = (f, g) be an ideal in S generated by a regular sequence f, g of length two. Let I* be the leading ideal of I in the associated graded ring gr𝔫(S), and set R = S/I and 𝔪 = 𝔫/I. In Goto et al. (2007 Goto , S. , Heinzer , W. , Kim , M.-K. ( 2007 ). The leading ideal of a complete intersection of height two, II . J. Algebra 312 : 709 – 732 . [Google Scholar]), we prove that if μ _G (I*) = n, then I* contains a homogeneous system {ξ _i }_1≤i≤n of generators such that deg ξ _i  + 2 ≤ deg ξ _i+1 for 2 ≤ i ≤ n ? 1, and ht _G (ξ₁, ξ₂,…, ξ _n?1) = 1, and we describe precisely the Hilbert series H(gr𝔪(R), λ) in terms of the degrees c _i of the ξ _i and the integers d _i , where d _i is the degree of D _i  = GCD(ξ₁,…, ξ _i ). To the complete intersection ideal I = (f, g)S we associate a positive integer n with 2 ≤ n ≤ c ₁ + 1, an ascending sequence of positive integers (c ₁, c ₂,…, c _n ), and a descending sequence of integers (d ₁ = c ₁, d ₂,…, d _n  = 0) such that c _i+1 ? c _i  > d _i?1 ? d _i  > 0 for each i with 2 ≤ i ≤ n ? 1. We establish here that this necessary condition is also sufficient for there to exist a complete intersection ideal I = (f, g) whose leading ideal has these invariants. We give several examples to illustrate our theorems.     

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.     

Ample Vector Bundles with Small g − q

Let X be a smooth complex projective variety and let Z ? X be a smooth submanifold of dimension ≥ 2, which is the zero locus of a section of an ample vector bundle ? of rank dim X ? dim Z ≥ 2 on X. Let H be an ample line bundle on X, whose restriction H _Z to Z is generated by global sections. The structure of triplets (X,?,H) as above is described under the assumption that the curve genus of the corank-1 vector bundle ? ⊕ H ^{⊕ (dim Z?1)} is ≤ h ¹( _X ) + 2.     

Properties of the Fiber Cone of Ideals in Local Rings

Abstract

For an ideal I of a Noetherian local ring (R, m ) we consider properties of I and its powers as reflected in the fiber cone F(I) of I. In particular,we examine behavior of the fiber cone under homomorphic image R → R/J = R′ as related to analytic spread and generators for the kernel of the induced map on fiber cones ψ _J  : F _R (I) → F _R′(IR′). We consider the structure of fiber cones F(I) for which ker ψ _J  ≠ 0 for each nonzero ideal J of R. If dim F(I) = d > 0,μ(I) = d + 1 and there exists a minimal reduction J of I generated by a regular sequence,we prove that if grade(G ₊(I)) ≥ d ? 1,then F(I) is Cohen-Macaulay and thus a hypersurface.     

On Generalizations of Prime Ideals

Let R be a commutative ring with identity. Let φ: S(R) → S(R) ∪ {?} be a function, where S(R) is the set of ideals of R. Suppose n ≥ 2 is a positive integer. A nonzero proper ideal I of R is called (n ? 1, n) ? φ-prime if, whenever a ₁, a ₂, ?, a _n  ∈ R and a ₁ a ₂?a _n  ∈ I?φ(I), the product of (n ? 1) of the a _i 's is in I. In this article, we study (n ? 1, n) ? φ-prime ideals (n ≥ 2). A number of results concerning (n ? 1, n) ? φ-prime ideals and examples of (n ? 1, n) ? φ-prime ideals are also given. Finally, rings with the property that for some φ, every proper ideal is (n ? 1, n) ? φ-prime, are characterized.     

Ascending Nets of Prüfer V-Multiplication Domains

Abstract

Let D be an integral domain, S ? D a multiplicative set such that aD _S  ∩ D is a principal ideal for each a ∈ D and let D ^(S) = ? _s∈S D[X/s]. It is known that if D is a Prüfer v-multiplication domain (resp., generalized GCD domain, GCD domain), then so is D ^(S) respectively. When D is a Noetherian domain, we obtain a similar result for the power series analog D ^((S)) = ? _s∈S D[[X/s]] of D ^(S). Our approach takes care simultaneously of both cases D ^(S) and D ^((S)).     

K 0 of Exchange Rings with All Idempotents Central

ABSTRACT

Let R be an exchange ring with all idempotents central, and let Max(R) ? Ξ(R) ? Spec(R). If ∩{P | P ∈ Ξ(R)} is nil, we prove that K ₀(R) ? {f : Ξ(R) → ?| f is continuous}.     

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 ∈ 𝒜).     

Sequentially Cohen-Macaulay Modules Under Base Change

ABSTRACT

Assume that ?:(R, ± 𝔪) → (S, ± 𝔫) is a local flat homomorphism between commutative Noetherian local rings R and S. Let M be a finitely generated R-module. We investigate the ascent and descent of sequentially Cohen-Macaulay properties between the R-module M and the S-module M ? _R  S.     

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.     

Orbits of the Actions of Odd-Order Solvable Groups

Suppose that V is a finite faithful irreducible G-module where G is a finite solvable group of odd order. We prove if the action is quasi-primitive, then either F(G) is abelian or G has at least 212 regular orbits on V. As an application, we prove that when V is a finite faithful completely reducible G-module for a solvable group G of odd order, then there exists v ∈ V such that C _G (v) ? F ₂(G) (where F ₂(G) is the 2nd ascending Fitting subgroup of G). We also generalize a result of Espuelas and Navarro. Let G be a group of odd order and let H be a Hall π-subgroup of G. Let V be a faithful G-module over a finite field of characteristic 2, then there exists v ∈ V such that C _H (v) ? O _π(G).     

Fiber Coefficients and Depth of Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R, and K an ideal containing I. When r(I | K)<∞, we give a lower bound and an upper bound for f ₁(I). Under the above assumption on r(I | K) and depth G(I) ≥ d ? 1, we also provide a characterization, in terms of f ₁(I), of the condition depth F _K (I) ≥ d ? 1.