...
机译:Markov and Artin normal form theorem for braid groups
Sobolev Inst Math, Novosibirsk 630090, Russia;
Novosibirsk State Univ, Fac Math & Mech, Novosibirsk 630090, Russia;
Chinese Univ Hong Kong, Fac Sci, Hong Kong, Hong Kong, Peoples R China;
braid group; diamond lemma; Grobner-Shirshov basis; normal form; rewriting system;