We extend the Bass-Matlis characterization of local Noetherian divisorial domains to the non-Noetherian case. This result is then used to study the following question: If a domain D is w-divisorial, that is, if each w-ideal of D is divisorial, then is D[X] automatically w-divisorial? We show that the answer is yes if D is either integrally closed or Mori.
We extend to Prüfer $v$-multiplication domains some distinguished ring-theoretic properties of Prüfer domains. In particular we consider the $t##$-property, the $t$-radical trace property, $w$-divisoriality and $w$-stability.
A commutative ring $R$ is stable if every non-zero ideal $I$ of $R$ is projective over its ring of endomorphisms. Motivated by a paper of Bass in the 1960s, stable rings have received wide attention in the literature ever since then. Much is known on the algebraic structure of stable rings and on the relationship of stability with other algebraic properties such as divisoriality and the $2$-generator property. In the present paper we study the arithmetic of stable integral domains, with a focus on arithmetic properties of semigroups of ideals of stable orders in Dedekind domains.
We previously showed that the inverse limit of standard-graded polynomial rings with perfect coefficient field is a polynomial ring, in an uncountable number of variables. In this paper, we show that the same result holds with arbitrary coefficient field. We also prove an analogous result for ultraproducts of polynomial rings.
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct product of rings, which gives examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct products of rings. Our results generate examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
In this paper, we first consider the relationship between a polynomial ring $B$ over a Noetherian domain $R$ and the ring of invariants $A$ of a ${\mathbb G}_a$-action on $B$, when $A$ occurs as a retract of $B$. Next, we study retracts of a polynomial ring in general and address the questions of D. L. Costa raised in \cite{C}. Finally, we examine the behaviour of ideals and certain properties of rings under retractions.
Given a certain factorization property of a ring $R$, we can ask if this property extends to the polynomial ring over $R$ or vice versa. For example, it is well known that $R$ is a unique factorization domain if and only if $R[X]$ is a unique factorization domain. If $R$ is not a domain, this is no longer true. In this paper we survey unique factorization in commutative rings with zero divisors, and characterize when a polynomial ring over an arbitrary commutative ring has unique factorization.
The ring of integer-valued polynomials on an arbitrary integral domain is well-studied. In this paper we initiate and provide motivation for the study of integer-valued polynomials on commutative rings and modules. Several examples are computed, including the integer-valued polynomials over the ring $R[T_1,\ldots, T_n]/(T_1(T_1-r_1), \ldots, T_n(T_n-r_n))$ for any commutative ring $R$ and any elements $r_1, \ldots, r_n$ of $R$, as well as the integer-valued polynomials over the Nagata idealization $R(+)M$ of $M$ over $R$, where $M$ is an $R$-module such that every non-zerodivisor on $M$ is a n…
We develop the theory of Gröbner bases for ideals in a polynomial ring with countably infinite variables over a field. As an application we reconstruct some of the one-one correspondences among various sets of partitions by using division algorithm.
Let $K$ be the field of Laurent series with complex coefficients, let $\mathcal{R}$ be the inverse limit of the standard-graded polynomial rings $K[x_1, \ldots, x_n]$, and let $\mathcal{R}^{\flat}$ be the subring of $\mathcal{R}$ consisting of elements with bounded denominators. In previous joint work with Erman and Sam, we showed that $\mathcal{R}$ and $\mathcal{R}^{\flat}$ (and many similarly defined rings) are abstractly polynomial rings, and used this to give new proofs of Stillman's conjecture. In this paper, we prove the complementary result that $\mathcal{R}$ is a polynomial algebra ove…
The properties of the intersection algebra of two principal monomial ideals in a polynomial ring are investigated in detail. Results are obtained regarding the Hilbert series and the canonical ideal of the intersection algebra using methods from the theory of diophantine linear equations with integer coefficients.
We know that for a finite field $F$, every function on $F$ can be given by a polynomial with coefficients in $F$. What about the converse? i.e. if $R$ is a ring (not necessarily commutative or with unity) such that every function on $R$ can be given by a polynomial with coefficients in $R$, can we say $R$ is a finite field ? We show that the answer is yes, and that in fact it is enough to only require that all bijections be given by polynomials. If we allow our rings to have unity, we show that the property that all characteristic functions can be given by polynomials actually characterizes fi…
We review the definition of D-rings introduced by H. Gunji & D. L. MacQuillan. We provide an alternative characterization for such rings that allows us to give an elementary proof of that a ring of algebraic integers is a D-ring. Moreover, we give a characterization for D-rings that are also unique factorization domains to determine divisibility of polynomials using polynomial evaluations.
In this paper, we prove several results on the finiteness of local cohomology of polynomial and formal power series rings. In particular, we give a partial affirmative answer for a question of L. Núñez-Betancourt in [J. Algebra 399 (2014), 770--781].
We prove constructively that for any finite-dimensional commu- tative ring R, every stably free module over R[X;X^{1}] of rank > dim R is free, i.e., R[X;X^{-1}] is (dimR)-Hermite.
In this paper we find the tight closure of powers of parameter ideals of certain diagonal hypersurface rings. In many cases the associated graded ring with respect to tight closure filtration turns out to be Cohen-Macaulay. This helps us find the tight Hilbert polynomial in these diagonal hypersurfaces. We determine the tight Hilbert polynomial in the following cases: (1) F-pure diagonal hypersurfaces where number of variables is equal to the degree of defining equation, (2) diagonal hypersurface rings where characteristic of the ring is one less than the degree of defining equation and (3) qu…
We investigate the transfer of w-stability and Clifford w-regularity from a domain D to the polynomial ring D[X]. We show that these two properties pass from D to D[X] when D is either integrally closed or it is Mori and w-divisorial.
Using polynomial evaluation, we give some useful criteria to answer questions about divisibility of polynomials. This allows us to develop interesting results concerning the prime elements in the domain of coefficients. In particular, it is possible to prove that under certain conditions, the domain of coefficients must have infinitely many prime elements. We give alternative characterizations for D-rings and present various examples.
In this paper we will define analogs of Gröbner bases for $R$-subalgebras and their ideals in a polynomial ring $R[x_1,\ldots,x_n]$ where $R$ is a noetherian integral domain with multiplicative identity and in which we can determine ideal membership and compute syzygies. The main goal is to present and verify algorithms for constructing these Gröbner basis counterparts. As an application, we will produce a method for computing generators for the first syzygy module of a subset of an $R$-subalgebra of $R[x_1,\ldots,x_n]$ where each coordinate of each syzygy must be an element of the subalgebra.
This is an expository paper in which it is proved that, for every infinite field ${\mathbf{F}}$, the polynomial ring ${\mathbf{F}}[t_1,\ldots, t_n]$ has Krull dimension $n$. The proof uses only "high school algebra" and the rudiments of undergraduate "abstract algebra."
Let $R=k[x_1,..., x_n]$ be a polynomial ring over a field $k$ of characteristic $p>0,$ and let $I=(f_1,...,f_s)$ be an ideal of $R.$ We prove that every associated prime $P$ of $H^i_I(R)$ satisfies $\text{dim}R/P\geqslant n-\sum\text{deg}f_i.$ In characteristic 0 the question is open.
Let $R$ be a commutative chain ring. We use a variation of Gröbner bases to study the lattice of ideals of $R[x]$. Let $I$ be a proper ideal of $R[x]$. We are interested in the following two questions: When is $R[x]/I$ Frobenius? When is $R[x]/I$ Frobenius and local? We develop algorithms for answering both questions. When the nilpotency of $\text{rad}\,R$ is small, the algorithms provide explicit answers to the questions.
This short note is the generalization of Faugere F4-algorithm for polynomial rings with coefficients in Euclidean rings. This algorithm computes successively a Groebner basis replacing the reduction of one single s-polynomial in Buchberger's algorithm by the simultaneous reduction of several polynomials.
Let $A$ be a ring and $R$ be a polynomial or a power series ring over $A$. When $A$ has dimension zero, we show that the Bass numbers and the associated primes of the local cohomology modules over $R$ are finite. Moreover, if $A$ has dimension one and $π$ is an nonzero divisor, then the same properties hold for prime ideals that contain $π.$ These results do not require that $A$ contains a field. As a consequence, we give a different proof for the finiteness properties of local cohomology over unramified regular local rings. In addition, we extend previous results on the injective dimension of…
In a commutative ring $R$ with unity, given an ideal $I$ of $R$, Anderson and Badawi in 2011 introduced the invariant $ω(I)$, which is the minimal integer $n$ for which $I$ is an $n$-absorbing ideal of $R$. In the specific case that $R = k[x_{1}, \ldots, x_{n}]$ is a polynomial ring over a field $k$ in $n$ variables $x_{1},\ldots, x_{n}$, we calculate $ω(I)$ for certain monomial ideals $I$ of $R$.
We present an algorithm to compute a primary decomposition of an ideal in a polynomial ring over the integers. For this purpose we use algorithms for primary decomposition in polynomial rings over the rationals resp. over finite fields, and the idea of Shimoyama-Yokoyama resp. Eisenbud-Hunecke-Vasconcelos to extract primary ideals from pseudo-primary ideals. A parallelized version of the algorithm is implemented in SINGULAR. Examples and timings are given at the end of the article.
In this paper, we address various aspects of divisibility by irreducibles in rings consisting of integer-valued polynomials. An integral domain is called atomic if every nonzero nonunit factors into irreducibles. Atomic domains that do not satisfy the ascending chain condition on principal ideals (ACCP) have proved to be elusive, and not many of them have been found since the first one was constructed by A. Grams in 1974. Here we exhibit the first class of atomic rings of integer-valued polynomials without the ACCP. An integral domain is called a finite factorization domain (FFD) if it is simu…
Let k be a field and R a pure subring of the infinite-dimensional polynomial ring k[X1;...]. If R is generated by monomials, then we show that the equality of height and grade holds for all ideals of R. Also, we show R satisfies the weak Bourbaki unmixed property. As an application, we give the Cohen-Macaulay property of the invariant ring of the action of a linearly reductive group acting by k-automorphism on k[X1;...]. This provides several examples of non-Noetherian Cohen-Macaulay rings (e.g. Veronese, determinantal and Grassmanian rings).
Let K be a field, m and n positive integers, and X = {x_1,...,x_n}, and Y = {y_1,..., y_m} sets of independent variables over K. Let A be the polynomial ring K[X] localized at (X). We prove that every prime ideal P in A^ = K[[X]] that is maximal with respect to P\cap A = (0) has height n-1. We consider the mixed power series/polynomial rings B := K[[X]][Y]_{(X,Y)} and C := K[Y]_{(Y)}[[X]]. For each prime ideal P of B^ = C that is maximal with respect to either P \cap B = (0) or P \cap C = (0), we prove that P has height n+m-2. We also prove that each prime ideal P of K[[X, Y]] that is maximal …
In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a consequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for many facts on polynomials and formal power series; some of them as sample are treated in this note. Besides the universal properties of the monoid rings and polynomial rings, a universal property for the formal power series rings is also established.
Let R be a commutative ring with1 and R[X] be the polynomial ring over R. We determine the underlying ring R over which the polynomial ring R[X] has the property that all its prime ideals are set theoretic complete intersections.
The ring of dual numbers over a ring $R$ is $R[α] = R[x]/(x^2)$, where $α$ denotes $x+(x^2)$. For any finite commutative ring $R$, we characterize null polynomials and permutation polynomials on $R[α]$ in terms of the functions induced by their coordinate polynomials ($f_1,f_2\in R[x]$, where $f=f_1+αf_2$) and their formal derivatives on $R$. We derive explicit formulas for the number of polynomial functions and the number of polynomial permutations on $\mathbb{Z}_{p^n}[α]$ for $n\le p$ ($p$ prime).
In this article we consider the exterior power and the symmetric tensors of the polynomial ring in one variable. The structure of an associative semigraded algebra of this polynomial ring induces on the symmetric tensors the structure of an associative semigraded algebra, and on the exterior power induces structure of a semigraded module over semigraded algebra of symmetric tensors. The algebra of symmetric polynomials is isomorphic to the algebra of the symmetric tensors of polynomial ring in one variables. We obtained the explicit expression for symmetric polynomials via elementary symmetric…
Recently, Edo-Poloni constructed a family of tame automorphisms of a polynomial ring in three variables which degenerates to a wild automorphism. In this note, we generalize the example by a different method.
The principal minors of the Toeplitz matrix $\left( x_{i-j+1}\right)_{1\le i,j,\le n}$, where $x_0=1, x_k=0$ if $k\le -1$, directly determine an involution of the polynomial ring $R[x_1, ... ,x_n]$ over any commutative ring $R$.
Let $D$ be a domain with fraction field $K$, and let $M_n(D)$ be the ring of $n \times n$ matrices with entries in $D$. The ring of integer-valued polynomials on the matrix ring $M_n(D)$, denoted ${\rm Int}_K(M_n(D))$, consists of those polynomials in $K[x]$ that map matrices in $M_n(D)$ back to $M_n(D)$ under evaluation. It has been known for some time that ${\rm Int}_{\mathbb{Q}}(M_n(\mathbb{Z}))$ is not integrally closed. However, it was only recently that an example of a polynomial in the integral closure of ${\rm Int}_{\mathbb{Q}}(M_n(\mathbb{Z}))$ but not in the ring itself appeared in t…
In this paper we prove that if $R$ is a commutative, reduced, local ring, then $R$ is Hopfian if and only if the ring $R[x]$ is Hopfian. This answers a question of Varadarajan, in the case when $R$ is a reduced local ring. We provide examples of non-Noetherian Hopfian commutative domains by proving that the finite dimensional domains are Hopfian. Also, we derive some general results related to Hopfian rings.
In this note we consider the links of prime ideals of certain skew polynomial rings and prove our main theorem, namely theorem [5], which states the following.Let R be a noetherian ring that is link k-symmetric and let σ be an automorphism of R.Let S(R) denote the skew polynomial ring R[x,σ]. Let B be a prime ideal of S(R) that is extended from R. Then, for a prime ideal D of S(R),there is a link D\rightarrowB in the ring S(R) implies that D is an extended prime ideal of S(R).
Using the functional interpretation from proof theory, we analyze nonconstructive proofs of several central theorems about polynomial and differential polynomial rings. We extract effective bounds, some of which are new to the literature, from the resulting proofs. In the process we discuss the constructive content of Noetherian rings and the Nullstellensatz in both the classical and differential settings. Sufficient background is given to understand the proof-theoretic and differential-algebraic framework of the main results.