Related papers: Proof mining and effective bounds in differential …
We study questions around the existence of bounds and the dependence on parameters for linear-algebraic problems in polynomial rings over rings of an arithmetic flavor.In particular, we show that the module of syzygies of polynomials…
We introduce the theory of monoidal Groebner bases, a concept which generalizes the familiar notion in a polynomial ring and allows for a description of Groebner bases of ideals that are stable under the action of a monoid. The main…
We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which is…
Let $F$ be a field. We show that certain subrings contained between the polynomial ring $F[X] = F[X_1, ..., X_n]$ and the power series ring $F[X][[Y]] = F[X_1, ..., X_n][[Y]]$ have Weierstrass Factorization, which allows us to deduce both…
In this article, we compile the work done by various mathematicians on the topic of the fixed divisor of a polynomial. This article explains most of the results concisely and is intended to be an exhaustive survey. We present the results on…
Among the finitely generated modules over a Noetherian ring R, the semidualizing modules have been singled out due to their particularly nice duality properties. When R is a normal domain, we exhibit a natural inclusion of the set of…
We introduce a weak division-like property for noncommutative rings: a nontrivial ring is fadelian if for all nonzero $a,x$ there exist $b,c$ such that $x=ab+ca$. We prove properties of fadelian rings, and construct examples of such rings…
Hilbert's Nullstellensatz is one of the most fundamental correspondences between algebra and geometry, and has inspired a plethora of noncommutative analogs. In last two decades, there has been an increased interest in understanding…
The cohomology annihilator of a noetherian ring that is finitely generated as a module over its center is introduced. Results are established linking the existence of non-trivial cohomology annihilators and the existence of strong…
We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Goedel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones.…
This article investigates strong generation within the module category of a commutative Noetherian ring. We establish a criterion for such rings to possess strong generators within their module category, addressing a question raised by…
Let $R$ be a commutative noetherian ring. The $n$-semidualizing modules of $R$ are generalizations of its semidualizing modules. We will prove some basic properties of $n$-semidualizing modules. Our main result and example shows that the…
This article investigates the splitting problem for finitely generated projective modules $P$ over affine algebras over algebraically closed fields and their polynomial extensions. We then address an open question due to M. Roitman on monic…
We initiate the study of profinite rigidity for modules over a Noetherian domain: to what extent are these objects determined by their finite images? We establish foundational statements in analogy to classical results in the category of…
Outside of the framework of geometric theories, we exhibit complete, respectively model-complete theories of rings whose corresponding theory of pairs is complete, respectively model-complete, using transfer results proven in the seventies…
Sequences of discrete random variables are studied whose probability generating functions are zero-free in a sector of the complex plane around the positive real axis. Sharp bounds on the cumulants of all orders are stated, leading to…
We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting…
In ``New Proofs of the structure theorems for Witt Rings'', Lewis shows how the standard ring-theoretic results on the Witt ring can be deduced in a quick and elementary way from the fact that the Witt ring of a field is integral and from…
We introduce a new approach for generating combinatorial identities and formulas by the application of Kronecker substitution to polynomial expansions within quotient rings. Our main result enables the derivation of elementary arithmetic…
This note introduces a class of nonlinear Neumann problems on balls expanding with the radii tending towards infinity. Performing singular perturbation arguments, we establish the corresponding concentration phenomenon and refined…