Gröbner–Shirshov Basis for HNN Extensions of Groups and for the Alternating Group
Yuqun Chen, Chanyan Zhong · Communications in Algebra · 2008
In this article, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Gröbner–Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained.