On Tuesday, August 16, 2011 10:49:07 AM UTC+2, Johhannes wrote: > > The given example was not right at all. this one works: > R = C[x1,x2,x3] > I = C[x1x2x3,x1^3,x2^3,x3^3] > this leads to G given as above: > > 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). > > > greatz Johannes > Still not correct since x1*x2^2 is also invariant under G but not in I.
-- 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
