An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings
Abstract
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öbner 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$.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2008
- DOI:
- 10.48550/arXiv.0801.4439
- arXiv:
- arXiv:0801.4439
- Bibcode:
- 2008arXiv0801.4439A
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Combinatorics;
- 13E05;
- 13E15;
- 20B30;
- 06A07
- E-Print:
- preliminary abstract, 10 pages