# Questions tagged [groebner-bases]

The groebner-bases tag has no usage guidance.

**-1**

votes

**1**answer

97 views

### How to recover the ideal from grobner basis of kernel of ann(x)

M -> ann(x)
i can find the grobner basis of kernel of ann(x) and need the final step to recover this basis to ideal
as i know, eliminate is not for all cases, what is the general practice to treat ...

**6**

votes

**0**answers

279 views

### Testing isomorphism of finitely generated algebras

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and
$C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated $\...

**5**

votes

**0**answers

210 views

### Weyl algebra acting on a polynomial ring

Let $\mathbb K$ be a characteristic-$0$ field, $R=\mathbb K[x_1,\ldots,
x_n]$ be a polynomial ring, and $W=\mathbb K[x_1,\ldots,x_n,\partial_1,\ldots \partial_n]$ be the Weyl
algebra. As usual $W$ ...

**5**

votes

**0**answers

111 views

### Computations in Weyl algebra with rational function coefficients

I am looking for a software to perform calculations with modules over the algebra $R_n=\mathbb{C}(x_1\ldots x_n)\langle \partial_1\ldots\partial_n\rangle$ of differential operators with rational ...

**4**

votes

**0**answers

53 views

### Compute equalizer of maps of polynomial rings, perhaps using Gröbner bases

Suppose that $k$ is a field and I have two ring homomorphisms
$$
\phi, \psi :k[x_1,...,x_m] \to k[y_1,...,y_n].
$$
How can I use Gröbner bases (or other computational tools) to compute the subring of ...

**4**

votes

**0**answers

69 views

### Gröbner bases of resultants and their monomial ideals

$\newcommand{QQ}{\mathbb{Q}}$
Consider the ring $R = \QQ[x, a_1,\ldots,a_m]$ for a certain integer $m$ and the homogeneous polynomial
$$
f = x^{m+1} + \sum_{i=1}^m a_i^i x^{m+1 - i}
$$
Now let
$$
...

**4**

votes

**0**answers

66 views

### Does a polynomial system with precisely e solutions have a Groebner basis of degree bounded by e?

Let $k$ be a field and let $R=k[X_1,...,X_n]$ be a polynomial ring. Let $F \subset R$ be a finite subset generating a radical ideal $I$ with precisely $e$ solutions over an algebraic closure of $k$. ...

**4**

votes

**0**answers

151 views

### Bound for the height of equations defining the singular locus of a variety

Fix positive integers $m, n, d$.
In what follows, the height of an algebraic number will mean the absolute multiplicative height.
Let $V \subset \bar{\mathbb{Q}}^n$ be an affine algebraic variety ...

**4**

votes

**0**answers

298 views

### Bounding the degrees in a Bézout relation for integer polynomials

Let $A$ and $B$ be two polynomials in $\mathbf Z[X]$ which generate $\mathbf Z[X]$, that is assume that there exist polynomials $U$ and $V$ in $\mathbf Z[X]$ such that
$$
A \cdot U + B \cdot V=1.
$$
...

**3**

votes

**0**answers

62 views

### $\mathbb Z$-torsion for some quadratically presented Lie rings

$\newcommand{\Z}{\mathbb{Z}}$
I asked this question on MSE but no answer so far, so I'm also asking it here.
Let $L$ be a Lie ring (a Lie algebra over $\Z$) with generators $x_1,\dots,x_n$ and ...

**1**

vote

**0**answers

27 views

### Grobner basis of the toric ideal $I_{A_P}$ with respect to $<_{rev}$ consists of those binomials $t_αt_β − t_{α\cap β} t_{α\cup β}$

I try to understand the proof of the Theorem. 10.1.3.(page 185) from ''Monomial Ideals'' by Herzog & Hibi.
The reduced Grobner basis of the toric ideal $I_{A_P}$ with respect
to $<_{rev}$ ...

**1**

vote

**0**answers

66 views

### Size of the Groebner basis and change of coordinates

Given an ideal $I$ of $k[x,y]$, the size of the Groebner basis depends on the monomial ordering. For example, if
$$
I = \langle x^3y^4 , x^2 + y^2 \rangle,
$$
then the Groebner basis with the ...

**1**

vote

**0**answers

55 views

### Computing intersection of Weyl algebra ideal with certain subring

Let $D=k [x_1,\ldots, x_n, \partial_1,\ldots, \partial_n] $ be the nth Weyl algebra over the characteristic zero field $k $. Set $\theta_i=x_i\partial_i $. Let $I $ be a left ideal in $D $. Is there a ...

**0**

votes

**0**answers

101 views

### Maximal elements for ideals and subrings ordered by inclusion with fixed number of minimal generating polynomials

Let $R=\mathbb{R}[X_1,\dots,X_n]$, and
$$\mathfrak{I}_d=\{ \text{ideals for which there is minimal generating system with $d$ elements} \}\setminus \{\text{ ideals generated by $d$ monomials}\}$$
...

**0**

votes

**0**answers

276 views

### Can we find a Groebner Basis?

I would like to ask the following. Given only the leading terms of an ideal $I$, namely the set $LT(I)$, is it possible to find a Groebner Basis of $I$? If not always, then when is it possible? We ...