The symmetric group given by a Gröbner basis

We present a Gröbner basis associated with the symmetric group of degree nn, which is determined by a strong generating set of the symmetric group and is defined by means of a term ordering with the elimination property.