Hi list I have given an Ideal I in the polynomial ring R and I need to know the minimal group G wich acts on I such that I is the Invariant Ring of R under the action of G. for example: let R = CC.<x1,x2,x3>, I the ideal generated by <x1^3, x2^3, x3^3>
let G \subset SL_3(CC) act by a e_i -> a x_i. If xi is a third primitive root of unity, then G must be generated by diagonalmatrix(xi,xi,xi). Is there a easy way to calculate G from I with Sage? greatz Johannes -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
