TW-domains and Strong Mori domains

In this paper we are mainly concerned with TW-domains, i.e., domains in which the w- and t-operations coincide. Precisely, we investigate possible connections with related well-known classes. We characterize the TW-property in terms of divisoriality for Mori domains and Noetherian domains. Specifically, we prove that a Mori domain R is a TW-domain if and only if R_M is a divisorial domain for each t-maximal ideal M of R. It turns out that a Mori domain which is a TW-domain is a Strong Mori domain. The last section examines the transfer of the “TW-domain” and “Strong Mori” properties to pullbacks, in order to provide some original examples.     

Note on non-D-rings

Abstract

Recall that an integral domain R is said to be a non-D-ring if there exists a non-constant polynomial f (X) in R[X] (called a uv-polynomial) such that f (a) is a unit of R for every a in R. In this note we generalize this notion to commutative rings (that are not necessarily integral domains) as follows: for a positive integer n, we say that R is an n-non-D-ring if there exists a polynomial f of degree n in R[X] such that f (a) is a unit of R for every a in R. We then investigate the properties of this notion in di?erent contexts of commutative rings.     

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.     

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.     

Tilting modules over almost perfect domains

We provide a complete classification of all tilting modules and tilting classes over almost perfect domains, which generalizes the classifications of tilting modules and tilting classes over Dedekind and 1-Gorenstein domains. Assuming the APD is Noetherian, a complete classification of all cotilting modules is obtained (as duals of the tilting ones).     

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.     

Chains of prime ideals in tensor products of algebras

This paper investigates the length of particular chains of prime ideals in tensor products of algebras over a field k. As an application, we compute dim(A⊗_kA) for a new family of domains A that are k-algebras.     

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.     

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.     

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.     

Integral domains having a unique Kronecker function ring

We study the class of integrally closed domains having a unique Kronecker function ring, or equivalently, domains in which the completion (or b-operation) is the only e.a.b star operation of finite type. Such domains are a generalization of Prüfer domains and have fairly simple sets of valuation overrings. We give characterizations by studying valuation overrings and integral closure of finitely generated ideals. We provide new examples of such domains and show that for several well-known classes of integral domains the property of having a unique Kronecker function ring makes them fall into the class of Prüfer domains.     

Factoring ideals in Prüfer domains

We show that in certain Prüfer domains, each nonzero ideal I can be factored as , where I^v is the divisorial closure of I and is a product of maximal ideals. This is always possible when the Prüfer domain is h-local, and in this case such factorizations have certain uniqueness properties. This leads to new characterizations of the h-local property in Prüfer domains. We also explore consequences of these factorizations and give illustrative examples.     

On the topology of valuation-theoretic representations of integrally closed domains

Let F be a field. For each nonempty subset X of the Zariski–Riemann space of valuation rings of F, let $A(X)={?}_{V\in X}V$ and $J(X)={?}_{V\in X}{\mathfrak{M}}_V$, where ${\mathfrak{M}}_V$ denotes the maximal ideal of V. We examine connections between topological features of X and the algebraic structure of the ring $A(X)$. We show that if $J(X)\ne 0$ and $A(X)$ is a completely integrally closed local ring that is not a valuation ring of F, then there is a space Y of valuation rings of F that is perfect in the patch topology such that $A(X)=A(Y)$. If any countable subset of points is removed from Y, then the resulting set remains a representation of $A(X)$. Additionally, if F is a countable field, the set Y can be chosen homeomorphic to the Cantor set. We apply these results to study properties of the ring $A(X)$ with specific focus on topological conditions that guarantee $A(X)$ is a Prüfer domain, a feature that is reflected in the Zariski–Riemann space when viewed as a locally ringed space. We also classify the rings $A(X)$ where X has finitely many patch limit points, thus giving a topological generalization of the class of Krull domains, one that includes interesting Prüfer domains. To illustrate the latter, we show how an intersection of valuation rings arising naturally in the study of local quadratic transformations of a regular local ring can be described using these techniques.     

Generic tropical initial ideals of Cohen-Macaulay algebras

We study the generic tropical initial ideals of a positively graded Cohen-Macaulay algebra R over an algebraically closed field k. Building on work of Römer and Schmitz, we give a formula for each initial ideal, and we express the associated quasivaluations in terms of certain I-adic filtrations. As a corollary, we show that in the case that R is a domain, every initial ideal coming from the codimension 1 skeleton of the tropical variety is prime, so “generic presentations of Cohen-Macaulay domains are well-poised in codimension 1.”     

Epsilon multiplicity for graded algebras

The notion of ε-multiplicity was originally defined by Ulrich and Validashti as a limsup and they used it to detect integral dependence of modules. It is important to know if it can be realized as a limit. In this article we show that the relative ε-multiplicity of reduced standard graded algebras over an excellent local ring exists as a limit. We also obtain some important special cases of Cutkosky's results concerning ε-multiplicity, as corollaries of our main theorem.     

The bicategories of corings

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule such as separability and the Frobenius properties are reflected in the induced base ring extension coring. Any bimodule that is finitely generated and projective on one side, together with a map of corings over the same base ring, lead to the notion of a module-morphism, which extends the notion of a morphism of corings (over different base rings). A module-morphism of corings induces functors between the categories of comodules. These functors are termed pull-back and push-out functors, respectively, and thus relate categories of comodules of different corings. We study when the pull-back functor is fully faithful and when it is an equivalence. A generalised descent associated to a morphism of corings is introduced. We define a category of module-morphisms, and show that push-out functors are naturally isomorphic to each other if and only if the corresponding module-morphisms are mutually isomorphic. All these topics are studied within a unifying language of bicategories and the extensive use is made of interpretation of corings as comonads in the bicategory Bim of bimodules and module-morphisms as 1-cells in the associated bicategories of comonads in Bim.     

Gauss’ lemma and valuation theory

Gauss’ lemma is not only critically important in showing that polynomial rings over unique factorization domains retain unique factorization; it unifies valuation theory. It figures centrally in Krull’s classical construction of valued fields with pre-described value groups, and plays a crucial role in our new short proof of the Ohm-Ja?ard-Kaplansky theorem on Bezout domains with given lattice-ordered abelian groups. Furthermore, Eisenstein’s criterion on the irreducibility of polynomials as well as Chao’s beautiful extension of Eisenstein’s criterion over arbitrary domains, in particular over Dedekind domains, are also obvious consequences of Gauss’ lemma. We conclude with a new result which provides a Gauss’ lemma for Hermite rings.     

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.     

Effective computation of singularities of parametric affine curves

Let k be a field of characteristic zero and f(t),g(t) be polynomials in k[t]. For a plane curve parameterized by x=f(t),y=g(t), Abhyankar developed the notion of Taylor resultant (Mathematical Surveys and Monographs, Vol. 35, American Mathematical Society, Providence, RI, 1990) which enables one to find its singularities without knowing its defining polynomial. This concept was generalized as D-resultant by Yu and Van den Essen (Proc. Amer. Math. Soc. 125(3) (1997) 689), which works over an arbitrary field. In this paper, we extend this to a curve in affine n-space parameterized by x₁=f₁(t),…,x_n=f_n(t) over an arbitrary ground field k, where f₁,…,f_n∈k[t]. This approach compares to the usual approach of computing the ideal of the curve first. It provides an efficient algorithm of computing the singularities of such parametric curves using Gröbner bases. Computational examples worked out by symbolic computation packages are included.