Re: [sage-support] Invariant Polynomes under group action

2011-08-16 Thread Maarten Derickx
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 uni

Re: [sage-support] Invariant Polynomes under group action

2011-08-16 Thread Johannes
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

[sage-support] Invariant Polynomes under group action

2011-08-14 Thread Johannes
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., I the ideal generated by let G \subset SL_3(CC) act by a e_i -> a x_i. If xi is a third primitive