Extensions of commutative rings

In studying the minimal prime spectra of commutative rings with identity we have been able to identify several interesting types of extensions of rings. In particular, we determine what kind of ring extensions will result in a homeomorphisms of the hull-kernel and inverse topologies on the minimal prime spectra. We relate these types of extensions to other known types of extensions.     

Intermediary rings in normal pairs

We establish in this paper a result that gives the number of intermediary rings between R and S where (R,S) is a normal pair of rings. This result answers in particular a question which was left open in [A. Jaballah, Finiteness of the set of intermediary rings in a normal pair, Saintama Math. J. 17 (1999) 59-61]. Further applications are also given.     

On the class group and S-class group of formal power series rings

Let ${\text{Cl}}_t(A)$ denote the t-class group of an integral domain A. P. Samuel has established that if A is a Krull domain then the mapping ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$, is injective and if A is a regular UFD, then ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$, is bijective. Later, L. Claborn extended this result in case A is a regular Noetherian domain. In the first part of this paper we prove that the mapping ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$; $[I]?[{(I.A?X?)}_t]$ is an injective homomorphism and in case of an integral domain A such that each υ-invertible υ-ideal of A has υ-finite type, we give an equivalent condition for ${\text{Cl}}_t(A)\to {\text{Cl}}_t(A?X?)$, to be bijective, thus generalizing the result of Claborn. In the second part of this paper, we define the S-class group of an integral domain A: let S be a (not necessarily saturated) multiplicative subset of an integral domain A. Following [11], a nonzero fractional ideal I of A is S-principal if there exist an $s\in S$ and $a\in I$ such that $sI?aA?I$. The S-class group of A, S-${\text{Cl}}_t(A)$ is the group of fractional t-invertible t-ideals of A under t-multiplication modulo its subgroup of S-principal t-invertible t-ideals of A. We generalize some known results developed for the classic contexts of Krull and PυMD domain and we investigate the case of isomorphism S-${\text{Cl}}_t(A)?S$-${\text{Cl}}_t(A?X?)$.     

An algorithm for computing the number of intermediary rings in normal pairs

The main purpose of this paper is to establish a result giving the number of intermediary rings between R and S when (R,S) is a normal pair of rings and to provide an algorithm to compute this number.     

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.     

Extensions of commutative rings in which trees of prime ideals contract to trees

Résumé  Une extensionA⊂B des anneaux (commutatifs) satisfait à la propriété si tout arbre dans Spec(B) couvre un arbre dans Spec(A). Il est possible qu'une extension entière d'un anneau Noethérien ne satisfait pas à . SiA⊂B soit unei-extension satisfaisante à soit “going-up” soit “going-down”, alorsA⊂B satisfait à . Cependant, une extension d'anneaux satisfaisante à “going-up”, “going-down”, et peut être nonunibranche dans hauteur >1. Un anneau intègreA a le spectre d'un arbre si et seulement siA⊂B satisfait àP pour tout anneau intègreB contenantA (resp., suranneau de BézoutB deA). De plus, si un anneau intègreA n'ait pas de spectre d'un arbre mais soit localement de dimension finie, (par exemple, tout anneau intègre Noethérien de dimension au moins 2), alors il existe un suranneau de BézoutB deA et un arbre saturé dans Spec(B) de sorte que card=4 et l'image de à l'égard de la flèche canonique Spec(B)→Spec(A) est un ensemble saturé tel que card =3 mais n'est pas d'arbre. On donne également des caractérisations associées des classes desi-domaines et des ai-domaines.      

Universally catenarian and going-down pairs of rings

For a ring extension is called a universally catenarian pair if every domain , is universally catenarian. When R is a field it is shown that the only universally catenarian pairs are those satisfying . For several satisfactory results are given. The second purpose of this paper is to study going-down pairs (Definition 5.1). We characterize these pairs of rings and we establish a relationship between universally catenarian, going-down and residually algebraic pairs. Received: 1 July 1999; in final form: 5 June 2000 / Published online: 17 May 2001     

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.     

Overrings of two-dimensional Noetherian domains representable by Noetherian spaces of valuation rings

Let D be a Noetherian domain of Krull dimension 2, and let H⊆R be integrally closed overrings of D. We examine when H can be represented in the form H=(?_V∈ΣV)∩R, with Σ a Noetherian subspace of the Zariski-Riemann space of the quotient field of D. We characterize also the special case in which Σ can be chosen to be a finite character collection of valuation overrings of D.     

Gaussian elements of a semicontent algebra

The connection between a univariate polynomial having locally principal content and the content function acting like a homomorphism (the so-called Gaussian property) has been explored by many authors. In this work, we extend several such results to the contexts of multivariate polynomials, power series over a Noetherian ring, and base change of affine K-algebras by separable algebraically closed field extensions. We do so by using the framework of the Ohm–Rush content function. The correspondence is particularly strong in cases where the base ring is approximately Gorenstein or the element of the target ring is regular.     

Local rings of minimal length

This paper deals with local rings R possessing an m-canonical ideal ω, R⊆ω. In particular those rings such that the length l_R(ω/R) is as short as possible are studied. The same notion for one-dimensional local Cohen-Macaulay rings was introduced and studied with the name of Almost Gorenstein. Some necessary conditions, that become also sufficient under additional hypotheses, are given and examples are provided also in the non-Noetherian case. The case when the maximal ideal of R is stable is also studied.     

