On the set of <Emphasis Type="Italic">t</Emphasis>-linked overrings of an integral domain

Let R be an integral domain with quotient field L. An overring T of R is t-linked over R if I ⁻¹ = R implies that (T : IT)  =  T for each finitely generated ideal I of R. Let O _t (R) denotes the set of all t-linked overrings of R and O(R) the set of all overrings of R. The purpose of this paper is to study some finiteness conditions on the set O _t (R). Particularly, we prove that if O _t (R) is finite, then so is O(R) and O _t (R) = O(R), and if each chain of t-linked overrings of R is finite, then each chain of overrings of R is finite. This yields that the t-linked approach is more efficient than the Gilmer’s treatment (Proc Am Math Soc 131:2337–2346, 2002). We also examine the finiteness conditions in some Noetherian-like settings such as Mori domain, quasicoherent Mori domain, Krull domain, etc. We establish a connection between O _t (R) and the set of all strongly divisorial ideals of R and we conclude by a characterization of domains R that are t-linked under all their overrings. This work was funded by KFUPM under Project # FT/18-2005.     

Unique representation domains, II

Given a star operation ∗ of finite type, we call a domain R a ∗-unique representation domain (∗-URD) if each ∗-invertible ∗-ideal of R can be uniquely expressed as a ∗-product of pairwise ∗-comaximal ideals with prime radical. When ∗ is the t-operation we call the ∗-URD simply a URD. Any unique factorization domain is a URD. Generalizing and unifying results due to Zafrullah [M. Zafrullah, On unique representation domains, J. Nat. Sci. Math. 18 (1978) 19-29] and Brewer-Heinzer [J.W. Brewer, W.J. Heinzer, On decomposing ideals into products of comaximal ideals, Comm. Algebra 30 (2002) 5999-6010], we give conditions for a ∗-ideal to be a unique ∗-product of pairwise ∗-comaximal ideals with prime radical and characterize ∗-URD’s. We show that the class of URD’s includes rings of Krull type, the generalized Krull domains introduced by El Baghdadi and weakly Matlis domains whose t-spectrum is treed. We also study when the property of being a URD extends to some classes of overrings, such as polynomial extensions, rings of fractions and rings obtained by the D+XD_S[X] construction.     

Characterizing local rings via homological dimensions and regular sequences

Let (R,m) be a Noetherian local ring of depth d and C a semidualizing R-complex. Let M be a finite R-module and t an integer between 0 and d. If the G_C-dimension of M/aM is finite for all ideals a generated by an R-regular sequence of length at most d−t then either the G_C-dimension of M is at most t or C is a dualizing complex. Analogous results for other homological dimensions are also given.     

Some characterizations of Krull domains

In this paper, we define the v-finiteness for a length function L_v on the set of all v-ideals of an integral domain R and show that R is a Krull domain if and only if every proper integral v-ideal of R has v-finite length and L_v((AB)_v)=L_v(A)+L_v(B) for every pair of proper integral v-ideals A and B in R. We also give Euclidean-like characterizations of factorial, Krull, and π-domains. Finally we define the notion of quasi-∗-invertibility and show that if every proper prime t-ideal of an integral domain R is quasi-t-invertible, then R is a Krull domain.     

Indecomposable modules over one-dimensional Noetherian rings

In this article we consider finitely generated torsion-free modules over certain one-dimensional commutative Noetherian rings R. We assume there exists a positive integer N_R such that, for every indecomposable R-module M and for every minimal prime ideal P of R, the dimension of M_P, as a vector space over the field R_P, is less than or equal to N_R. If a nonzero indecomposable R-module M is such that all the localizations M_P as vector spaces over the fields R_P have the same dimension r, for every minimal prime P of R, then r=1,2,3,4 or 6. Let n be an integer ≥8. We show that if M is an R-module such that the vector space dimensions of the M_P are between n and 2n−8, then M decomposes non-trivially. For each n≥8, we exhibit a semilocal ring and an indecomposable module for which the relevant dimensions range from n to 2n−7. These results require a mild equicharacteristic assumption; we also discuss bounds in the non-equicharacteristic case.     

