Questions tagged [groebner-basis]
A Gröbner basis is a type of a generating set of an ideal in a polynomial ring over a field. It is a multivariate non linear generalization of Gaussian elimination and Euclid's algorithm.
273
questions
2
votes
1
answer
60
views
Is a monomial basis a Groebner basis?
Given a monomial ideal
$$I = \langle x^{\alpha} \mid \alpha \in A \subset \Bbb Z^n_{\geq 0}\rangle,$$
I want to know if the rest of the polynomial division of $f \in \mathbb{K}[x_1,...,x_n]$ by the ...
- 641
2
votes
1
answer
73
views
Gröbner Basis consisting of 3 polynomials with exactly 13 common solutions
I'm studying Gröbner bases and am using the following definitions and results:
Let $I$ be an ideal in $R = K[x_1,...,x_n]$ for some field $K$ and some $n>0$ and fix a monomial ordering on $R$. A ...
- 23
1
vote
0
answers
54
views
Groebner basis for system of integral quadratic forms
I have a system of quadratic forms (homogeneous polynomials of degree $ 2 $) with integer coefficients. Each quadratic form is the trace of a product of matrices. I'm solving for the matrix entries. ...
- 5,642
1
vote
1
answer
43
views
Are zero dimensional Ideals radical?
I have a question about Theorem 3.7.25. of Computational commutative algebra I by M. Kreuzer and L. Robbiano.
Let $K$ be a perfect field, $I \subseteq K[x_1, \ldots, x_n]$, be a zero dimensional ...
- 133
0
votes
5
answers
102
views
Finding redundant equations in a underdetermined system of multivariate polynomial equations over $\Bbb R$
Starting from a geometric problem, I came up with a system of multivariate (many lines and points) polynomial equations where some equations are redundant (because they correspond to redundant ...
- 145
0
votes
1
answer
36
views
Non uniqueness of solution to system of polynomial equations using Gröbner bases
Consider the system of polynomial equations
\begin{align}
x + y + z &= a,\\
xy &= b,\\
z&=c,
\end{align}
where $x, y, z$ are the unknowns, and $a,b,c$ are known real numbers. It is clear ...
- 1,191
0
votes
1
answer
31
views
Property of remainders of Grobner basis
Let $G$ be a Gröbner basis for an ideal $I \subseteq \mathbb{F}[x_{1}, \ldots x_{n}]$. Let $f,g$ be in $\mathbb{F}[x_{1}, \ldots x_{n}]$ and recall that $\overline{f}^{G}$ is the remainder of $f$ ...
- 573
2
votes
1
answer
78
views
Determining reduced Groebner basis of $I(V)$ by using Lagrange
I am working on the following task from Ideals, Varieties, and Algorithms by Cox, Little, Shea:
I already completed parts a and b of the task. But I struggle finishing part c: Using the hint I take $...
- 59
0
votes
0
answers
8
views
Translation of the convex condiion for automatic geometric theorem proving
Question. How to automatically prove the following statement:
(*) A convex quadrilateral ABCD satisfies AB = CD and AD = BC, then it is a parallelogram.
I am reading Automatic Geometric Theorem ...
- 59
3
votes
1
answer
122
views
Algorithm for writing an image of a polynomial in a quotient ring in terms of a given basis of the quotient ring.
I need to calculate the equivariant Chern classes of certain vector
bundles on the classifying spaces of complex algebraic groups. In order
to do this I am looking for a way to do the following ...
1
vote
0
answers
32
views
Solve system of polynomial equations based on distance?
I am trying to find the solution for this polynomial system. For some context it represents a game where every player has to choose a location in the x-line, given that it is best to be closer to 0, ...
- 215
0
votes
0
answers
37
views
Example of initial ideal
I have a problem with understand some example, which I present below.
Let ideal $I = (x_1^2 + 3x_1x_2, 2x_1^2 + x_2^2)$. The initial monomial of both generators
is $x_1^2$. However, twice the first ...
- 11
0
votes
0
answers
46
views
Prove for the ideals $I,J$ that $J\nsubseteq I$
consider the ideals $I=\langle f_1,f_2\rangle$ and $J=\langle h_1,h_2\rangle$ in $\mathbb{Q}[x,y]$. I want to prove that $J\nsubseteq I$.
I'm trying to do this by proving that every element from $J$ ...
- 309
1
vote
1
answer
54
views
Find (a generating set for) $\mathbb{Q}[x]\cap I$ where $I=\langle x^2-y,y^2-x,x^5-x^2\rangle$ (generate gröbner basis).
Consider the polynomial ring $\mathbb{Q}[x,y]$ and the ideal $I=\langle x^2-y,y^2-x,x^5-x^2\rangle$ in $\mathbb{Q}[x,y]$. $G=(x^2-y,y^2-x)$ is a (reduced) gröbner basis for $I$ wrt. graded ...
- 309
1
vote
0
answers
250
views
When does the system $x^n-1=y^n-1=x(y-1)^2+y(x-1)^2=0$ have only the trivial solution $(1,1)$ over the prime field of order $p$?
Let $F_p$ be the prime field of order $p$, $\overline{F_p}$ be its algebraic closure, and $n$ be an integer such that $\gcd(n,p)=1$. Consider the following three polynomials in $F_p[x,y]$:
$$
p_1(x,y)=...
- 199
0
votes
0
answers
51
views
Extension theorem over reals
Is there an equivalent of the following theorem from Cox, Little & O'Shea over reals?
Definition.
Given $I=\left\langle f_{1}, \ldots, f_{s}\right\rangle \subseteq k\left[x_{1}, \ldots, x_{n}\...
- 167
2
votes
1
answer
168
views
How to find an ideal of variety?
I've been going through Ideals, Varieties, and Algorithms book by D. Cox et al., and have been stuck on exercise 4.12. I've solved it in a half, but have stuck on the next question: how to find an ...
- 402
0
votes
1
answer
35
views
Is the induced map $V(I) \longrightarrow V(J)$ is surjective for $I=(xy-1,y^2-z)\subset\Bbb C[x,y,z]$ and $J=I\cap \Bbb C[y,z]$?
Let $\mathbb{C}[x, y, z]$ be a polynomial ring, and set $I = (xy - 1, y^2 - z)$. Compute $J = I \cap \mathbb{C}[y, z]$. Is the induced map $V(I) \longrightarrow V(J)$ surjective?
I have trouble ...
- 400
0
votes
1
answer
52
views
$G$ is a Grobner basis if and only if $\overline{f}^{G} = 0$
Claim: $G = \{g_1, \cdots, g_s\}$ is a Grobner basis if and only if for all $f \in I \subseteq k[x_1, \cdots, x_n]$ we have $\overline{f}^{G} = 0$. Here, the overline notation means remainder upon ...
- 341
0
votes
1
answer
27
views
Number of monomials in the complement of $\langle LT(I) \rangle$.
I'm trying to find the number of monomials in the complement of $\langle LT(I) \rangle$, with both the lexicographic ($>_{lex}$) and graduated lexicographic ($>_{grlex}$) orders for the ideal $I ...
2
votes
0
answers
118
views
Termination of Buchberger's algorithm for path algebras
I'm reading the paper Noncommutative Gröbner Bases, and Projective Resolutions by Edward L. Green, which presents a version of Buchberger's algorithm for path algebras.
I'm trying to show that the ...
- 608
1
vote
0
answers
62
views
Understanding Graver basis, Grobner basis, and Lawrence lifting
I'm trying to understand the relationship between Graver and Grobner basis, in particular how Graver basis can be computed via Grobner basis via Lawrence lifting. The key result appear to be Theorem 7....
- 2,582
3
votes
0
answers
70
views
Differences in theory of Groebner bases when we work over finite fields.
I was having a look at the Buchberger algorithm as my work requires solving system of multivariate polynomial equations over finite fields. I am reading from here: Lecture 1
I came across the ...
- 5,453
2
votes
1
answer
72
views
Suppose $G$ and $G'$ are grobner bases for the ideal $I$. Show that $\overline{f}^{G} = \overline{f}^{G'}$ for $f \in k[x_1, \cdots, x_n]$
Suppose $G$ and $G'$ are grobner bases for the ideal $I$. Show that $\overline{f}^{G} = \overline{f}^{G'}$ for $f \in k[x_1, \cdots, x_n]$
By the division algorithm and Proposition $1$, we may write $...
- 177
2
votes
1
answer
41
views
Basic question about S-polynomial example
consider $f = xy + z^3$ and $z^2 -3z$ with Lex ordering (x>y>z). Then the S-polynomial of $f$ and $g$ is:
$S(f,g) = xyz^2 + z^5 -xyz^2 - 3xyz = z^5 - 3xyz$.
An S-polynomial is supposed to cancel ...
- 177
1
vote
1
answer
92
views
Show that a sequence of polynomials cannot be a Gröbner basis wrt. any term ordering
Consider the ideal $I=\left\langle x^{2}+y^{2}, x^{3}+y^{3}\right\rangle \subseteq \mathbb{Q}[X, Y]$ and the basis $G=(x^2+y^2,x^3+y^3)$ with lexicographic ordering $x\geq y$. Consider two $S$-...
- 309
1
vote
1
answer
61
views
Is the inverse of $(x+y, zw+z+w, y^2)\subset Q[x,y,z,w]$ under inclusion $g: Z[x,y,z,w]\to Q[x,y,zw]$ in $Z[x,y,z,w]$ still be $(x+y, zw+z+w, y^2)$?
In general, suppose
$g: Z[x,y,z,w] \to Q[x,y,z,w]$
is the canonical inclusion, and $I=(f_1,...,f_n)\subset Q[x,y,z,w]$ be an ideal such that for each $f_i$, its coefficients are 1, and for each two ...
- 173
5
votes
0
answers
300
views
Are there any examples of math olympiad problems that can be solved by modern math?
I am looking for word problems that can be tackled by subjects like category theory, commutative algebra, nonlinear algebra, algebraic geometry etc.
- 85
1
vote
1
answer
90
views
Product of Grobner bases and product of the ideals generated by said Grobner bases
Suppose $G, G'$ are Grobner bases for the ideals $I, I' \subseteq F[x_1, \dots, x_n]$ respectively. Then is it the case that $GG'$ is a Grobner bases for the ideal $II'$?
My intuition on this is no, ...
4
votes
2
answers
125
views
"Mod" out symmetry in ideal for a Groebner basis calculation (using a quotient ring?)
Consider a set of polynomials $P$ in the polynomial ring $R$ of $n$ variables ($R = \mathbb{C}[x_1,...,x_n]$), and let $I$ be the ideal generated by the polynomials in $P$.
I have an ideal which is ...
- 101
1
vote
0
answers
61
views
Polynomial solutions to a polynomial using syzygies
$\newcommand\C{\mathbb C}\newcommand\syz{\operatorname{syz}} \newcommand\x{\mathbf x}\newcommand\a{\mathbf a}$Let $\a=a_1,\dots,a_m$ and $\x = x_1,\dots, x_n$ be indeterminates and consider a ...
- 1,521
4
votes
1
answer
348
views
Gröbner bases method to solve system of polynomial equations
I am new to the theory of solving systems of polynomial equations using Gröbner bases and I am confused about the terminology. I will appreciate any help to clarify my confusion.
Some sources are ...
- 165
7
votes
2
answers
185
views
Finding $a+b+c+d$, where $ab+c+d=15$, $bc+d+a=24$, $cd+a+b=42$, $da+b+c=13$
Let $a,b,c,d \in \mathbb{R}$. Consider the following constraints:
\begin{cases} ab+c+d=15 \\ bc+d+a=24 \\ cd+a+b=42 \\da+b+c=13 \end{cases}
Calculate the value of $a+b+c+d$.
It is easy to use the ...
- 81
7
votes
1
answer
332
views
What's the proper way to take a Groebner basis with respect to a quotient polynomial ring?
Suppose I have the quotient ring $R=\mathbb{Q}[x,y]/I$ for some ideal $I$, and I want to find a Groebner basis for another ideal $J\subseteq R$. When computing the basis, does it make a difference if ...
- 1,514
1
vote
0
answers
46
views
Use of Grobner Basis to Compute Relations with respect to Quotient Polynomial Ring
I think I might have phrased the question poorly, but I have a somewhat basic question about how to use Grobner bases in a particular example. Suppose I have some algebra
$$R=\mathbb{C}[x_1,x_2^3,x_3^...
- 1,903
1
vote
0
answers
51
views
How do I proof Groebner basis existence in $R[x_1, \dots, x_n]$?
In An Introduction To Groebner Bases from Loustaunau, it says that:
We further note that the Noetherian property of the ring R, and hence of the ring $R[x_1, \dots, x_n]$, yields to the following ...
- 11
1
vote
1
answer
100
views
Polynomials which are invariant to the cyclic permutation of variables
I'm trying to solve the following problem from this book. I can find the Gröbner basis of $J$ using Buchberger’s algorithm, and so I don't have any problem with the first part of this problem. But my ...
- 413
1
vote
1
answer
175
views
Algorithm for expressing Gröbner basis in terms of ideal generators
Given a polynomial ring and an ideal
$$A \supset I = (f_1, ..., f_m)$$
there are plenty of implementations of an algorithm (e.g. Buchberger's) that produces a Gröbner basis
$$G = (g_1, ..., g_n)$$
and ...
- 1,014
3
votes
1
answer
147
views
Given a set $G$, how do we show that it is a Gröbner basis of an ideal $I$?
I am using the sage-notation so it might be a bit untidy.
I have been given a set $G$ and I want to show that it is a Gröbner basis of the ideal $I= \langle y_1+y_2x_1+y_3x_1^2 , y_1+y_2x_2+y_3x_2^2,...
- 3,392
1
vote
1
answer
93
views
Write an ideal as an intersection of maximal ideals.
I'm trying to solve the following problem:
Write
$$
I = (x^2+2y^2-2,x^2+xy+y^2-2) \subset \mathbb{R}[x,y]
$$
as an intersection of maximal ideals.
I have used the Gröbner basis and I found that the ...
- 413
2
votes
1
answer
75
views
Multiplicative basis gets inherited for an algebra modulo a compatible ideal
Let $A$ be an associative $k$-algebra with unit.
Definition.
A set $B \subseteq A$ is called a multiplicative basis of $A$ if $B$ is a $k$-basis of $A$ and if $B \cup \{0\}$ is closed under ...
- 354
2
votes
1
answer
101
views
Are minimal Groebner bases minimized bases?
With "minimal Groebner basis" I mean, fixed an ordering, a Groebner basis $G$ such that any proper subset of $G$ is no more a Groebner basis for the ideal $I(G)$ generated by $G$.
With "...
- 131
0
votes
0
answers
66
views
Doubt in computation of groebner basis and proving a set is a groebner basis.
I have a set $G$ , and I am trying to prove that the set is a groebner basis .
From chapter $2$ of Ideals,Varieties and Algorithm I have the following theorem,
A basis $G = \{g_1,\cdots, g_n \}$ for ...
- 3,392
1
vote
1
answer
91
views
Buchberger algorithm with three variables
Consider $>_{degrevlex}$ with $x>y>z$ in $\mathbb{C}[x,y,z]$. Let $f_{1} = y^2 - xz$, $f_{2} = x^2y - z^2$, $f_{3} = x^3 - yz$.
Show (manually) that $\lbrace f_{1}, f_{2}, f_{3}\rbrace$ is a ...
- 11
1
vote
0
answers
71
views
Insights into the property of a "generic" matrix.
This is in fact related to the previous question that I have asked but I decided that it would be better if I post this as a new question
1)What is a generic matrix(the definitions in net dont really ...
- 3,392
2
votes
1
answer
86
views
Confusion in grobner basis and ideals generated by matrices.
https://drive.google.com/file/d/1MzElOy1tgJGzZkCpzY8d_msKHuV-03kx/view?usp=sharing
Here is a link to Strumfels 1990 paper(Grobner Basis and stanley decomposition of determinantal rings (pdf pg-137)).
...
- 3,392
4
votes
1
answer
163
views
Help with computation in Gröbner Basis.
The problem is to compute the Gröbner basis of the following ideal using Buchberger's algorithm.
Let $u=a+bx+cx^2+dx^3$, $v= a+by+cy^2+dy^3$, $w=a+bz+cz+dz^3 $.
The ideal is $I= \langle a+bx+cx^2+dx^3,...
- 3,392
0
votes
1
answer
124
views
Existence of reduced Groebner basis [closed]
In my class notes there is a Theorem saying: Every non zero ideal of the ring $F[x_1,\dots,x_n]$ has a reduced Groebner Basis. Unfortunately there is no proof. Can someone give the proof or refer to ...
- 57
0
votes
1
answer
50
views
How is the replacement by the remainder gives a reduced Grobner basis?
Here is the proof I am stuck in understanding:
But how is the replacement by the remainder gives a reduced Grobner basis?
user889696
2
votes
2
answers
170
views
numerically solving a system of multivariate polynomials
I have a system of polynomial equations which I need to solve numerically. The one Im currently interested in has around 20 variables and a similar number of equations. All coefficients are rational ...
- 5,001