Math Is Fun Forum

SilverArrow17

Novice

Registered: 2024-06-26

Posts: 3

Buchberger's algorithm

Hello, I would like to ask for a help. I am suppose to calculate the Grobner basis of this:

My solution: I think

and I have:

Now I have in the paper the next step and there is writted that -x is f_3 because

I calculated:

but in this moment, I really really do not know, why

    - I think it is not. It is definetelly not, because we can not divide a polynomial with a lower degree by a polynomial with a higher degree. I'm stuck at this point and can't continue, please help. Why

and why 

    ? Help please, thank you.

SilverArrow17

Novice

Registered: 2024-06-26

Posts: 3

Re: Buchberger's algorithm

there should be just

but I can not fix my previous message, I do not know why ..  sorry for mistake

SilverArrow17

Novice

Registered: 2024-06-26

Posts: 3

Re: Buchberger's algorithm