On the arithmetic of tame monoids with applications to Krull monoids and Mori domains

Let H be an atomic monoid (e.g., the multiplicative monoid of a noetherian domain). For an element b∈H, let ω(H,b) be the smallest  N∈N₀∪{∞} having the following property: if  n∈N and  a₁,…,a_n∈H are such that b divides  a₁⋅…⋅a_n, then b already divides a subproduct of a₁⋅…⋅a_n consisting of at most N factors. The monoid H is called tame if . This is a well-studied property in factorization theory, and for various classes of domains there are explicit criteria for being tame. In the present paper, we show that, for a large class of Krull monoids (including all Krull domains), the monoid is tame if and only if the associated Davenport constant is finite. Furthermore, we show that tame monoids satisfy the Structure Theorem for Sets of Lengths. That is, we prove that in a tame monoid there is a constant M such that the set of lengths of any element is an almost arithmetical multiprogression with bound M.     

Strong Mori and Noetherian properties of integer-valued polynomial rings

Let D be a domain with quotient field K and let Int(D) be the ring of integer-valued polynomials {f∈K[X]|f(D)⊆D}. We give conditions on D so that the ring Int(D) is a Strong Mori domain. In particular, we give a complete characterization in the case that the conductor is nonzero, where D′ is the integral closure of D. We also show that when D is quasilocal with or D is Noetherian, Int(D) is a Strong Mori domain if and only if Int(D) is Noetherian.     

The class semigroup of local one-dimensional domains

Let R be a local one-dimensional domain. We investigate when the class semigroup S(R) of R is a Clifford semigroup. We make use of the Archimedean valuation domains which dominate R, as a main tool to study its class semigroup. We prove that if S(R) is Clifford, then every element of the integral closure of R is quadratic. As a consequence, such an R may be dominated by at most two distinct Archimedean valuation domains, and coincides with their intersection. When S(R) is Clifford, we find conditions for S(R) to be a Boolean semigroup. We derive that R is almost perfect with Boolean class semigroup if, and only if R is stable. We also find results on S(R), through examination of [V/P:R/M] and v(M), where V dominates R, and P, M are the respective maximal ideals.     

Almost equal group multiplications

In a recent paper entitled “A commutative analogue of the group ring” we introduced, for each finite group (G,⋅), a commutative graded Z-algebra R_(G,⋅) which has a close connection with the cohomology of (G,⋅). The algebra R_(G,⋅) is the quotient of a polynomial algebra by a certain ideal I_(G,⋅) and it remains a fundamental open problem whether or not the group multiplication ⋅ on G can always be recovered uniquely from the ideal I_(G,⋅).Suppose now that (G,×) is another group with the same underlying set G and identity element e∈G such that I_(G,⋅)=I_(G,×). Then we show here that the multiplications ⋅ and × are at least “almost equal” in a precise sense which renders them indistinguishable in terms of most of the standard group theory constructions. In particular in many cases (for example if (G,⋅) is Abelian or simple) this implies that the two multiplications are actually equal as was claimed in the previously cited paper.     

A commutative analogue of the group ring

Throughout, all rings R will be commutative with identity element. In this paper we introduce, for each finite group G, a commutative graded Z-algebra R_G. This classifies the G-invariant commutative R-algebra multiplications on the group algebra R[G] which are cocycles (in fact coboundaries) with respect to the standard “direct sum” multiplication and have the same identity element.In the case when G is an elementary Abelian p-group it turns out that R_G is closely related to the symmetric algebra over F_p of the dual of G. We intend in subsequent papers to explore the close relationship between G and R_G in the case of a general (possibly non-Abelian) group G.Here we show that the Krull dimension of R_G is the maximal rank r of an elementary Abelian subgroup E of G unless either E is cyclic or for some such E its normalizer in G contains a non-trivial cyclic group which acts faithfully on E via “scalar multiplication” in which case it is r+1.     

