Finite generation of symmetric ideals

Details Finite generation of symmetric ideals Finite generation of symmetric ideals

2004-11-23

arxiv.org/abs/math/0411514v3

Mathematics

Commutative Algebra

22 pages, print version, Transactions of the AMS

Scientific paper

Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on $R$ in a natural way, and this in turn gives $R$ the structure of a left module over the left group ring $R[{\mathfrak S}_{X}]$. We prove that all ideals of $R$ invariant under the action of ${\mathfrak S}_{X}$ are finitely generated as $R[{\mathfrak S}_{X}]$-modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gr\"obner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it.

Affiliated with

Also associated with

No associations

Rating

Finite generation of symmetric ideals does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Finite generation of symmetric ideals, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Finite generation of symmetric ideals will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-599420