Related papers: Constants of Differentiation and Differential Idea…

In this paper, we give decision criteria for normal binomial difference polynomial ideals in the univariate difference polynomial ring F{y} to have finite difference Groebner bases and an algorithm to compute the finite difference Groebner…

We develop the theory of difference algebraic groups in the case where we have finitely many pairwise commuting difference operators. We show that the defining ideal of a difference algebraic group is finitely generated as a difference…

An excellent ring of prime characteristic for which the Frobenius map is pure is also Frobenius split in many commonly occurring situations in positive characteristic commutative algebra and algebraic geometry. However, using a fundamental…

There exists an absolute constant $\delta > 0$ such that for all $q$ and all subsets $A \subseteq \mathbb{F}_q$ of the finite field with $q$ elements, if $|A| > q^{2/3 - \delta}$, then \[ |(A-A)(A-A)| = |\{ (a -b) (c-d) : a,b,c,d \in A\}| >…

We obtain tight bounds for the minimal number of generators of an ideal with bounded-degree generators in a polynomial ring $K[X_1,\dots,X_n],$ as well as a sharp quantification of the maximum possible size of a minimal generating set of…

A ring R is said to be of stable range 1.5 if for each a, b from R and nonzero c from R satisfying aR + bR + cR = R there exists r from R such that (a + br)R + cR = R. Let R be a commutative domain in which all finitely generated ideals are…

We give examples of two dimensional normal ${\mathbb Q}$-Gorenstein graded domains, where the set of $F$-thresholds of the maximal ideal is not discrete, thus answering a question by Musta\c{t}\u{a}-Takagi-Watanabe. We also prove that, for…

We prove sharp estimates on the quadratic strand of the resolution of any homogeneous prime ideal in a standard graded polynomial ring over an arbitrary field. Our bounds only depend on the height of the prime ideal, and they are optimal…

Let $R$ be a commutative (Noetherian) local ring of prime characteristic $p$ that is $F$-pure. This paper is concerned with comparison of three finite sets of radical ideals of $R$, one of which is only defined in the case when $R$ is…

We investigate exponential ideals within the context of exponential polynomial rings over exponential fields. We establish two distinct notions of maximality for exponential ideals and explore their relationship to primeness. These three…

Let $F$ be a field, and let Zar$(F)$ be the space of valuation rings of $F$ with respect to the Zariski topology. We prove that if $X$ is a quasicompact set of rank one valuation rings in Zar$(F)$ whose maximal ideals do not intersect to…

A commutative ring R has finite rank r, if each ideal of R is generated at most by r elements. A commutative ring R has the r-generator property, if each finitely generated ideal of R can be generated by r elements. Such rings are closely…

Let $K$ be a field, $V$ a finite dimensional $K$-vector space and $E$ the exterior algebra of $V$. We analyze iterated mapping cone over $E$. If $I$ is a monomial ideal of $E$ with linear quotients, we show that the mapping cone…

For polynomial ideals in positive charachteristic, defining $F$-split rings and admitting a squarefree monomial initial ideal are different notions. In this note we show that, however, there are strong interactions in both directions.…

We define a stably free ideal domain to be a Noetherian domain whose left and right ideals ideals are all stably free. We define also a semi-stably free ideal domain to be an Ore domain whose finitely generated left and right ideals are…

Let $R$ be an integral domain with $qf(R)=K$ and let $F(R)$ be the set of nonzero fractional ideals of $R.$ Call $R$ a dually compact domain (DCD) if for each $I\in F(R)$ the ideal $I_{v}=(I^{-1})^{-1}$ is a finite intersection of principal…

Let $A$ be an associative algebra over a field $F$ of characteristic zero and let $L$ be a Lie algebra over $F$. If $L$ acts on $A$ by derivations, then such an action determines an action of its universal enveloping algebra $U(L)$ and in…

The purpose of this paper is to give a partial positive answer to a question raised by Khurana et al. as to whether a ring $R$ with stable range one and central units is commutative. We show that this is the case under any of the following…

Let F be a homogeneous real polynomial of even degree in any number of variables. We consider the problem of giving explicit conditions on the coefficients so that F is positive definite or positive semi-definite. In this note we produce a…

Given a polynomial $p$ with no zeros in the polydisk, or equivalently the poly-upper half-plane, we study the problem of determining the ideal of polynomials $q$ with the property that the rational function $q/p$ is bounded near a boundary…