The Integral Closure of Ideals in ℂ{x,y}

Abstract

We give some techniques to determine the ideal K _I generated by the monomials x ^{k ₁} y ^{k ₂} belonging to the integral closure ī of an ideal I ? ?{x, y}. We also give a sufficient condition for a weighted homogeneous ideal I ? ?{x, y} to satisfy the relation ī = I + K _I .     

Weakly G K -Perfect and Integral Closure of Ideals

Let R be a commutative Noetherian ring, K a nonzero finitely generated suitable R-module, and I an ideal of R. It is shown that if (R, ) is local, then  is G _K -perfect if and only if K is a canonical module for R. Furthermore, if I is integrally closed and G _K  ? dim _R I < ∞, then K _ is a canonical R _-module for every  ? Ass _R R/I whenever K satisfies Serre's condition (S ₁) or grade _K I > 0. Finally, it is shown that if CM ? dim _R I < ∞, then R _ is Cohen–Macaulay for every  ? Ass _R R/I.     

Chains of Rings with Local Formal Fibers

Let (T, M) be a complete local domain containing the integers. Let p ₁ ? p ₂ ? ··· ? p _n be a chain of nonmaximal prime ideals of T such that T _{p n} is a regular local ring. We construct a chain of excellent local domains A _n  ? A _n?1 ? ··· ? A ₁ such that for each 1 ≤ i ≤ n, the completion of A _i is T, the generic formal fiber of A _i is local with maximal ideal p _i , and if I is a nonzero ideal of A _i then A _i /I is complete. We then show that if Q is a nonmaximal prime ideal of T and 1 ≤ h = ht _T Q, then there is a chain of excellent local domains B ₀ ? B ₁ ? ··· ? B _h  ? T such that for every i = 0, 1, 2,…, h we have ht(Q ∩ B _i ) = i, the completion of B _i is isomorphic to T[[X ₁, X ₂,…, X _i ]] where the X _j 's are indeterminants, and the formal fiber of Q ∩ B _i is local.     

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.     

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 Lower Bound on the Second Fiber Coefficient of the 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 depth G(I) ≥ d ? 1 and r(I | K) < ∞, we present a lower bound on the second fiber coefficient of the fiber cones, and also provide a characterization, in terms of f ₂(I, K), of the condition depth F _K (I) ≥ d ? 1.     

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.     

SOME t-CLOSED PAIRS

Let A ? B be integral domains. (A, B) is called a t-closed pair if each subring of B containing A is t-closed. Let R be a t-closed domain containing a field K and let I be a nonzero proper ideal of R. Let D be a subring of K and let S = D + I. If D is a field then it is shown that (S, R) is a t-closed pair if and only if R is integral over S and I is a maximal ideal of R. If D is not a field then we prove in this note that (S, R) is a t-closed pair if and only if (D, K) is a t-closed pair and R = K + I.     

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

Representation-Directed Incidence Coalgebras of Intervally Finite Posets and the Tame-Wild Dichotomy

Incidence coalgebras C = K ^□ I of intervally finite posets I that are representation-directed are characterized in the article, and the posets I with this property are described. In particular, it is shown that the coalgebra C = K ^□ I is representation-directed if and only if the Euler quadratic form q _C : ?^(I) → ? of C is weakly positive. Every such a coalgebra C is tame of discrete comodule type and gl. dimC ≤ 2. As a consequence, we get a characterization of the incidence coalgebras C = K ^□ I that are left pure semisimple in the sense that every left C-comodule is a direct sum of finite dimensional subcomodules. It is shown that every such coalgebra C = K ^□ I is representation-directed and gl. dimC ≤ 2. Finally, the tame-wild dichotomy theorem is proved, for the coalgebras K ^□ I that are right semiperfect.     

On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

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.     

Arithmetical Rank of Squarefree Monomial Ideals Generated by Five Elements or with Arithmetic Degree Four

Let I be a squarefree monomial ideal of a polynomial ring S. In this article, we prove that the arithmetical rank of I is equal to the projective dimension of S/I when one of the following conditions is satisfied: (1) μ(I) ≤5; (2) arithdeg I ≤ 4.     

On linear versions of some addition theorems

Let K ? L be a field extension. Given K-subspaces A, B of L, we study the subspace ?AB? spanned by the product set AB = {ab∣ a ∈ A, b ∈ B}. We obtain some lower bounds on dim _K ?AB? and dim _K ?B ⁿ ? in terms of dim _K A, dim _K B and n. This is achieved by establishing linear versions of constructions and results in additive number theory mainly due to Kemperman and Olson.     

On the Support Problem for Drinfeld Modules

Let Φ be a Drinfeld A-module over an A-field K of generic characteristic. We will prove the following two results which are analogous to ones in number fields. Case 1. Φ is of rank one. Suppose that P and Q are two nontorsion points in Φ(K). If for any element a ? A and almost all prime ideals 𝒫 in  one has that Φ _a (P) ≡ 0 (mod 𝒫) ? Φ _a (Q) ≡ 0 (mod 𝒫), then Q = Φ _m (P) for some m ? A. Case 2. Φ is of general rank ≥ 1. Let x, y ? Φ(K) be two K-rational points. Denote  = End _K (Φ) which is commutative and Λ =  · y which is a cyclic -module. Let red _v :Φ(K) → Φ(k _v ) be the reduction map at a place v of K with residue field k _v . If red _v (x) ? red _v (Λ) for almost all places v of K. Then f(x) = g(y), for some nonzero elements f and g in .     

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.     

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

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.