Geodesic
ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM
Glasgow mathematical journal, Tome 53 (2011) no. 3, pp. 637-656

Voir la notice de l'article provenant de la source Cambridge University Press

For a group H and a subset X of H, we let HX denote the set {hxh−1 | h ∈ H, x ∈ X}, and when X is a free-generating set of H, we say that the set HX is a Whitehead subset of H. For a group F and an element r of F, we say that r is Cohen–Lyndon aspherical in F if F{r} is a Whitehead subset of the subgroup of F that is generated by F{r}. In 1963, Cohen and Lyndon (D. E. Cohen and R. C. Lyndon, Free bases for normal subgroups of free groups, Trans. Amer. Math. Soc. 108 (1963), 526–537) independently showed that in each free group each non-trivial element is Cohen–Lyndon aspherical. Their proof used the celebrated induction method devised by Magnus in 1930 to study one-relator groups. In 1987, Edjvet and Howie (M. Edjvet and J. Howie, A Cohen–Lyndon theorem for free products of locally indicable groups, J. Pure Appl. Algebra45 (1987), 41–44) showed that if A and B are locally indicable groups, then each cyclically reduced element of A*B that does not lie in A ∪ B is Cohen–Lyndon aspherical in A*B. Their proof used the original Cohen–Lyndon theorem. Using Bass–Serre theory, the original Cohen–Lyndon theorem and the Edjvet–Howie theorem, one can deduce the local-indicability Cohen–Lyndon theorem: if F is a locally indicable group and T is an F-tree with trivial edge stabilisers, then each element of F that fixes no vertex of T is Cohen–Lyndon aspherical in F. Conversely, by Bass–Serre theory, the original Cohen–Lyndon theorem and the Edjvet–Howie theorem are immediate consequences of the local-indicability Cohen–Lyndon theorem. In this paper we give a detailed review of a Bass–Serre theoretical form of Howie induction and arrange the arguments of Edjvet and Howie into a Howie-inductive proof of the local-indicability Cohen–Lyndon theorem that uses neither Magnus induction nor the original Cohen–Lyndon theorem. We conclude with a review of some standard applications of Cohen–Lyndon asphericity.
DOI : 10.1017/S0017089511000231
Mots-clés : Primary: 20E08, Secondary: 20E05, 20E07, 20J06 
ANTOLÍN, YAGO; DICKS, WARREN; LINNELL, PETER A. ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM. Glasgow mathematical journal, Tome 53 (2011) no. 3, pp. 637-656. doi: 10.1017/S0017089511000231
@article{10_1017_S0017089511000231,
     author = {ANTOL\'IN, YAGO and DICKS, WARREN and LINNELL, PETER A.},
     title = {ON {THE} {LOCAL-INDICABILITY} {COHEN{\textendash}LYNDON} {THEOREM}},
     journal = {Glasgow mathematical journal},
     pages = {637--656},
     year = {2011},
     volume = {53},
     number = {3},
     doi = {10.1017/S0017089511000231},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S0017089511000231/}
}
TY  - JOUR
AU  - ANTOLÍN, YAGO
AU  - DICKS, WARREN
AU  - LINNELL, PETER A.
TI  - ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM
JO  - Glasgow mathematical journal
PY  - 2011
SP  - 637
EP  - 656
VL  - 53
IS  - 3
UR  - http://geodesic.mathdoc.fr/articles/10.1017/S0017089511000231/
DO  - 10.1017/S0017089511000231
ID  - 10_1017_S0017089511000231
ER  - 
%0 Journal Article
%A ANTOLÍN, YAGO
%A DICKS, WARREN
%A LINNELL, PETER A.
%T ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM
%J Glasgow mathematical journal
%D 2011
%P 637-656
%V 53
%N 3
%U http://geodesic.mathdoc.fr/articles/10.1017/S0017089511000231/
%R 10.1017/S0017089511000231
%F 10_1017_S0017089511000231

[1] 1.Antolín, Y., Dicks, W. and Linnell, P. A., Non-orientable surface-plus-one-relation groups, J. Algebra 326 (2011), 4–33. Google Scholar | DOI

[2] 2.Brodskiĭ, S. D., Equations over groups, and groups with one defining relation, Siberian Math. J. 25 (1984), 235–251. Google Scholar | DOI

[3] 3.Chiswell, I. M., Collins, D. J. and Huebschmann, J., Aspherical group presentations, Math. Z. 178 (1981), 1–36. Google Scholar | DOI

[4] 4.Cohen, D. E. and Lyndon, R. C., Free bases for normal subgroups of free groups, Trans. Amer. Math. Soc. 108 (1963), 526–537. Google Scholar | DOI

[5] 5.Dicks, W. and Dunwoody, M. J., Groups acting on graphs, Cambridge Studies in Advanced Mathematics 17 (Cambridge University Press, Cambridge, UK, 1989), xvi+283 pp. Errata at: http://mat.uab.cat/~dicks/DDerr.html Google Scholar

[6] 6.Edjvet, M. and Howie, J., A Cohen–Lyndon theorem for free products of locally indicable groups, J. Pure Appl. Algebra 45 (1987), 41–44. Google Scholar | DOI

[7] 7.Fischer, J., Karrass, A. and Solitar, D., On one-relator groups having elements of finite order, Proc. Amer. Math. Soc. 33 (1972), 297–301. Google Scholar | DOI

[8] 8.Howie, J., On pairs of 2-complexes of equations over groups, J. Reine Angew. Math. 324 (1981), 165–174. Google Scholar

[9] 9.Howie, J., On locally indicable groups, Math. Z. 180 (1982), 445–461. Google Scholar | DOI

[10] 10.Howie, J., Cohomology of one-relator products of locally indicable groups, J. London Math. Soc. 30 (1984), 419–430. Google Scholar | DOI

[11] 11.Howie, J., A short proof of a theorem of Brodskiĭ, Publ. Mat. 44 (2000), 641–647. Google Scholar

[12] 12.Howie, J. and Pride, S. J., A spelling theorem for staggered generalized 2-complexes, with applications, Invent. Math. 76 (1984), 55–74. Google Scholar | DOI

[13] 13.Karrass, A. and Solitar, D., On a theorem of Cohen and Lyndon about free bases for normal subgroups, Canadian J. Math. 24 (1972), 1086–1091. Google Scholar | DOI

[14] 14.Lyndon, R. C., Cohomology theory of groups with a single defining relation, Ann. of Math. 52 (1950), 650–665. Google Scholar | DOI

[15] 15.Lyndon, R. C. and Schupp, P. E., Combinatorial group theory, Ergeb. Math. Grenzgeb. 89 (Springer-Verlag, Berlin, 1977), ix+339 pp. Google Scholar

Cité par Sources :