TY - JOUR
T1 - On positive theories of groups with regular free length functions
AU - Khan, Bilal
AU - Myasnikov, Alexei G.
AU - Serbin, Denis E.
PY - 2007/2
Y1 - 2007/2
N2 - In this paper we discuss a general approach to positive theories of groups. As an application we get a robust description of positive theories of groups with regular free Lyndon length function. Our approach combines techniques of infinite words (see [17, 3]), cancellation diagrams introduced in [14], and Merzlyakov's method [15].
AB - In this paper we discuss a general approach to positive theories of groups. As an application we get a robust description of positive theories of groups with regular free Lyndon length function. Our approach combines techniques of infinite words (see [17, 3]), cancellation diagrams introduced in [14], and Merzlyakov's method [15].
KW - Groups acting on lambda-trees
KW - Infinite words
KW - Length functions
KW - Positive theory
UR - http://www.scopus.com/inward/record.url?scp=33847677270&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33847677270&partnerID=8YFLogxK
U2 - 10.1142/S0218196707003330
DO - 10.1142/S0218196707003330
M3 - Article
AN - SCOPUS:33847677270
SN - 0218-1967
VL - 17
SP - 1
EP - 26
JO - International Journal of Algebra and Computation
JF - International Journal of Algebra and Computation
IS - 1
ER -