Alternatively, we may use a software package called Macaulay 2 which directly calculates the
generators given the Equations (25). Using Macaulay 2, we obtain six generators. Again, Macaulay’s
algorithm does not yield a minimal set; we can express the last two generators in terms of the first
four. Below we list this smaller set of four generators in the order
:
Another set of generators which may be useful for further work is a Gröbner basis of a module. The
concept of a Gröbner basis of an ideal can be extended to that of a Gröbner basis of a submodule of
where
is a field, since a module over the polynomial ring can be considered as
generalization of an ideal in a polynomial ring. Just as in the case of an ideal, a Gröbner basis for a
module is a generating set with special properties. For the module under consideration we obtain a
Gröbner basis using Macaulay 2:
Another set of generators are just ,
,
, and
. This can be checked using Macaulay 2, or one
can relate
,
,
, and
to the generators
,
, by polynomial matrices. In
Appendix B, we express the 7 generators we obtained following the literature, in terms of
,
,
,
and
. Also we express
,
,
, and
in terms of
. This proves that all these sets generate
the required module of syzygies.
The question now arises as to which set of generators we should choose which facilitates further analysis.
The analysis is simplified if we choose a smaller number of generators. Also we would prefer low degree
polynomials to appear in the generators so as to avoid cancellation of leading terms in the
polynomials. By these two criteria we may choose or
,
,
,
. However,
,
,
,
possess the additional property that this set is left invariant under a cyclic
permutation of indices
. It is found that this set is more convenient to use because of this
symmetry.
![]() |
http://www.livingreviews.org/lrr-2005-4 |
© Max Planck Society and the author(s)
Problems/comments to |