Title  Gr\"obnerShirshov bases for some onerelator groups. 
Author(s)  YuFu Chen, Chanyan Zhong 
Type  Article in Journal 
Abstract  In this paper, we prove that twogenerator onerelator groups with depth less than or equal to 3 can be effectively embedded into a tower of HNNextensions in which each group has the effective standard normal form. We give an example to show how to deal with some general cases for onerelator groups. By using the Magnus method and CompositionDiamond Lemma, we reprove the HigmanNeumannNeumann embedding theorem.

Keywords  group; HNNextension; GröbnerShirshov basis; standard normal form 
ISSN  10053867; 02191733/e 
URL 
http://www.worldscientific.com/doi/abs/10.1142/S1005386712000077 
Language  English 
Journal  Algebra Colloq. 
Volume  19 
Number  1 
Pages  99116 
Publisher  World Scientific, Singapore; Chinese Academy of Sciences, Academy of Mathematics & Systems Science, 
Year  2012 
Edition  0 
Translation 
No 
Refereed 
No 