Related papers: Effective Nullstellensatz for Arbitrary Ideals
The Nullstellensatz, proved by Hilbert in 1893, is a classical result that holds when the base field is algebraically closed. When the base field is finite, a version of Hilbert's Nullstellensatz is given by Terjanian in 1966. Laksov in…
In this paper we define the algebraic sets and the ideal of points for bijective skew PBW extensions with coefficients in left Noetherian domains. Some properties of affine algebraic sets of commutative algebraic geometry will be extended,…
We prove a Nullstellensatz for the ring of polynomial functions in n non-commuting variables over Hamilton's ring of real quaternions. We also characterize the generalized polynomial identities in n variables which hold over the…
We prove that in every variety of $G$-groups, every $G$-existentially closed element satisfies nullstellensatz for finite consistent systems of equations. This will generalize {\bf Theorem G} of \cite{BMR1}. As a result we see that every…
We introduce a new division formula on projective space which provides explicit solutions to various polynomial division problems with sharp degree estimates. We consider simple examples as the classical Macaulay theorem as well as a quite…
We present different techniques for applying Combinatorial Nullstellensatz to polynomials over finite fields. For examples, we generalize theorems from Noga Alon's paper on the subject, and present a few of our own.
Let $I = ( f_1, \dots, f_n )$ be a homogeneous ideal in the polynomial ring $K[x_1, \dots,x_n]$ over a field $K$ generated by generic polynomials. Using an incremental approach based on a method by Gao, Guan and Volny, and properties of the…
The results in the paper are related to the classification problem for invariant subspaces of multiplication operators in several variables. The main results consist of characterizations, in the two dimensional case, of ideals of…
We consider the minimal free resolution of a generic set of n+1 forms (not necessarily of the same degree) in a polynomial ring of n variables. The Hilbert function for such an ideal is known, thanks to a result of Stanley and of Watanabe.…
We determine a sharp lower bound for the Hilbert function in degree $d$ of a monomial algebra failing the weak Lefschetz property over a polynomial ring with $n$ variables and generated in degree $d$, for any $d\geq 2$ and $n\geq 3$. We…
In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations.…
We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these…
This paper presents an expository reverse-mathematical analysis of two fundamental theorems in commutative algebra: Hilbert's Nullstellensatz and Basis Theorem. In addition to its profound significance in commutative algebra and algebraic…
We present bounds for the degree and the height of the polynomials arising in some central problems in effective algebraic geometry including the implicitation of rational maps and the effective Nullstellensatz over a variety. Our treatment…
In this study we find height bounds for polynomial rings over integral domains. We apply nonstandard methods and hence our constants will be ineffective. Then we find height bounds in the polynomial ring over algebraic numbers to test…
Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the…
We study the vanishing sets of slice regular polynomials in several quaternionic variables. We obtain a geometric description of the vanishing sets in two variables, which leads to a new version of the Strong Hilbert Nullstellensatz in the…
It follows from the Garloff-Wagner Theorem that the set of stable polynomials of degree $n$, denoted by $\mathcal{H}_n$, i.e., those whose zeros all lie in the open left complex half-plane, with the Hadamard product $*$, forms an abelian…
For an ideal of smooth functions that is either {\L}ojasiewicz or weakly {\L}ojasiewicz, we give a complete characterization of the ideal of functions vanishing on its variety in terms of the global {\L}ojasiewicz radical and Whitney…
In a recent paper by Harada, Seceleanu, and \c{S}ega, the Hilbert function, betti table, and graded minimal free resolution of a general principal symmetric ideal are determined when the number of variables in the polynomial ring is…