English
Related papers

Related papers: On the Problem of Separating Variables in Multivar…

200 papers

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field $K$, and let $A$ be a finitely generated standard graded $S$-algebra. We show that if the defining ideal of $A$ has a quadratic initial ideal, then all the graded components of…

Commutative Algebra · Mathematics 2025-02-12 Takayuki Hibi , Somayeh Moradi

Let $F(\boldsymbol x)$ be a homogeneous polynomial in $n \ge 1$ variables of degree $1 \leq d \leq n$ with integer coefficients so that its degree in every variable is equal to $1$. We give some sufficient conditions on $F$ to ensure that…

Number Theory · Mathematics 2020-07-16 Albrecht Boettcher , Lenny Fukshansky

The problem of finding independent components of an indexed object (e.g., a tensor) with arbitrary number of indices and arbitrary linear symmetries is discussed. It is proved that the number of independent components $f(k)$ is a polynomial…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Sergei A. Klioner

Let $I$ be a square-free monomial ideal in a polynomial ring $R=K[x_1,\ldots, x_n]$ over a field $K$, $\mathfrak{m}=(x_1, \ldots, x_n)$ be the graded maximal ideal of $R$, and $\{u_1, \ldots, u_{\beta_1(I)}\}$ be a maximal independent set…

Commutative Algebra · Mathematics 2022-05-27 Mirsadegh Sayedsadeghi , Mehrdad Nasernejad , Ayesha Asloob Qureshi

We establish an explicit formula for the number $C_n(q)$ of ideals of codimension $n$ of the algebra ${\mathbb F}_q[x,y,x^{-1}, y^{-1}]$ of Laurent polynomials in two variables over a finite field of cardinality $q$. This number is a…

Algebraic Geometry · Mathematics 2020-05-14 Christian Kassel , Christophe Reutenauer

Standard noncommutative Gr\"obner basis procedures are used for computing ideals of free noncommutative polynomial rings over fields. This paper describes Gr\"obner basis procedures for one-sided ideals in finitely presented noncommutative…

Rings and Algebras · Mathematics 2007-05-23 Anne Heyworth

This paper is a continuation of a previous work by the author and G. Puninski where iterated intersections of powers of ideals were studied in rings of iterated differential polynomials. We present a method which can be used to show that…

Rings and Algebras · Mathematics 2024-01-15 Pavel Příhoda

Let k be an algebraically closed field. A polynomial F in k[X,Y] is said to be "generally rational" if, for almost all c in k, the curve " F= c '' is rational. It is well known that, if char(k)=0, F is generally rational iff there exists G…

Algebraic Geometry · Mathematics 2013-07-16 Daniel Daigle

In this paper, we define an invariant, which we believe should be the substitute for total K-theory in the case when there is one distinguished ideal. Moreover, some diagrams relating the new groups to the ordinary K-groups with…

Operator Algebras · Mathematics 2021-09-20 Søren Eilers , Gunnar Restorff , Efren Ruiz

For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this…

Commutative Algebra · Mathematics 2017-04-12 Ela Celikbas , Jai Laxmi , Jerzy Weyman

In this article we first compare the set of elements in the socle of an ideal of a polynomial algebra $K[x_1,\ldots,x_d]$ over a field $K$ that are not in the ideal itself and Macaulay's inverse systems of such polynomial algebras in a…

Commutative Algebra · Mathematics 2023-09-26 Geir Agnarsson , Neil Epstein

We study the problem of representing multivariate polynomials with rational coefficients, which are nonnegative and strictly positive on finite semialgebraic sets, using rational sums of squares. We focus on the case of finite semialgebraic…

Algebraic Geometry · Mathematics 2025-12-16 Lorenzo Baldi , Teresa Krick , Bernard Mourrain

If K/k is a function field in one variable of positive characteristic, we describe a general algorithm to factor one-variable polynomials with coefficients in K. The algorithm is flexible enough to find factors subject to additional…

Number Theory · Mathematics 2024-09-16 Jose Felipe Voloch

Given a square matrix $B$ over a principal ideal domain $D$ and an ideal $J$ of $D$, the $J$-ideal of $B$ consists of the polynomials $f\in D[X]$ such that all entries of $f(B)$ are in $J$. It has been shown that in order to determine all…

Commutative Algebra · Mathematics 2017-04-12 Clemens Heuberger , Roswitha Rissner

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…

Commutative Algebra · Mathematics 2008-06-10 Luis F. Caceres , Jose A. Velez-Marulanda

We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring…

Commutative Algebra · Mathematics 2013-12-30 Zechariah Andersen , Sean Sather-Wagstaff

A zero-dimensional polynomial ideal may have a lot of complex zeros. But sometimes, only some of them are needed. In this paper, for a zero-dimensional ideal $I$, we study its complex zeros that locate in another variety $\textbf{V}(J)$…

Symbolic Computation · Computer Science 2014-08-19 Ye Liang

In this paper we study classes of monomial ideals for which all of its powers have a linear resolution. Let K[x_{1},x_{2}] be the polynomial ring in two variables over the field K, and let L be the generalized mixed product ideal induced by…

Commutative Algebra · Mathematics 2024-04-02 Monica La Barbiera , Roya Moghimipor

Let $\mathcal{A}$ denote a central hyperplane arrangement of rank $n$ in affine space $\mathbb{K}^n$ over an infinite field $\mathbb{K}$ and let $l_1,\ldots, l_m\in R:= \mathbb K[x_1,\ldots,x_n]$ denote the linear forms defining the…

Commutative Algebra · Mathematics 2021-01-11 Ricardo Burity , Aron Simis , Stefan Tohaneanu

We characterize the monomial ideals $I\subset K[x_1,\ldots,x_n]$ with the property that the polarization $I^p$ and $I^{\sigma^n}:=$ the ideal obtained from $I$ by the $n$-th iterated squarefree operator $\sigma$ are isomorphic via a…

Commutative Algebra · Mathematics 2024-05-01 Mircea Cimpoeas