Gorenstein injective modules and Auslander categories

In this paper, we study Gorenstein injective modules over a local Noetherian ring R. For an R-module M, we show that M is Gorenstein injective if and only if Hom _R (Ȓ,M) belongs to Auslander category B(Ȓ), M is cotorsion and Ext ⁱ _R (E,M) = 0 for all injective R-modules E and all i > 0. Received: 24 August 2006 Revised: 30 October 2006     

On the stability of the Serrin problem

We investigate stability issues concerning the radial symmetry of solutions to Serrin's overdetermined problems. In particular, we show that, if u is a solution to Δu=n in a smooth domain Ω⊂Rn, u=0 on ∂Ω and |Du| is “close” to 1 on ∂Ω, then Ω is “close” to the union of a certain number of disjoint unitary balls.     

Power series extensions of half-factorial domains

An integral domain is said to be a half-factorial domain (HFD) if every non-zero element a that is not a unit may be factored into a finite product of irreducible elements, while any other such factorization of a has the same number of irreducible factors. While it is known that a power series extension of a factorial domain need not be factorial, the corresponding question for HFD has been open. In this paper we show that the answer is also negative. In the process we answer in the negative, for HFD, an open question of Samuel for factorial domains by showing that for certain quadratic domains R, and independent variables, Y and T, R[[Y]][[T]] is not HFD even when R[[Y]] is HFD. The proof hinges on Samuel’s theorem to the effect that a power series, in finitely many variables, over a regular factorial domain is factorial.     

Embedded associated primes of powers of square-free monomial ideals

An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all t≥1. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a square-free monomial ideal I is minimally not normally torsion-free then the least power t such that I^t has embedded primes is bigger than β₁, where β₁ is the monomial grade of I, which is equal to the matching number of the hypergraph H(I) associated to I. If, in addition, I fails to have the packing property, then embedded primes of I^t do occur when t=β₁+1. As an application, we investigate how these results relate to a conjecture of Conforti and Cornuéjols.     

Complete intersection dimensions and Foxby classes

Let R be a local ring and M a finitely generated R-module. The complete intersection dimension of M-defined by Avramov, Gasharov and Peeva, and denoted -is a homological invariant whose finiteness implies that M is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger’s Gorenstein dimension by the inequalities .Using Blanco and Majadas’ version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms φ:R→S and ψ:S→T such that φ has finite Gorenstein dimension, if ψ has finite complete intersection dimension, then the composition ψ°φ has finite Gorenstein dimension. This follows from our result stating that, if M has finite complete intersection dimension, then M is C-reflexive and is in the Auslander class A_C(R) for each semidualizing R-complex C.     

Star stable domains

We introduce and study the notion of ?-stability with respect to a semistar operation ? defined on a domain R; in particular we consider the case where ? is the w-operation. This notion allows us to generalize and improve several properties of stable domains and totally divisorial domains.     

The t#-property for integral domains

Generalizing work of Gilmer and Heinzer, we define a t#-domain to be a domain R in which for any two distinct subsets and of the set of maximal t-ideals of R. We provide characterizations of these domains, and we show that polynomial rings over t#-domains are again t#-domains. Finally, we study overrings of t#-domains.     

Integral Closure of Graded Integral Domains

Let Γ be a torsion-free cancellative commutative monoid and let R = ?_α∈ΓR_α be a commutative Γ-graded ring. We show that if R is a graded Noetherian domain, then its integral closure is a graded Krull domain. This is a graded analog of the Mori–Nagata theorem. We also show that for a graded Strong Mori domain, its complete integral closure is a graded Krull domain but its integral closure is not necessarily a graded Krull domain.