next | previous | forward | backward | up | top | index | toc | Macaulay2 website
InvariantRing :: primaryInvariants

primaryInvariants -- computes a list of primary invariants for the invariant ring of a finite group

Synopsis

Description

There are two algorithms implemented in primaryInvariants. The default algorithm (corresponding to the optional argument Dade taking the value false) currently only works with polynomial rings over fields of characteristic zero. The second is the Dade algorithm, corresponding to the optional argument Dade taking the value true. This algorithm can calculate an hsop over finite fields, so long as the field is sufficiently large. See hsop algorithms for a discussion comparing the two algorithms.

i1 : A=matrix{{0,1,0},{0,0,1},{1,0,0}};

              3        3
o1 : Matrix ZZ  <--- ZZ
i2 : B=matrix{{0,1,0},{1,0,0},{0,0,1}};

              3        3
o2 : Matrix ZZ  <--- ZZ
i3 : S3=finiteAction({A,B},QQ[x,y,z])

o3 = QQ[x..z] <- {| 0 1 0 |, | 0 1 0 |}
                  | 0 0 1 |  | 1 0 0 |
                  | 1 0 0 |  | 0 0 1 |

o3 : FiniteGroupAction
i4 : primaryInvariants S3

                                   3    3    3
o4 = {x + y + z, x*y + x*z + y*z, x  + y  + z }

o4 : List

Below, the invariant ring QQ[x,y,z]S3 is calculated with K being the field with 101 elements.

i5 : K=GF(101)

o5 = K

o5 : GaloisField
i6 : S3=finiteAction({A,B},K[x,y,z])

o6 = K[x..z] <- {| 0 1 0 |, | 0 1 0 |}
                 | 0 0 1 |  | 1 0 0 |
                 | 1 0 0 |  | 0 0 1 |

o6 : FiniteGroupAction
i7 : primaryInvariants(S3,Dade=>true)

          6      5       4 2      3 3      2 4        5     6      5   
o7 = {- 4x  - 12x y + 28x y  - 23x y  + 28x y  - 12x*y  - 4y  - 12x z -
     ------------------------------------------------------------------------
        4         3 2       2 3         4       5       4 2      3   2  
     17x y*z - 36x y z - 36x y z - 17x*y z - 12y z + 28x z  - 36x y*z  -
     ------------------------------------------------------------------------
        2 2 2        3 2      4 2      3 3      2   3        2 3      3 3  
     20x y z  - 36x*y z  + 28y z  - 23x z  - 36x y*z  - 36x*y z  - 23y z  +
     ------------------------------------------------------------------------
        2 4          4      2 4        5        5     6     6      5   
     28x z  - 17x*y*z  + 28y z  - 12x*z  - 12y*z  - 4z , 37x  - 26x y +
     ------------------------------------------------------------------------
        4 2      3 3      2 4        5      6      5       4         3 2   
     32x y  - 21x y  + 32x y  - 26x*y  + 37y  - 26x z - 32x y*z + 16x y z +
     ------------------------------------------------------------------------
        2 3         4       5       4 2      3   2     2 2 2        3 2  
     16x y z - 32x*y z - 26y z + 32x z  + 16x y*z  - 5x y z  + 16x*y z  +
     ------------------------------------------------------------------------
        4 2      3 3      2   3        2 3      3 3      2 4          4  
     32y z  - 21x z  + 16x y*z  + 16x*y z  - 21y z  + 32x z  - 32x*y*z  +
     ------------------------------------------------------------------------
        2 4        5        5      6     6      5       4 2      3 3      2 4
     32y z  - 26x*z  - 26y*z  + 37z , 31x  + 27x y - 46x y  + 23x y  - 46x y 
     ------------------------------------------------------------------------
            5      6      5      4         3 2       2 3        4       5   
     + 27x*y  + 31y  + 27x z - 8x y*z + 46x y z + 46x y z - 8x*y z + 27y z -
     ------------------------------------------------------------------------
        4 2      3   2      2 2 2        3 2      4 2      3 3      2   3  
     46x z  + 46x y*z  + 17x y z  + 46x*y z  - 46y z  + 23x z  + 46x y*z  +
     ------------------------------------------------------------------------
          2 3      3 3      2 4         4      2 4        5        5      6
     46x*y z  + 23y z  - 46x z  - 8x*y*z  - 46y z  + 27x*z  + 27y*z  + 31z }

o7 : List

This function is provided by the package InvariantRing.

Caveat

Currently users can only use primaryInvariants to calculate a hsop for the invariant ring over a finite field by using the Dade algorithm. Users should enter the finite field as a GaloisField or a quotient field of the form ZZ/p and are advised to ensure that the ground field has cardinality greater than |G|n-1, where n is the number of variables in the polynomial ring . Using a ground field smaller than this runs the risk of the algorithm getting stuck in an infinite loop; primaryInvariants displays a warning message asking the user whether they wish to continue with the computation in this case. See hsop algorithms for a discussion on the Dade algorithm.

Ways to use primaryInvariants :

For the programmer

The object primaryInvariants is a method function with options.