Macaulay2 » Documentation
Packages » Normaliz :: finiteDiagInvariants
next | previous | forward | backward | up | index | toc

finiteDiagInvariants -- ring of invariants of a finite group action

Description

This function computes the ring of invariants of a finite abelian group G acting diagonally on the surrounding polynomial ring K[X_1,\ldots,X_n]. The group is the direct product of cyclic groups generated by finitely many elements g_1,\ldots,g_w. The element g_i acts on the indeterminate X_j by g_i(X_j)= \lambda_i^{u_{ij}}X_jwhere \lambda_i is a primitive root of unity of order equal to ord(g_i). The ring of invariants is generated by all monomials satisfying the system u_{i1}a_1+...+u_{in} a_n \equiv \ 0 mod ord(g_i), i=1,\ldots,w. The input to the function is the w\times (n+1) matrix U with rows u_{i1} \ldots u_{in} ord(g_i), i=1,\ldots,w. The output is the monomial subalgebra of invariants R^G=\{f\in R : g_i f= f for all i=1,\ldots,w\}.

This method can be used with the options allComputations and grading. 
i1 : R=QQ[x,y,z,w];
 
i2 : U=matrix{{1,1,1,1,5},{1,0,2,0,7}}

o2 = | 1 1 1 1 5 |
     | 1 0 2 0 7 |

              2       5
o2 : Matrix ZZ  <-- ZZ
 
i3 : finiteDiagInvariants(U,R)

o3 = MonomialSubalgebra{cache => CacheTable{...1...}                                                                                                                                                                                                                          }
                                        5   7 3   14    35     4     7 2     14   2 3   2 7    3 2   3 7   4    5     3      24       3   2 13   3 2   5   4   5     3   5 2   2   5 3      5 4    7 3   7   2   7 2    7 3   12   2   12        12 2    14    14    19    35
                        generators => {w , z w , z  w, z  , y*w , y*z w , y*z  , y w , y z w, y w , y z , y w, y , x*z w, x*z  , x*y*z , x z  , x z , x z*w , x y*z*w , x y z*w , x y z*w, x y z, x w , x y*w , x y w, x y , x  z*w , x  y*z*w, x  y z, x  w, x  y, x  z, x  }
                        ring => R

o3 : MonomialSubalgebra of R

See also

Ways to use finiteDiagInvariants:

  • finiteDiagInvariants(Matrix,Ring)

For the programmer

The object finiteDiagInvariants is a method function with options.

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/Normaliz.m2:1987:0.