On Tuesday, August 16, 2011 10:46:50 AM UTC+2, Johhannes wrote:
>
> Am 16.08.2011 03:06, schrieb Nils Bruin:
> > On Aug 15, 2:54 pm, Johannes <dajo...@web.de> wrote:
> >> I'm sorry for unclear description of the problem.
> >> So once again, let R = C[x_1,\dots,x_n]$ be my basering.
> >> I'm looking for the group G, wich leaves a finite set S of polynomes
> >> invariant under its action. So the ideal I = <S> is invariant under the
> >> G-action too. And because every constant polynome is invariant under the
> >> action, I can look at the subring C[I] = C[S] \subset R instead of
> >> looking at I.
> >
> > These are not the same rings, though. If S={1} then I=R, so C[I]=R and
> > C[S]=C.
> In my case S only contains monomes like \prod x_{i}^{a_i}
Pleas ask someone in your neighborhood to explain you the difference between
the C[S] and the C[I] you defined. I think you will learn a lot from it.
--
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
