Abstract
In the previous chapter we only defined the notion of an involutive basis but we did not consider the question of the existence of such bases. Recall from Section 3.3 that (in the case of a coefficient field) the existence proof for Gröbner bases is straightforward. For involutive bases the situation is considerably more complicated. Indeed, we have already seen in Example 3.1.16 an (even monomial) ideal not possessing a finite Pommaret basis. Thus we surely cannot expect that an arbitrary polynomialideal has for every involutive division a finite involutive basis.
In Section 4.1 we introduce a special class of involutive divisions, the constructive divisions, which is naturally related to an algorithm for computing involutive bases (contained in Section 4.2). If such a division is in addition Noetherian, then the algorithm will always terminate with an involutive basis and thus provides us with a proof of the existence of such bases for many divisions (including in particular the Janet division). Unfortunately, both the definition of constructive divisions and the termination proof are highly technical and not very intuitive.
As a reward the underlying algorithm turns out to be surprisingly efficient despite its simplicity. However, in general, it does not produce a minimal basis and furthermore still contains some redundancies. In Section 4.4 we show how it can be modified such that the output is always minimal and simultaneously introduce a number of optimisations. This optimised algorithm underlies most implementations of involutive bases in computer algebra systems.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Seiler, W.M. (2009). Completion to Involution. In: Involution. Algorithms and Computation in Mathematics, vol 24. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01287-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-01287-7_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01286-0
Online ISBN: 978-3-642-01287-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)