Gröbner-Shirshov basis and normal forms for the infinite Coxeter group of type \(\widetilde{C}_n\) (Q2158499)

The authors aim to obtain Gröbner-Shirshov bases and classification of the normal forms for infinite Coxeter groups of type \(C_n^{\sim}\). Shirshov's algorithm is applied to obtain a set of relations. They conclude that this relation set is a Gröbner-Shirshov basis by Composition-Diamond Lemma. Some combinatorial properties of the infinite Coxeter group of type \(C_n^{\sim}\) were given in [\textit{A. Björner} and \textit{F. Brenti}, Combinatorics of Coxeter groups. New York, NY: Springer (2005; Zbl 1110.05001)]. Here the authors find a set of normal forms for this group and also construct a method to obtain the normal form of each element of the group in the permutation form. They also obtain the normal form of the product of two normal forms to reveal in terms of these normal forms.