相关论文: Primality of polyomino ideals by quadratic Gr\"obn…

Quaternionic polynomials occur naturally in applications of quaternions in science and engineering, and normalization of quaternionic polynomials is a basic manipulation. Once a Groebner basis is certified for the defining ideal I of the…

In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal…

After sketching the basic theory of injective ideals of homogeneous polynomials, we characterize injective polynomial ideals by means of a domination property and applications of this characterization to some classical operator ideals and…

Bartholdi and Smoktunowicz constructed finitely generated monomial algebras with prescribed sufficiently fast growth types. We show that their construction need not result in a prime algebra, but it can be modified to provide prime algebras…

In this paper we prove that the gradient ideal of a Morse polynomial is radical. This gives a generic class of polynomials whose gradient ideals are radical. As a consequence we reclaim a previous result that the unconstrained polynomial…

We describe an algorithm which finds binomials in a given ideal $I\subset\mathbb{Q}[x_1,\dots,x_n]$ and in particular decides whether binomials exist in $I$ at all. Binomials in polynomial ideals can be well hidden. For example, the lowest…

We study the degree of non-homogeneous lattice ideals over arbitrary fields, and give formulae to compute the degree in terms of the torsion of certain factor groups of Z^s and in terms of relative volumes of lattice polytopes. We also…

Gr\"obner bases are a fundamental tool when studying ideals in multivariate polynomial rings. More recently there has been a growing interest in transferring techniques from the field case to other coefficient rings, most notably Euclidean…

This paper investigates the doubly exponential ideal membership property of the Mayr-Meyer ideals from the point of view of their associated primes. A doubly-exponential upper bound on the set of associated primes is proved. In the paper a…

We present a formalization of Gr\"obner basis theory in Lean 4, built on top of Mathlib's infrastructure for multivariate polynomials and monomial orders. Our development covers the core foundations of Gr\"obner basis theory, including…

We construct families of prime ideals in polynomial rings for which the number of associated primes of the second power (or higher powers) is exponential in the number of variables in the ring. We give a lower bound on the Ananyan-Hochster…

Let R be a nil ring. We prove that primitive ideals in the polynomial ring R[x] in one indeterminate over R are of the form I[x] for some ideals I of R.

This paper is concerned with the prime spectrum of a tensor product of algebras over a field. It seeks necessary and sufficient conditions for such a tensor product to have the S-property, strong S-property, and catenarity. Its main results…

We apply the theory of Groebner bases to the study of signed, symmetric polyomino tilings of planar domains. Complementing the results of Conway and Lagarias we show that the triangular regions T_N=T_{3k-1} and T_N=T_{3k} in a hexagonal…

We prove a doubly exponential bound for the Castelnuovo-Mumford regularity of prime ideals defining varieties with polynomial parametrisation.

In this paper, we study first the relationship between Pommaret bases and Hilbert series. Given a finite Pommaret basis, we derive new explicit formulas for the Hilbert series and for the degree of the ideal generated by it which exhibit…

For a given monomial ideal $J \subset k[x_1, \ldots, x_n]$ and a given monomial order $\prec$, the moduli functor of all reduced Gr\"obner bases with respect to $\prec$ whose initial ideal is $J$ is determined. In some cases, such a functor…

We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.

Semiprime ideals of an arbitrary Leavitt path algebra L are described in terms of their generators. This description is then used to show that the semiprime ideals form a complete sublattice of the lattice of ideals of L, and they enjoy a…

We prove that two finite prime $\Omega$-algebras defined over the same unital commutative ring and satisfying the same set of polynomial identities are isomorphic.