An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings

Matthias Aschenbrenner, Christopher J. Hillar

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…