Fast Computation of Secondary Invariants
From MaRDI portal
Publication:6478591
arXivmath/0701270MaRDI QIDQ6478591FDOQ6478591
Authors: Simon King 
Publication date: 9 January 2007
Abstract: A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on polynomial rings. When we tried to compute the invariant ring using Singular or Magma, it turned out that the existing algorithms did not suffice. We present here a new algorithm for the computation of secondary invariants, if primary invariants are given. Our benchmarks show that the implementation of our algorithm in the library "finvar" of Singular marks a dramatic improvement in the manageable problem size. A particular benefit of our algorithm is that the computation of irreducible secondary invariants does not involve the explicit computation of reducible secondary invariants, which may save resources. The implementation of our algorithm in Singular is for the non-modular case; however, the key theorem of our algorithm holds in the modular case as well and might be useful also there.
Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Actions of groups on commutative rings; invariant theory (13A50)
This page was built for publication: Fast Computation of Secondary Invariants
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6478591)
