Groebner Bases: A Short Introduction for Systems Theorists

摘要

In this paper, we give a brief overview on Groebner bases theory, addressed to novices without prior knowledge in the field. After explaining the general strategy for solving problems via the Groebner approach, we develop the concept of Groebner bases by studying uniquenss of polynomial division ("reduction"). For explicitly constructing Groebner bases, the crucial notion of S-polynomials is introduced, leading to the complete algorithmic solution of the construction problem. The algorithm is applied to examples from polynomial equation solving and algebraic relations. After a short discussion of complexity issues, we conclude the paper with some historical remarks and references.