Can every ideal be decomposed into a triangular Groebner basis?

  • Thread starter xnull
  • Start date
  • Tags
    Basis
In summary, Groebner basis calculations are a useful method for solving nonlinear equations, despite being computationally challenging. Many problems have been successfully solved using this technique. However, obtaining a triangular Groebner basis can be difficult, as seen in the conversation where the person is struggling to find one for their system of quadratic equations. The question is whether Buchberger's Algorithm or the F4/5 Algorithm will always produce a triangular basis, which is not always the case. Some ideals may not have a triangular basis.
  • #1
xnull
16
0
Groebner basis calculations are an important technique for solving systems of nonlinear equations. Despite being (in the worst case), computationally intractable, they seem to be effective solutions for a multitude of problems.

I have a problem that I am trying to solve. I have perused the literature and am trying to use Macaulay 2 to find a triangular Groebner basis for my system of quadratic equations. I am capable of finding triangular bases for some systems of nonlinear equations. However, I cannot seem to get Macaulay 2 to give me a triangular basis for the problem I am trying to solve.

My question is simple: does Buchberger's Algorithm or the F4/5 Algorithm terminate with a triangular Groebner basis necessarily? If not, are there some ideals that cannot have a triangular basis?
 
Physics news on Phys.org
  • #2
AFAIK you can obtain and use reduced Gröbner bases. Triangularity is not a concept in the context that I knew of.
 

1. What is a triangular Groebner basis?

A triangular Groebner basis is a set of polynomials in a multivariate polynomial ring, where the leading monomials of each polynomial are arranged in a specific way, making it easier to solve polynomial equations.

2. What is an ideal?

An ideal is a set of polynomials that can be multiplied by any other polynomial in the polynomial ring and still remain within the set. In other words, it is a set of polynomials closed under multiplication.

3. Can every ideal be decomposed into a triangular Groebner basis?

No, not every ideal can be decomposed into a triangular Groebner basis. There are certain conditions that an ideal must meet in order for it to be decomposed into a triangular Groebner basis.

4. What are the conditions for an ideal to be decomposed into a triangular Groebner basis?

The conditions are: the ideal must be finitely generated, the ideal must be zero-dimensional, and the ideal must be homogeneous.

5. Why is it useful to decompose an ideal into a triangular Groebner basis?

Decomposing an ideal into a triangular Groebner basis can help in solving polynomial equations, as it simplifies the process by reducing the number of variables and equations to be considered. It also allows for more efficient algorithms to be used for solving polynomial systems.

Similar threads

I Why should a Fourier transform not be a change of basis?
    • Linear and Abstract Algebra
2
Replies
43
Views
5K
MHB Basis for set of solutions for linear equation
    • Linear and Abstract Algebra
Replies
6
Views
1K
Rings, ideals and Groebner basis
    • Linear and Abstract Algebra
Replies
2
Views
4K
Where in STEM can I expect to use dual basis, dual map, annihilator?
    • General Discussion
Replies
2
Views
473
MHB Solution: What is Decomposable Tensor?
    • Linear and Abstract Algebra
Replies
4
Views
2K
I Can time be another basis vector under Galilean relativity?
    • Special and General Relativity
5
Replies
146
Views
6K
Find ##2\theta## Values from Rotated Crystal and Intensity
    • Introductory Physics Homework Help
Replies
1
Views
911
What does it mean to specify the extensive state of an ideal gas?
    • Chemistry
Replies
3
Views
1K
Triangular cavity thermal radiation simulation
    • Mechanical Engineering
Replies
9
Views
1K
Dimension and basis for a subspace
    • Calculus and Beyond Homework Help
Replies
18
Views
1K

Hot Threads

Recent Insights

Back
Top