×

Equations over groups, and groups with one defining relation. (English. Russian original) Zbl 0579.20020

Sib. Math. J. 25, 235-251 (1984); translation from Sib. Mat. Zh. 25, No. 2(144), 84-103 (1984).
This paper contains detailed proofs of important results in combinatorial group theory, at least some of which the author originally obtained as far back as 1979. The first result generalizes Magnus’ Freiheitssatz: If A and B are locally indicable groups (i.e. with every nontrivial finitely generated subgroup having an infinite cyclic quotient) and w is any cyclically reduced word in A*B of length \(\geq 2\), then the normal closure of w in A*B intersects A and B trivially. The proof is purely algebraic, along the general lines of Magnus’ proof. (A different proof was given independently by J. Howie [J. Reine Angew. Math. 324, 165-174 (1981; Zbl 0447.20032)].)
The author goes on to construct a nontrivial class \({\mathcal A}\) of locally indicable groups with the property that for each group \(A\in {\mathcal A}\) and each equation over A, there is a group K in \({\mathcal A}\), containing A as a subgroup, in which the equation has a solution. (From this one readily deduces in particular an affirmative answer to the question of Bokut’ as to whether there exists a nontrivial group over which every equation has a solution (in the group).) The class \({\mathcal A}\) is quite wide, containing in particular all free groups, and closed under the formation of ”one-relator products” \(A_ wB\) (the quotient of A*B by the normal closure of w) where A,B\(\in {\mathcal A}\), and w is as above with the additional property that it is not a proper power. It follows that every torsion-free one-relator group is locally indicable (whence in particular appropriate group rings of such groups have no zero-divisors). It is also shown that a group is locally indicable precisely if it contains a subnormal system with torsion-free abelian factors, so that torsion-free one-relator groups have this structure. An example of a one-relator group with a soluble subnormal system (i.e. an ”SN-group”), but without a soluble normal system (i.e. not an ”SI-group”), is given. Several other results of interest are proved.
Reviewer: R.G.Burns

MSC:

20E06 Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations
20F05 Generators, relations, and presentations of groups
20E25 Local properties of groups
20E07 Subgroup theorems; subgroup growth
20C07 Group rings of infinite groups and their modules (group-theoretic aspects)

Citations:

Zbl 0447.20032
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. D. Brodskii, ?Equations over groups and groups with one defining relation,? Usp. Mat. Nauk,35, No. 4, 183 (1980).
[2] S. D. Brodskii, ?Equations over groups and groups with one defining relation,? VINITI, No. 2214-80 Dep.
[3] W. Magnus et al., Combinatorial Group Theory, Dover (1976). · Zbl 0362.20023
[4] B. H. Neumann ?Adjunction of elements to groups,? J. London Math. Soc.,18, 4-11 (1943). · Zbl 0028.33902 · doi:10.1112/jlms/s1-18.1.4
[5] F. Levin, ?Solutions of equations over groups,? Bull. Am. Math. Soc.,68, 603-604 (1962). · Zbl 0107.01803 · doi:10.1090/S0002-9904-1962-10868-4
[6] M. Gerstenheber and O. S. Rothaus, ?The solution of sets of equations in groups,? Proc. Nat. Acad. Sci. USA,48, 1951-1953 (1962).
[7] H. shiek, ?Equations over groups,? Studies in Logic and Foundations of Mathematics,71, 563-568 (1973). · doi:10.1016/S0049-237X(08)71920-7
[8] O. P. Chopenko, ?Equations over groups,? Tr. XXV Nauch.-Tekh. Konf., Sektsiya Matematiki, Mosk. Inst. Radiotekh., Elektroniki, 163-168 (1976); Dep. VINITI No. 307-77 Dep.
[9] O. P. Chopenko, ?Equations over groups,? in: 14-th All-Union Algebraic Conference: Lecture Theses [in Russian], Novosibirsk (1977), Part I, pp. 79-80.
[10] G. Higman, ?The units of group rings,? Proc. London Math. Soc.,46, No. 2, 231-248 (1940). · Zbl 0025.24302 · doi:10.1112/plms/s2-46.1.231
[11] Kourovskaya Tetrad’ [in Russian], 5th ed., Inst. of Math., Siberian Branch, Academy of Sciences of the USSR, Novosibirsk (1978).
[12] G. Baumslag, ?Some problems on one-relator groups,? Proc. Second Int. Conf. on Group Theory, Canberra (1973), pp. 75-81.
[13] R. G. Berns and V. W. Hale, ?A note on group rings of certain torsion-free groups,? Can. Math. Bull.,15, 441-445 (1972). · Zbl 0244.16006 · doi:10.4153/CMB-1972-080-3
[14] A. A. Bovdi, ?On cross products of semigroups and rings,? Dokl. Akad. Nauk SSSR,137, 1267-1269 (1961).
[15] O. Villamaior, ?On the semisimplicity of group algebras,? Proc. Am. Math. Soc.,10, No. 1, 27-31 (1959). · Zbl 0105.02703
[16] R. Lindon and P. Schupp, Combinatorial Group Theory [Russian translation], Mir, Moscow (1980).
[17] A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
[18] A. Karras and D. Solitar, ?The subgroups of a free product of two groups with amalgamated subgroups,? Trans. Am. Math. Soc.,150, No. 1, 227-255 (1970). · Zbl 0223.20031 · doi:10.1090/S0002-9947-1970-0260879-9
[19] H. Neumann, ?On varieties of groups and their associated near-rings,? Math. Z.,65, No. 1, 36-39 (1965). · Zbl 0070.01905 · doi:10.1007/BF01473869
[20] A. I. Mal’tsev, ?Multiplication of classes of algebraic systems,? Sib. Mat. Zh.,8, No. 2, 346-365 (1967).
[21] T. Tamura, ?Attainability of systems of identities on semigroups,? J. Algebra,3, No. 3, 261-267 (1966). · Zbl 0146.02702 · doi:10.1016/0021-8693(66)90001-9
[22] L. I. Budkin and V. A. Gorbunov, ?The theory of quasivarieties of algebraic systems,? Algebra Logika,14, No. 2, 123-142 (1975). · Zbl 0317.08003
[23] D. E. Cohen and R. C. Lindon, ?Free bases for normal subgroups,? Trans. Am. Math. Soc.,108, 526-573 (1963). · doi:10.1090/S0002-9947-1963-0170930-9
[24] R. B. Mura and A. Rhemtulla, Notes on Orderable Groups, University of Alberta, Edmonton (1975).
[25] A. I. Mal’tsev, ?Model correspondences,? Izv. Akad. Nauk SSSR, Ser. Mat.,23, No. 3, 313-336 (1959).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.