# How beneficial are Gröbner bases for solving systems of equations

Mathematics Asked by Qwaster on December 13, 2020

So I have understood that Gröbner bases are a pretty big deal and have variety of applications. Namely, if you can represent something with a system of polynomial equations you have the Gröbner bases and anything related to them at your disposal. However, what is the relation of Gröbner basis to other available methods? Is it more like so that any system of polynomial equations can always be solved with a Gröbner bases, but computationally might not be the best possible choice; however alternatives to the G-bases might not provide solution at all?

I am trying to understand how Gröbner bases fit into the bigger picture of optimization and solving problems efficiently.

There are several improvements you can make on Buchberger's Algorithm for computing Groebner bases, to the point where using other methods usually doesn't make sense. Most computer algebra systems use Groebner bases for their computations since they typically outperform any other method. I think one main reason Groebner bases are so revered is that they provide constructive solutions for many important problems. Take Hilbert's Syzygy Theorem for example. You can prove it using abstract nonsense homological algebra stuff, or you can prove it using Groebner bases. The Groebner basis approach actually gives a recipe for an algorithm to compute finite free resolutions, which is vastly more desirable.

Correct answer by Michael Morrow on December 13, 2020

## Related Questions

### Is cardinality of sigma-algebra for two independent random variables is the sum of cardinalities of two sigma-algebras?

0  Asked on January 11, 2021

### expectation of random probability measure

1  Asked on January 11, 2021 by xiao

### How many solutions are there to $x_1 + x_2 + x_3 + x_4 = 30$ s.t. $x_1 + x_2 le 20$ and $x_3 ge 7$?

1  Asked on January 11, 2021 by lucas-peres

### How to prove that this series of functions is uniformly convergent?

1  Asked on January 10, 2021 by applesauce44

### Proving that holomorphic map $f : mathbb{C}^n to mathbb{C}^m$ maps holomorphic tangent space at point $p$ to holomorphic tangent space at $f(p)$

0  Asked on January 10, 2021 by emptyvessel

### Let $X$ be a metric space without isolated points. Then the closure of a discrete set in $X$ is nowhere dense in $X$.

3  Asked on January 10, 2021 by turingtester69

### Fundamental theorem of Riemannian Geometry question

2  Asked on January 10, 2021 by monoidaltransform

### If given two groups $G_1,G_2$ of order $m$ and $n$ respectively then the direct product $G_{1}times G_{2}$ has a subgroup of order $m$.

2  Asked on January 10, 2021 by user3133165

### Show that if ${s_{n_k}}_k$ converges to $L$, then ${s_n}_n$ converges to $L$.

0  Asked on January 10, 2021 by xhsbm

### Understanding roots of complicated equations

3  Asked on January 9, 2021 by landon-carter

### How many solutions does the equation have? (Inclusion-exclusion principle)

1  Asked on January 9, 2021 by socket1814

### Find the eigenspaces corresponding respectively to each eigenvector

0  Asked on January 9, 2021 by jojo

### Order of a Module

0  Asked on January 9, 2021 by user193319

### Intuition behind the extected value formula, for continuous cases

1  Asked on January 9, 2021 by thenac

### Proof that the set $mathbb{Q}left[sqrt2right]$ is an $mathbb{Q}$-vector space

3  Asked on January 9, 2021 by robertoherb

### How can we find A using finite difference method?

1  Asked on January 8, 2021 by momo

### Probability question about picking $2$ types of balls out of $3$

2  Asked on January 8, 2021 by ryan-soh

### Let $def*#1{mathbf{#1}}*{u},*{v},*{w}inmathbb{R}^2$ be noncollinear. Show that $*{x}= r*{u}+s*{v}+t*{w}$ where $r+s+t=1$.

2  Asked on January 8, 2021

### Retract of $F_2$ onto $[F_2,F_2]$

2  Asked on January 8, 2021 by sasha

### Terence Tao Analysis I on defining subtraction operation problem

1  Asked on January 8, 2021