Groebner-Shirshov basis for HNN extensions of groups and for the alternating group

In this paper, we generalize the Shirshov's Composition Lemma by replacing the monomial order for others. By using Groebner-Shirshov bases, the normal forms of HNN extension of a group and the alternating group are obtained

Composition-diamond lemma for modules

summary:We investigate the relationship between the Gröbner-Shirshov bases in free associative algebras, free left modules and "double-free" left modules (that is, free modules over a free algebra). We first give Chibrikov's Composition-Diamond lemma for modules and then we show that Kang-Lee's Composition-Diamond lemma follows from it. We give the Gröbner-Shirshov bases for the following modules: the highest weight module over a Lie algebra $sl_2$, the Verma module over a Kac-Moody algebra, the Verma module over the Lie algebra of coefficients of a free conformal algebra, and a universal enveloping module for a Sabinin algebra. As applications, we also obtain linear bases for the above modules

Supplementary data.pdf

 Supplementary data of "A randomized clinical trial of intravenous methylprednisolone with two protocols in patients with Graves' Orbitopathy"</p