2007/01/09 by Simon A. King, King, Simon A. · 1 citation
Mathematics · #13A50 #13P10 #Commutative Algebra (math.AC) #FOS: Mathematics #math.AC #msc:13A50 #msc:13P10
paper · pdf · doi:10.48550/arxiv.math/0701270
13 pages. v4: Typos corrected v3: Acknowledgement added. Reference to more recent benchmarks added
arxiv created 2007/03/29 · arxiv updated 2009/12/01
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.