Families of artinian and low dimensional determinantal rings

Let $\mathrm{GradAlg}(H)$ be the scheme parameterizing graded quotients of $R=k[x_0,\dots ,x_n]$ with Hilbert function H (it is a subscheme of the Hilbert scheme of ${\mathbb{P}}^n$ if we restrict to quotients of positive dimension, see definition below). A graded quotient $A=R/I$ of codimension c is called standard determinantal if the ideal I can be generated by the $t\times t$ minors of a homogeneous $t\times (t+c?1)$ matrix $(f_{ij})$. Given integers $a_0\le a_1\le ...\le a_{t+c?2}$ and $b_1\le ...\le b_t$, we denote by $W_s(\underset{\_}{b};\underset{\_}{a})?\mathrm{GradAlg}(H)$ the stratum of determinantal rings where $f_{ij}\in R$ are homogeneous of degrees $a_j?b_i$.In this paper we extend previous results on the dimension and codimension of $W_s(\underset{\_}{b};\underset{\_}{a})$ in $\mathrm{GradAlg}(H)$ to artinian determinantal rings, and we show that $\mathrm{GradAlg}(H)$ is generically smooth along $W_s(\underset{\_}{b};\underset{\_}{a})$ under some assumptions. For zero and one dimensional determinantal schemes we generalize earlier results on these questions. As a consequence we get that the general element of a component W of the Hilbert scheme of ${\mathbb{P}}^n$ is glicci provided W contains a standard determinantal scheme satisfying some conditions. We also show how certain ghost terms disappear under deformation while other ghost terms remain and are present in the minimal resolution of a general element of $\mathrm{GradAlg}(H)$.     

Dominating sets of the comaximal and ideal-based zero-divisor graphs of commutative rings

Abstract

Let R be a commutative ring with nonzero identity, and let I be an ideal of R. The ideal-based zero-divisor graph of R, denoted by Γ_I (R), is the graph whose vertices are the set {x ∈ R \ I| xy ∈ I for some y∈ R \ I} and two distinct vertices x and y are adjacent if and only if xy ∈ I. Define the comaximal graph of R, denoted by CG(R), to be a graph whose vertices are the elements of R, where two distinct vertices a and b are adjacent if and only if Ra+Rb=R. A nonempty set S ? V of a graph G=(V, E) is a dominating set of G if every vertex in V is either in S or is adjacent to a vertex in S. The domination number γ(G) of G is the minimum cardinality among the dominating sets of G. The main object of this paper is to study the dominating sets and domination number of Γ_I (R) and the comaximal graph CG₂(R) \ J (R) (or CGJ (R) for short) where CG₂(R) is the subgraph of CG(R) induced on the nonunit elements of R and J (R) is the Jacobson radical of R.     

The Sheffer group and the Riordan group

We define the Sheffer group of all Sheffer-type polynomials and prove the isomorphism between the Sheffer group and the Riordan group. An equivalence of the Riordan array pair and generalized Stirling number pair is also presented. Finally, we discuss a higher dimensional extension of Riordan array pairs.     

The structure of the minimal free resolution of semigroup rings obtained by gluing

We construct a minimal free resolution of the semigroup ring $k[C]$ in terms of minimal resolutions of $k[A]$ and $k[B]$ when $〈C〉$ is a numerical semigroup obtained by gluing two numerical semigroups $〈A〉$ and $〈B〉$. Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of $k[C]$, and prove that the minimal free resolution of $k[C]$ has a differential graded algebra structure provided the resolutions of $k[A]$ and $k[B]$ possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main result to semigroups in ${\mathbb{N}}^n$.     

Algebraically flat or projective algebras

We define and study algebraically flat algebras in order to have a better understanding of algebraically projective algebras of finite type (the projective algebras of literature). A close examination of the differential properties of these algebras leads to our main structure theorem. As a corollary, we get that an algebraically projective algebra of finite type over a field is either a polynomial ring or the affine algebra of a complete intersection.     

Poincaré series of modules over compressed Gorenstein local rings

Given two positive integers e and s we consider Gorenstein Artinian local rings R   whose maximal ideal m$\mathfrak{m}$ satisfies m^s≠0=m^s+1${\mathfrak{m}}^s\ne 0={\mathfrak{m}}^{s+1}$ and _rankR/m(m/m²)=e${\mathrm{rank}}_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)=e$. We say that R is a compressed Gorenstein local ring   when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If s≠3$s\ne 3$, we prove that the Poincaré series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s  . Note that for s=3$s=3$ examples of compressed Gorenstein local rings with transcendental Poincaré series exist, due to Bøgvad.     

On the arithmetic of Krull monoids with infinite cyclic class group

Let H be a Krull monoid with infinite cyclic class group G and let G_P⊂G denote the set of classes containing prime divisors. We study under which conditions on G_P some of the main finiteness properties of factorization theory-such as local tameness, the finiteness and rationality of the elasticity, the structure theorem for sets of lengths, the finiteness of the catenary degree, and the existence of monotone and near monotone chains of factorizations-hold in H. In many cases, we derive explicit characterizations.