Mathematics – Commutative Algebra
Scientific paper
2008-01-29
Mathematics
Commutative Algebra
preliminary abstract, 10 pages
Scientific paper
A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gr\"obner bases for symmetric ideals in the infinite dimensional polynomial ring $R$. This allows for symbolic computation in a new class of rings. In particular, we solve the ideal membership problem for symmetric ideals of $R$.
Aschenbrenner Matthias
Hillar Christopher J.
No associations
LandOfFree
An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings 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 An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-185376