We study commutator length in free groups. (By a commutator lengthcl(g) of an element g in a derived subgroup G′ of a group G we mean the least natural number k such that g is a product of k commutators.) A purely algebraic algorithm is constructed for computing commutator length in a free group F2 (Thm. 1). Moreover, for every element z ε F′2 and for any natural m, the following estimate derives:cl(zm) ≥ (ms(z) + 6)/12, where s(z) is a nonnegative number defined by an element z (Thm. 2). This estimate is used to compute commutator length of some particular elements. By analogy with the concept of width of a derived subgroup known in group theory, we define the concept of width of a derived subalgebra. The width of a derived subalgebra is computed for an algebra P of pairs, and also for its corresponding Lie algebra PL. The algebra of pairs arises naturally in proving Theorem 2 and enjoys a number of interesting properties. We state that in a free group F2k with free generators a1, b1, ..., ak, bk, k εN, every natural m satisfiescl(([a1, b1] ... [ak, bk])m)=[(2 − m)/2] + mk. For k=1, this entails a known result of Culler. The notion of a growth function as applied to a finitely generated group G is well known. Associated with a derived subgroup of F2 is some series depending on two variables which bears information not only on the number of elements of prescribed length but also on the number of elements of prescribed commutator length. A number of open questions are formulated.
Arbitrary Element Orientable Surface Free Generator Zero Divisor Cyclic Shift
This is a preview of subscription content, log in to check access
R. C. Lyndon and P. E. Schupp,Combinatorial Group Theory, Springer, Berlin (1977).MATHGoogle Scholar
R. I. Grigorchuk and P. F. Kurchanov, “Some problems of group theory associated with geometry,” inAlgebra 7, Itogi Nauki Tekh., Ser. Fund. Napr., Vol 58, VINITI, Moscow (1990), pp. 191–256.Google Scholar
W. S. Massey and J. Stallings,Algebraic Topology. An Introduction [Russian translation], Mir, Moscow (1977).Google Scholar