Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-26T07:37:48.708Z Has data issue: false hasContentIssue false

Nielsen's commutator test for two-generator groups

Published online by Cambridge University Press:  24 October 2008

Narain Gupta
Affiliation:
University of Manitoba, Winnipeg R3T 2N2, Canada
Vladimir Shpilrain
Affiliation:
Technion, Haifa 32000, Israel

Extract

Nielsen [14] gave the following commutator test for an endomorphism of the free group F = F2 = 〈x, y; Ø〉 to be an automorphism: an endomorphism ø: FF is an automorphism if and only if the commutator [ø(x), ø(y)] is conjugate in F to [x, y]±1. He obtained this test as a corollary to his well-known result that every IA-automorphism of F (i.e. one which fixes F modulo its commutator subgroup) is an inner automorphism. Bachmuth et al. [4] have proved that IA-automorphisms of most two-generator groups of the type F/R′ are inner, and it becomes natural to ask if Nielsen's commutator test remains valid for those groups as well. Durnev[7] considered this question for the free metabelian group F/F″ and confirmed the validity of the commutator test in this case. Here we prove that Nielsen's test does not hold for a large class of F/R′ groups (Theorem 3·1) and, as a corollary, deduce that it does not hold for any non-metabelian solvable group of the form F/R″ (Corollary 3·2). In view of our Theorem 3·1, Nielsen's commutator test in these situations seems to have less appeal than his result that the IA-automorphisms of F are precisely the inner automorphisms of F. We explore some applications of this important result with respect to non-tameness of automorphisms of certain two- generator groups F/R (i.e. automorphisms of F/R which are not induced by those of the free group F). For instance, we show that a two-generator free polynilpotent group F/V, , has non-tame automorphisms except when V = γ2(F) or V = γ3(F), or when V is of the form [yn(U), γ(U)], n ≥ 2 (Theorem 4·2). This complements the results of [9] and [16] rather nicely, and is shown to follow from a more general result (Proposition 4·1). We also include an example of an endomorphism θ: xxu, yy of F which induces a non-tame automorphism of F6(F) while the partial derivative ∂(u)/∂(x) is ‘balanced’in the sense of Bryant et al. [5] (Example 4·4). This gives an alternative solution of a problem in [5] which has already been resolved by Papistas [15] in the negative. In our final section, we consider groups of the type F/[R′,F] and, in contrast to groups of the type F/R′, we show that the Nielsen's commutator test does hold in most of these groups (Theorem 5·1). We conclude with a sufficiency condition under which Nielsen's commutator test is valid for a given pair of generating elements ofF modulo [R′,F] (Proposition 5·2).

Type
Research Article
Copyright
Copyright © Cambridge Philosophical Society 1993

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Andreadakis, S.. On the automorphisms of free groups and free nilpotent groups. Proc. London Math. Soc. (3) 15 (1965), 239268.CrossRefGoogle Scholar
[2]Auslander, M. and Lyndon, R. C.. Commutator subgroups of free groups. Amer. J. Math. 77 (1955), 929931.CrossRefGoogle Scholar
[3]Bachmuth, S.. Induced automorphisms of free groups and free metabelian groups. Trans. Amer. Math. Soc. 122 (1966), 117.CrossRefGoogle Scholar
[4]Bachmuth, S., Formanek, E. and Mochizuki, H. Y.. IA-automorphisms of certain two-generator torsion-free groups. J. Algebra 40 (1976), 1930.CrossRefGoogle Scholar
[5]Bryant, R. M., Gupta, C. K., Levin, F. and Mochizuki, H. Y.. Non-tame automorphisms of free nilpotent groups. Communications in Algebra 18 (1990), 36193631.CrossRefGoogle Scholar
[6]Kropholler, P., Linnell, P. and Moody, J.. Applications of a new K-theoretic theorem to solvable group rings. Proc. Amer. Math. Soc. 194 (1988), 675684.Google Scholar
[7]Durnev, V. G.. The Mal'tsev–Nielsen equation in a free metabelian group of rank two. Math. Notes USSR 46 (1989), 927929.CrossRefGoogle Scholar
[8]Fox, R. H.. Free differential calculus. I. Derivation in the free group ring. Ann. Math. (2) 57 (1953), 547560.CrossRefGoogle Scholar
[9]Gupta, C. K. and Levin, F.. Tame-range of automorphism groups of free polynilpotent groups. Communications in Algebra 19 (1991), 24972500.CrossRefGoogle Scholar
[10]Gupta, Narain. Free group rings. Contemporary Math. 66 (1987), American Math. Society, R.I.CrossRefGoogle Scholar
[11]Krasnikov, A. F.. Generators of the group F/[N, N] Mat. Zametki 24 (1978), 167173.Google Scholar
[12]Lewin, J.. A note on zero divisors in group rings. Proc. Amer. Math. Soc. 31 (1972), 357359.CrossRefGoogle Scholar
[13]Neumann, Hanna. Varieties of groups. Springer-Verlag, 1967.CrossRefGoogle Scholar
[14]Nielsen, J.. Die Isomorphismen der aligemeinen unendlichen Gruppe mit zwei Erzeugenden. Math. Ann. 78 (1918), 385397.CrossRefGoogle Scholar
[15]Papistas, A. I.. Non-tame automorphisms of free nilpotent groups of rank 2. Communications in Algebra, 21 (1993), 17511759.CrossRefGoogle Scholar
[16]Shpilratn, V.. Automorphisms of F/R′ groups. Internat. J. Algebra and Computation 1 (1991), 177184.CrossRefGoogle Scholar