928:. Most classical results regarding subgroups of free groups acquired simple and straightforward proofs in this set-up and Stallings' method has become the standard tool in the theory for studying the subgroup structure of free groups, including both the algebraic and algorithmic questions (see ). In particular, Stallings subgroup graphs and Stallings foldings have been the used as a key tools in many attempts to approach the
1051:. The paper began with a humorous admission: "I have committed the sin of falsely proving Poincaré's Conjecture. But that was in another country; and besides, until now, no one has known about it." Despite its ironic title, Stallings' paper informed much of the subsequent research on exploring the algebraic aspects of the
257:
as well as an instructorship and a faculty appointment at
Princeton. Stallings joined the University of California at Berkeley as a faculty member in 1967 where he remained until his retirement in 1994. Even after his retirement, Stallings continued supervising UC Berkeley graduate students until
880:
proper since it connects a geometric property of a group (having more than one end) with its algebraic structure (admitting a splitting over a finite subgroup). Stallings' theorem spawned many subsequent alternative proofs by other mathematicians (e.g.) as well as many applications (e.g.). The
985:
and others. Stallings' work pointed out the importance of imposing some sort of "non-positive curvature" conditions on the complexes of groups in order for the theory to work well; such restrictions are not necessary in the one-dimensional case of Bass–Serre theory.
881:
theorem also motivated several generalizations and relative versions of
Stallings' result to other contexts, such as the study of the notion of relative ends of a group with respect to a subgroup, including a connection to
429:
and is a key example in the study of homological finiteness properties of groups. Robert Bieri later showed that the
Stallings group is exactly the kernel of the homomorphism from the direct product of three copies of the
872:) and then with the general case. Stalling's theorem yielded a positive solution to the long-standing open problem about characterizing finitely generated groups of cohomological dimension one as exactly the
2616:
924:
for describing subgroups of free groups, and also introduced a foldings technique (used for approximating and algorithmically obtaining the subgroup graphs) and the notion of what is now known as a
823:
2790:
508:
2805:
695:
480:
855:
2612:
751:
725:
595:
562:
535:
458:
419:
2458:
2053:
2785:
2780:
1669:
1908:
2744:
2110:
2810:
868:
Stallings proved this result in a series of works, first dealing with the torsion-free case (that is, a group with no nontrivial elements of finite
312:
286:
962:. The first paper in this direction was written by Stallings himself, with several subsequent generalizations of Stallings' folding methods in the
1623:
1946:
885:. A comprehensive survey discussing, in particular, numerous applications and generalizations of Stallings' theorem, is given in a 2003 paper of
2795:
1664:
1076:
621:
262:
from 1962 to 1965 and a Miller
Institute fellow from 1972 to 1973. Over the course of his career, Stallings had 22 doctoral students including
220:
104:
2815:
2120:
1451:
1422:
1308:
1855:
2800:
1651:
1497:
253:
After completing his PhD, Stallings held a number of postdoctoral and faculty positions, including being an NSF postdoctoral fellow at the
204:
146:
1990:
2049:
349:
216:
100:
242:
in 1956 (where he was one of the first two graduates in the university's Honors program) and he received a Ph.D. in
Mathematics from
2674:
2582:
2480:
2445:
2422:
2332:
2255:
1956:
1836:
1596:
1058:
Stallings was also interested in languages, and wrote one of the very few mathematical research papers in the constructed language
2027:
892:
Another influential paper of
Stallings is his 1983 article "Topology of finite graphs". Traditionally, the algebraic structure of
2371:
1743:
2820:
2570:
2512:
1972:
1704:
1215:
2310:
2035:
632:
31:
2775:
2729:
2247:
1895:
1581:
1549:
Actes du Congrès
International des MathĂ©maticiens (Nice, 1970), Tome 2, pp. 165–167. Gauthier-Villars, Paris, 1971.
1333:
1036:
that engendered many alternative proofs, generalizations and applications (e.g. ), including a higher-dimensional analog.
305:
2167:
Dicks, Warren (1994). "Equivalence of the strengthened Hanna
Neumann conjecture and the amalgamated graph conjecture".
1702:
Stallings, John (1963). "A finitely presented group whose 3-dimensional integral homology is not finitely generated".
760:
2246:
Combinatorial and geometric group theory (New York, 2000/Hoboken, NJ, 2001), pp. 155–170, Contemp. Math., 296,
901:
108:
2687:
2295:
J. Almeida, and M. V. Volkov. "Subword complexity of profinite words and subgroups of free profinite semigroups."
2734:
315:
in
Berkeley in May 2000, was dedicated to the 65th birthday of Stallings. In 2002 a special issue of the journal
259:
2701:
Stallings, John R. (16 June 1993). "Sur un generalisation del notion de producto libere amalgamate de gruppos".
2383:
Ilya
Kapovich, Richard Weidmann, and Alexei Miasnikov. "Foldings, graphs of groups and the membership problem."
1643:
2770:
2348:
2169:
2093:
2008:
1761:
1628:
1353:
1014:
929:
648:
625:
387:
338:
200:
1565:
A James K. Whittemore Lecture in Mathematics given at Yale University, 1969. Yale Mathematical Monographs, 4.
1409:, Mathematical Sciences Research Institute Publications, vol. 19, New York: Springer, pp. 355–368,
1330:
Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 2
2557:
1052:
1048:
909:
877:
334:
275:
239:
208:
207:
where he had been a faculty member since 1967. He published over 50 papers, predominantly in the areas of
196:
85:
978:
969:
Stallings' 1991 paper "Non-positively curved triangles of groups" introduced and studied the notion of a
963:
959:
951:
640:
2526:
1878:
1689:
1566:
1300:
1256:
1022:
936:
485:
2115:
Springer–Verlag, New York, 2001. "Classics in Mathematics" series, reprint of the 1977 edition.
1213:(1963), "A finitely presented group whose 3-dimensional integral homology is not finitely generated",
2765:
2760:
2602:
and R. J. Bean. Annals of Mathematics Studies, No. 60. Princeton University Press, Princeton, NJ 1966
2178:
1770:
1494:
1362:
1121:
869:
254:
243:
89:
73:
2327:(Berkeley, CA, 1988), pp. 355–368, Math. Sci. Res. Inst. Publ., 19, Springer, New York, 1991;
2662:
2154:
1818:
1618:
1614:
955:
905:
661:
644:
317:
232:
54:
2495:(Proc. The Univ. of Georgia Institute, 1961) pp. 95–100. Prentice-Hall, Englewood Cliffs, NJ
2153:
Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000).
463:
2702:
2213:
2194:
2136:
1850:
1794:
1721:
1531:
1386:
1273:
1232:
1145:
606:
271:
267:
176:
172:
2433:
982:
537:. Bieri also showed that the Stallings group fits into a sequence of examples of groups of type
950:
Stallings' foldings method has been generalized and applied to other contexts, particularly in
828:
2670:
2476:
2441:
2418:
2328:
2251:
2116:
1952:
1447:
1418:
1304:
1006:
422:
2539:
Louis Zulli. "Semibundle decompositions of 3-manifolds and the twisted cofundamental group."
730:
704:
567:
352:. (Stallings' proof was obtained independently from and shortly after the different proof of
2225:
2186:
1951:
Cambridge Studies in Advanced Mathematics, 17. Cambridge University Press, Cambridge, 1989.
1778:
1713:
1410:
1370:
1265:
1224:
1191:
1129:
1088:
944:
372:
153:
1790:
1461:
1432:
1382:
1341:
1318:
1285:
1244:
1203:
1172:
1141:
1102:
540:
513:
436:
397:
2361:
2343:
2270:
2031:
1942:
1922:
1859:
1786:
1756:
1647:
1600:
1457:
1428:
1378:
1337:
1314:
1281:
1240:
1199:
1168:
1137:
1098:
1010:
602:
376:
322:
294:
274:
and 100 doctoral descendants. He published over 50 papers, predominantly in the areas of
1593:
1526:
2182:
2134:
Ilya Kapovich and Alexei Myasnikov. "Stallings foldings and subgroups of free groups."
1774:
1366:
1125:
2740:
2022:
1810:
1161:
Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961)
1033:
1018:
913:
620:(that is, with more than one "connected component at infinity"), which is now known as
617:
391:
359:
Using "engulfing" methods similar to those in his proof of the Poincaré conjecture for
1509:
2754:
2574:
2553:
2198:
2067:
1798:
1681:
1641:
Professor Emeritus John Stallings of the UC Berkeley Mathematics Department has died.
1578:
1195:
1164:
1149:
886:
636:
371:
is not equal to 4. This took on added significance when, as a consequence of work of
353:
321:
was dedicated to Stallings on the occasion of his 65th birthday. Stallings died from
192:
1390:
1093:
876:. Stallings' theorem about ends of groups is considered one of the first results in
631:
has more than one end if and only if this group admits a nontrivial splitting as an
2505:
2471:
Martin R. Bridson, and André Haefliger. "Metric spaces of non-positive curvature".
2106:
1044:
917:
882:
613:
598:
367:-dimensional space has a unique piecewise linear, hence also smooth, structure, if
215:. Stallings' most important contributions include a proof, in a 1960 paper, of the
2365:
2346:
and Mark Feighn. "Bounding the complexity of simplicial group actions on trees",
920:
framework. The paper introduced the notion of what is now commonly referred to as
2645:
V. N. Berestovskii. "Poincaré's conjecture and related statements." (in Russian)
1414:
2397:
2308:
Benjamin Steinberg. "A topological approach to inverse and regular semigroups."
1913:
Bulletin of the American Mathematical Society, vol. 74 (1968), pp. 361–364
1059:
311:
The conference "Geometric and Topological Aspects of Group Theory", held at the
263:
168:
136:
2244:
Positively generated subgroups of free groups and the Hanna Neumann conjecture.
1986:
2599:
1832:
1814:
1133:
1002:
990:
912:. Stallings' paper put forward a topological approach based on the methods of
897:
873:
510:
the six elements coming from the choice of free bases for the three copies of
431:
342:
301:
279:
212:
118:
2440:(Trieste, 1990)", pp. 504–540, World Sci. Publ., River Edge, NJ, 1991.
2417:(Trieste, 1990), pp. 491–503, World Sci. Publ., River Edge, NJ, 1991;
2268:
Two-letter group codes that preserve aperiodicity of inverse finite automata.
1112:; Zeeman, E. C. (1962), "The piecewise-linear structure of Euclidean space",
203:. Stallings was a Professor Emeritus in the Department of Mathematics at the
1029:
940:
380:
247:
158:
1894:(Proc. Sympos. Pure Math., Vol. XVIII, New York, 1968) pp. 124–128.
2725:
2630:
2229:
2004:
1782:
1759:; Brady, Noel (1997), "Morse theory and finiteness properties of groups",
1594:
Geometric and Topological Aspects of Group Theory, conference announcement
2151:
Subgroups of free groups: a contribution to the Hanna Neumann conjecture.
974:
970:
893:
858:
647:
with finite edge stabilizers). More precisely, the theorem states that a
2524:
Alois Scharf. "Zur Faserung von Graphenmannigfaltigkeiten." (in German)
2578:
2554:"A random tunnel number one 3-manifold does not fiber over the circle."
2190:
2089:
1926:
1725:
1374:
1277:
1236:
1032:
over a circle. This is an important structural result in the theory of
2286:
Theoretical Computer Science, vol. 307 (2003), no. 1, pp. 77–92.
30:
2707:
1640:
2667:
GĂ©omĂ©trie au XXe siècle, 1930–2000 : histoire et horizons
1968:
1717:
1650:
Announcement at the website of the Department of Mathematics of the
1269:
1228:
605:
and Noel Brady and in the study of subgroups of direct products of
348:
An early significant result of Stallings is his 1960 proof of the
333:
Most of Stallings' mathematical contributions are in the areas of
2598:
John R. Stallings. Topology Seminar, Wisconsin, 1965. Edited by
1686:
Generalized Poincaré's conjecture in dimensions greater than four
597:. The Stallings group is a key object in the version of discrete
356:
who established the same result in dimensions bigger than four).
2653:(Izvestiya VUZ. Matematika), vol. 51 (2007), no. 9, 1–36
2413:
John R. Stallings. "Non-positively curved triangles of groups."
2070:(2003). "The geometry of abstract groups and their splittings".
290:
2617:
Mathematical Proceedings of the Cambridge Philosophical Society
2216:(2001). "The rank three case of the Hanna Neumann conjecture".
2050:"Ends of group pairs and non-positively curved cube complexes."
1527:"John R. Stallings Jr., 73, California Mathematician, Is Dead"
616:
is an algebraic characterization of groups with more than one
425:
with a finite 3-skeleton. This example came to be called the
2613:"Splitting homomorphisms and the geometrization conjecture."
1254:(1968), "On torsion-free groups with infinitely many ends",
2491:
John R. Stallings. "On fibering certain 3-manifolds." 1962
1833:"Subgroups of direct products of elementarily free groups."
643:, if and only if the group admits a nontrivial action on a
2669:. Montréal, Presses internationales Polytechnique, 2005.
1738:
Robert Bieri. "Homological dimension of discrete groups."
1500:
press release, January 12, 2009. Accessed January 26, 2009
1890:
John Stallings. "Groups of cohomological dimension one."
1444:
Group theory from a geometrical viewpoint (Trieste, 1990)
2649:
vol. 51 (2000), no. 9, pp. 3–41; translation in
973:. This notion was the starting point for the theory of
1446:, River Edge, NJ: World Scientific, pp. 491–903,
386:
In a 1963 paper Stallings constructed an example of a
1815:"The subgroups of direct products of surface groups".
1442:(1991), "Non-positively curved triangles of groups",
1332:, Proc. Sympos. Pure Math., XXXII, Providence, R.I.:
831:
763:
733:
707:
664:
570:
543:
516:
488:
466:
439:
400:
1813:, James Howie, Charles F. Miller, and Hamish Short.
1692:(2nd Ser.), vol. 74 (1961), no. 2, pp. 391–406
2688:"Mathematician John Stallings died last year at 73"
2647:
Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika.
2370:, The Epstein birthday schrift, pp. 139–158,
1994:, vol. 11 (1977/78), no. 1–3, pp. 75–82
1328:(1978), "Constructions of fibred knots and links",
164:
152:
142:
132:
114:
95:
81:
62:
40:
21:
2284:Image reducing words and subgroups of free groups.
1495:Mathematician John Stallings died last year at 73.
1223:(4), The Johns Hopkins University Press: 541–543,
1114:Proceedings of the Cambridge Philosophical Society
849:
817:
745:
719:
689:
658:admits a splitting as an amalgamated free product
589:
556:
529:
502:
474:
452:
413:
350:Poincaré conjecture in dimensions greater than six
217:Poincaré Conjecture in dimensions greater than six
101:Poincaré Conjecture in dimensions greater than six
2747:, vol. 56 (2009), no. 11, pp. 1410 1417
2385:International Journal of Algebra and Computation
1876:On torsion-free groups with infinitely many ends.
1852:Subgroups of direct products of two limit groups.
1182:(1965), "Homology and central series of groups",
390:with infinitely generated 3-dimensional integral
363:> 6, Stallings proved that ordinary Euclidean
2297:International Journal of Algebra and Computation
2057:(3), vol. 71 (1995), no. 3, pp. 585–617
1969:"A new proof of the annulus and torus theorems."
935:Stallings subgroup graphs can also be viewed as
818:{\displaystyle G=\langle H,t|t^{-1}Kt=L\rangle }
345:) and on the interplay between these two areas.
1746:, Department of Pure Mathematics, London, 1976.
2791:Institute for Advanced Study visiting scholars
2459:Proceedings of the London Mathematical Society
2400:, "Membership problem for the modular group",
2054:Proceedings of the London Mathematical Society
285:Stallings delivered an invited address as the
2473:Grundlehren der Mathematischen Wissenschaften
2282:D. S. Ananichev, A. Cherubini, M. V. Volkov.
2266:Jean-Camille Birget, and Stuart W. Margolis.
1987:"Relative version of a theorem of Stallings."
1670:Bulletin of the American Mathematical Society
1563:Group theory and three-dimensional manifolds.
1081:Bulletin of the American Mathematical Society
293:in 1970 and a James K. Whittemore Lecture at
231:John Stallings was born on July 22, 1935, in
8:
2745:Notices of the American Mathematical Society
2352:, vol. 103, (1991), no. 3, pp. 449–469
2097:, vol. 71 (1983), no. 3, pp. 551–565
2012:, vol. 140 (2000), no. 3, pp. 605–637
1976:, vol. 102 (1980), no. 2, pp. 241–277
1840:, vol. 17 (2007), no. 2, pp. 385–403
1297:Group theory and three-dimensional manifolds
812:
770:
654:has more than one end if and only if either
2665:. "Autour de l'hypothèse de Poincaré". in:
2620:, vol. 129 (2000), no. 2, pp. 291–300
2552:Nathan M. Dunfield, and Dylan P. Thurston.
2404:, vol. 37 (2007), no. 2, pp. 425–459.
2314:, vol. 208 (2003), no. 2, pp. 367–396
2299:, vol. 16 (2006), no. 2, pp. 221–258.
2039:, vol. 196 (2000), no. 2, pp. 461–506
1159:(1962), "On fibering certain 3-manifolds",
958:and studying the subgroup structure of the
2806:University of California, Berkeley faculty
2543:, vol. 79 (1997), no. 2, pp. 159–172
2493:Topology of 3-manifolds and related topics
2436:. "Complexes of groups and orbihedra" in:
2387:, vol. 15 (2005), no. 1, pp. 95–128.
2323:John R. Stallings. "Foldings of G-trees."
2273:, vol. 76 (2008), no. 1, pp. 159–168
1407:Arboreal group theory (Berkeley, CA, 1988)
1041:"How not to prove the Poincaré conjecture"
639:over a finite group (that is, in terms of
191:(July 22, 1935 – November 24, 2008) was a
29:
18:
2706:
2631:"On the Grigorchuk–Kurchanov conjecture."
2594:
2592:
2438:Group theory from a geometrical viewpoint
2415:Group theory from a geometrical viewpoint
2140:, vol. 248 (2002), no. 2, 608–668
1092:
939:and they have also found applications in
904:using combinatorial methods, such as the
830:
791:
782:
762:
732:
706:
678:
663:
575:
569:
548:
542:
521:
515:
496:
495:
487:
468:
467:
465:
444:
438:
405:
399:
2462:(3) 65 (1992), no. 1, pp. 199–224.
2374:, 1, Geom. Topol. Publ., Coventry, 1998.
313:Mathematical Sciences Research Institute
287:International Congress of Mathematicians
2510:3-manifolds which fiber over a surface.
1910:Groups of dimension 1 are locally free.
1881:(2), vol. 88 (1968), pp. 312–334.
1865:, vol. 14 (2007), no. 4, 547–558.
1624:MacTutor History of Mathematics Archive
1490:
1488:
1486:
1484:
1482:
1480:
1478:
1474:
757:admits a splitting as an HNN extension
622:Stallings' theorem about ends of groups
379:in 1982, it was shown that 4-space has
195:known for his seminal contributions to
2561:, vol. 10 (2006), pp. 2431–2499
2475:, 319. Springer-Verlag, Berlin, 1999.
2130:
2128:
2003:Martin J. Dunwoody and E. L. Swenson.
1569:, New Haven, Conn.–London, 1971.
960:fundamental groups of graphs of groups
221:Stallings theorem about ends of groups
105:Stallings theorem about ends of groups
2021:G. Peter Scott, and Gadde A. Swarup.
1740:Queen Mary College Mathematical Notes
1557:
1555:
1520:
1518:
1351:(1983), "Topology of finite graphs",
1264:(2), Annals of Mathematics: 312–334,
219:and a proof, in a 1971 paper, of the
7:
2786:21st-century American mathematicians
2781:20th-century American mathematicians
2636:107 (2002), no. 4, pp. 451–461
1849:Martin R. Bridson, and James Howie.
1831:Martin R. Bridson, and James Howie.
1822:, vol. 92 (2002), pp. 95–103.
1672:, vol. 66 (1960), pp. 485–488.
1652:University of California at Berkeley
205:University of California at Berkeley
147:University of California at Berkeley
2586:, vol. 40 (1966), pp. 153–160
2579:2Fibering manifolds over a circle."
2530:, vol. 215 (1975), pp. 35–45.
2515:, vol. 94 (1972), pp. 189–205
2456:Jon Corson. "Complexes of groups."
1991:Journal of Pure and Applied Algebra
1892:Applications of Categorical Algebra
1579:Frank Nelson Cole Prize in Algebra.
1525:Chang, Kenneth (January 18, 2009),
954:for approximating group actions on
601:for cubical complexes developed by
2157:, vol. 94 (2002), pp. 33–43.
989:Among Stallings' contributions to
612:Stallings' most famous theorem in
302:Frank Nelson Cole Prize in Algebra
238:Stallings received his B.Sc. from
119:Frank Nelson Cole Prize in Algebra
14:
2583:Commentarii Mathematici Helvetici
1932:2 (1982), no. 1, pp. 15–23.
1837:Geometric and Functional Analysis
1512:Volume 3, Issue 4; November 2002.
966:context by other mathematicians.
503:{\displaystyle 1\in \mathbb {Z} }
383:, in fact uncountably many such.
2372:Geometry and Topology Monographs
1394:, with over 100 recent citations
977:(a higher-dimensional analog of
2811:People from Morrilton, Arkansas
2629:Tullio Ceccherini-Silberstein.
2513:American Journal of Mathematics
1973:American Journal of Mathematics
1705:American Journal of Mathematics
1216:American Journal of Mathematics
1094:10.1090/s0002-9904-1960-10511-3
394:and, moreover, not of the type
260:Alfred P. Sloan Research fellow
246:in 1959 under the direction of
2311:Pacific Journal of Mathematics
2072:Revista Matemática Complutense
2036:Pacific Journal of Mathematics
2005:"The algebraic torus theorem."
783:
341:(particularly the topology of
1:
2796:University of Arkansas alumni
2730:Mathematics Genealogy Project
2541:Topology and its Applications
2248:American Mathematical Society
2024:An algebraic annulus theorem.
1896:American Mathematical Society
1863:Mathematical Research Letters
1582:American Mathematical Society
1547:Group theory and 3-manifolds.
1334:American Mathematical Society
1077:"Polyhedral homotopy spheres"
1013:, such that this subgroup is
997:. The theorem states that if
993:, the most well-known is the
690:{\displaystyle G=A\ast _{C}B}
306:American Mathematical Society
109:Stallings graphs and automata
2816:Mathematicians from Arkansas
2090:"Topology of finite graphs."
1666:Polyhedral homotopy spheres.
1536:. Accessed January 26, 2009.
1415:10.1007/978-1-4612-3142-4_14
1196:10.1016/0021-8693(65)90017-7
1047:reformulation of the famous
475:{\displaystyle \mathbb {Z} }
2801:Princeton University alumni
2112:Combinatorial Group Theory.
1654:. Accessed December 4, 2008
995:Stallings fibration theorem
421:, that is, not admitting a
2837:
2741:Remembering John Stallings
1039:A 1965 paper of Stallings
902:combinatorial group theory
624:. Stallings proved that a
482:of integers that sends to
329:Mathematical contributions
2402:SIAM Journal on Computing
1134:10.1017/S0305004100036756
1001:is a compact irreducible
906:Schreier rewriting method
850:{\displaystyle K,L\leq H}
189:John Robert Stallings Jr.
182:
125:
28:
2349:Inventiones Mathematicae
2250:, Providence, RI, 2002;
2170:Inventiones Mathematicae
2149:J. Meakin, and P. Weil.
2094:Inventiones Mathematicae
2009:Inventiones Mathematicae
1948:Groups acting on graphs.
1898:, Providence, R.I, 1970.
1762:Inventiones Mathematicae
1629:University of St Andrews
1354:Inventiones Mathematicae
930:Hanna Neumann conjecture
922:Stallings subgroup graph
916:that also used a simple
883:CAT(0) cubical complexes
649:finitely generated group
633:amalgamated free product
626:finitely generated group
388:finitely presented group
381:exotic smooth structures
339:low-dimensional topology
2634:Manuscripta Mathematica
2558:Geometry & Topology
2218:Journal of Group Theory
1603:, atlas-conferences.com
910:Nielsen transformations
746:{\displaystyle C\neq B}
720:{\displaystyle C\neq A}
590:{\displaystyle F_{n+1}}
300:Stallings received the
258:2005. Stallings was an
35:2006 photo of Stallings
2821:Sloan Research Fellows
878:geometric group theory
851:
819:
747:
721:
691:
591:
558:
531:
504:
476:
460:to the additive group
454:
415:
335:geometric group theory
325:on November 24, 2008.
276:geometric group theory
240:University of Arkansas
209:geometric group theory
197:geometric group theory
86:University of Arkansas
16:American mathematician
2527:Mathematische Annalen
2325:Arboreal group theory
2230:10.1515/jgth.2001.012
1879:Annals of Mathematics
1783:10.1007/s002220050168
1690:Annals of Mathematics
1567:Yale University Press
1301:Yale University Press
1257:Annals of Mathematics
1055:(see, for example,).
937:finite-state automata
914:covering space theory
852:
820:
748:
722:
692:
592:
559:
557:{\displaystyle F_{n}}
532:
530:{\displaystyle F_{2}}
505:
477:
455:
453:{\displaystyle F_{2}}
416:
414:{\displaystyle F_{3}}
2776:American topologists
2109:and Paul E. Schupp.
1927:"Cutting up graphs."
1615:Robertson, Edmund F.
1510:All things academic.
1021:by this subgroup is
900:has been studied in
829:
761:
731:
705:
662:
568:
541:
514:
486:
464:
437:
398:
278:and the topology of
255:University of Oxford
244:Princeton University
211:and the topology of
90:Princeton University
74:Berkeley, California
2651:Russian Mathematics
2396:Yuri Gurevich, and
2214:Formanek, Edward W.
2183:1994InMat.117..373D
2155:Geometriae Dedicata
2088:John R. Stallings.
1907:John R. Stallings.
1874:John R. Stallings.
1819:Geometriae Dedicata
1775:1997InMat.129..445B
1613:O'Connor, John J.;
1545:John R. Stallings.
1367:1983InMat..71..551S
1167:, pp. 95–100,
1126:1962PCPS...58..481S
1053:Poincaré conjecture
1049:Poincaré conjecture
991:3-manifold topology
975:complexes of groups
318:Geometriae Dedicata
233:Morrilton, Arkansas
201:3-manifold topology
55:Morrilton, Arkansas
2737:of John Stallings.
2690:. 12 January 2009.
2191:10.1007/BF01232249
2137:Journal of Algebra
2030:2007-07-15 at the
1943:Martin J. Dunwoody
1923:Martin J. Dunwoody
1858:2008-07-05 at the
1744:Queen Mary College
1646:2008-12-28 at the
1599:2008-09-06 at the
1532:The New York Times
1440:Stallings, John R.
1399:Stallings, John R.
1375:10.1007/BF02095993
1349:Stallings, John R.
1336:, pp. 55–60,
1326:Stallings, John R.
1293:Stallings, John R.
1252:Stallings, John R.
1184:Journal of Algebra
1180:Stallings, John R.
1157:Stallings, John R.
1110:Stallings, John R.
1073:Stallings, John R.
1017:and such that the
1015:finitely generated
971:triangle of groups
847:
815:
743:
717:
697:, where the group
687:
587:
554:
527:
500:
472:
450:
411:
272:J. Hyam Rubinstein
268:Stephen M. Gersten
177:J. Hyam Rubinstein
173:Stephen M. Gersten
2726:John R. Stallings
2367:Folding sequences
2121:978-3-540-41158-1
1985:Gadde A. Swarup.
1941:Warren Dicks and
1811:Martin R. Bridson
1453:978-981-02-0442-6
1424:978-0-387-97518-4
1401:(1991), "Folding
1310:978-0-300-01397-9
1260:, Second Series,
1007:fundamental group
979:Bass–Serre theory
964:Bass–Serre theory
952:Bass–Serre theory
926:Stallings folding
641:Bass–Serre theory
423:classifying space
186:
185:
165:Doctoral students
127:Scientific career
66:November 24, 2008
23:John R. Stallings
2828:
2713:
2712:
2710:
2698:
2692:
2691:
2684:
2678:
2677:, 9782553013997.
2663:Valentin Poénaru
2660:
2654:
2643:
2637:
2627:
2621:
2609:
2603:
2596:
2587:
2568:
2562:
2550:
2544:
2537:
2531:
2522:
2516:
2504:John Hempel and
2502:
2496:
2489:
2483:
2469:
2463:
2454:
2448:
2431:
2425:
2411:
2405:
2394:
2388:
2381:
2375:
2359:
2353:
2341:
2335:
2321:
2315:
2306:
2300:
2293:
2287:
2280:
2274:
2264:
2258:
2240:
2234:
2233:
2209:
2203:
2202:
2164:
2158:
2147:
2141:
2132:
2123:
2104:
2098:
2086:
2080:
2079:
2064:
2058:
2046:
2040:
2019:
2013:
2001:
1995:
1983:
1977:
1965:
1959:
1939:
1933:
1920:
1914:
1905:
1899:
1888:
1882:
1872:
1866:
1847:
1841:
1829:
1823:
1808:
1802:
1801:
1757:Bestvina, Mladen
1753:
1747:
1736:
1730:
1729:
1699:
1693:
1679:
1673:
1663:John Stallings.
1661:
1655:
1638:
1632:
1631:
1619:"John Stallings"
1610:
1604:
1591:
1585:
1576:
1570:
1561:John Stallings.
1559:
1550:
1543:
1537:
1535:
1522:
1513:
1507:
1501:
1492:
1464:
1435:
1393:
1344:
1321:
1288:
1247:
1206:
1175:
1152:
1105:
1096:
981:), developed by
945:computer science
856:
854:
853:
848:
824:
822:
821:
816:
799:
798:
786:
752:
750:
749:
744:
726:
724:
723:
718:
696:
694:
693:
688:
683:
682:
596:
594:
593:
588:
586:
585:
564:but not of type
563:
561:
560:
555:
553:
552:
536:
534:
533:
528:
526:
525:
509:
507:
506:
501:
499:
481:
479:
478:
473:
471:
459:
457:
456:
451:
449:
448:
420:
418:
417:
412:
410:
409:
373:Michael Freedman
154:Doctoral advisor
69:
50:
48:
33:
19:
2836:
2835:
2831:
2830:
2829:
2827:
2826:
2825:
2771:Group theorists
2751:
2750:
2722:
2717:
2716:
2700:
2699:
2695:
2686:
2685:
2681:
2661:
2657:
2644:
2640:
2628:
2624:
2610:
2606:
2597:
2590:
2571:William Browder
2569:
2565:
2551:
2547:
2538:
2534:
2523:
2519:
2503:
2499:
2490:
2486:
2470:
2466:
2455:
2451:
2434:André Haefliger
2432:
2428:
2412:
2408:
2395:
2391:
2382:
2378:
2362:Martin Dunwoody
2360:
2356:
2344:Mladen Bestvina
2342:
2338:
2322:
2318:
2307:
2303:
2294:
2290:
2281:
2277:
2271:Semigroup Forum
2265:
2261:
2241:
2237:
2212:Dicks, Warren;
2211:
2210:
2206:
2166:
2165:
2161:
2148:
2144:
2133:
2126:
2107:Roger C. Lyndon
2105:
2101:
2087:
2083:
2066:
2065:
2061:
2048:Michah Sageev.
2047:
2043:
2032:Wayback Machine
2020:
2016:
2002:
1998:
1984:
1980:
1966:
1962:
1940:
1936:
1921:
1917:
1906:
1902:
1889:
1885:
1873:
1869:
1860:Wayback Machine
1848:
1844:
1830:
1826:
1809:
1805:
1755:
1754:
1750:
1737:
1733:
1718:10.2307/2373106
1701:
1700:
1696:
1680:
1676:
1662:
1658:
1648:Wayback Machine
1639:
1635:
1612:
1611:
1607:
1601:Wayback Machine
1592:
1588:
1577:
1573:
1560:
1553:
1544:
1540:
1524:
1523:
1516:
1508:
1504:
1493:
1476:
1471:
1454:
1438:
1425:
1397:
1347:
1324:
1311:
1291:
1270:10.2307/1970577
1250:
1229:10.2307/2373106
1211:Stallings, John
1209:
1178:
1155:
1108:
1071:
1068:
1045:group-theoretic
1034:Haken manifolds
1023:infinite cyclic
1011:normal subgroup
983:André Haefliger
918:graph-theoretic
827:
826:
787:
759:
758:
729:
728:
703:
702:
674:
660:
659:
603:Mladen Bestvina
571:
566:
565:
544:
539:
538:
517:
512:
511:
484:
483:
462:
461:
440:
435:
434:
427:Stallings group
401:
396:
395:
377:Simon Donaldson
331:
323:prostate cancer
295:Yale University
229:
175:
171:
88:
82:Alma mater
77:
71:
67:
58:
52:
46:
44:
36:
24:
17:
12:
11:
5:
2834:
2832:
2824:
2823:
2818:
2813:
2808:
2803:
2798:
2793:
2788:
2783:
2778:
2773:
2768:
2763:
2753:
2752:
2749:
2748:
2738:
2732:
2721:
2720:External links
2718:
2715:
2714:
2693:
2679:
2655:
2638:
2622:
2611:Robert Myers.
2604:
2588:
2563:
2545:
2532:
2517:
2497:
2484:
2464:
2449:
2426:
2406:
2389:
2376:
2354:
2336:
2316:
2301:
2288:
2275:
2259:
2235:
2224:(2): 113–151.
2204:
2177:(3): 373–389.
2159:
2142:
2124:
2099:
2081:
2068:Wall, C. T. C.
2059:
2041:
2014:
1996:
1978:
1960:
1934:
1915:
1900:
1883:
1867:
1842:
1824:
1803:
1769:(3): 445–470,
1748:
1731:
1712:(4): 541–543.
1694:
1674:
1656:
1633:
1605:
1586:
1571:
1551:
1538:
1514:
1502:
1473:
1472:
1470:
1467:
1466:
1465:
1452:
1436:
1423:
1395:
1361:(3): 551–565,
1345:
1322:
1309:
1289:
1248:
1207:
1190:(2): 170–181,
1176:
1153:
1120:(3): 481–488,
1106:
1087:(6): 485–488,
1067:
1066:Selected works
1064:
1019:quotient group
943:theory and in
846:
843:
840:
837:
834:
814:
811:
808:
805:
802:
797:
794:
790:
785:
781:
778:
775:
772:
769:
766:
742:
739:
736:
716:
713:
710:
701:is finite and
686:
681:
677:
673:
670:
667:
584:
581:
578:
574:
551:
547:
524:
520:
498:
494:
491:
470:
447:
443:
408:
404:
392:homology group
330:
327:
228:
225:
184:
183:
180:
179:
166:
162:
161:
156:
150:
149:
144:
140:
139:
134:
130:
129:
123:
122:
116:
112:
111:
97:
96:Known for
93:
92:
83:
79:
78:
72:
70:(aged 73)
64:
60:
59:
53:
42:
38:
37:
34:
26:
25:
22:
15:
13:
10:
9:
6:
4:
3:
2:
2833:
2822:
2819:
2817:
2814:
2812:
2809:
2807:
2804:
2802:
2799:
2797:
2794:
2792:
2789:
2787:
2784:
2782:
2779:
2777:
2774:
2772:
2769:
2767:
2764:
2762:
2759:
2758:
2756:
2746:
2742:
2739:
2736:
2733:
2731:
2727:
2724:
2723:
2719:
2709:
2704:
2697:
2694:
2689:
2683:
2680:
2676:
2675:2-553-01399-X
2672:
2668:
2664:
2659:
2656:
2652:
2648:
2642:
2639:
2635:
2632:
2626:
2623:
2619:
2618:
2614:
2608:
2605:
2601:
2595:
2593:
2589:
2585:
2584:
2580:
2576:
2575:Jerome Levine
2572:
2567:
2564:
2560:
2559:
2555:
2549:
2546:
2542:
2536:
2533:
2529:
2528:
2521:
2518:
2514:
2511:
2507:
2501:
2498:
2494:
2488:
2485:
2482:
2481:3-540-64324-9
2478:
2474:
2468:
2465:
2461:
2460:
2453:
2450:
2447:
2446:981-02-0442-6
2443:
2439:
2435:
2430:
2427:
2424:
2423:981-02-0442-6
2420:
2416:
2410:
2407:
2403:
2399:
2393:
2390:
2386:
2380:
2377:
2373:
2369:
2368:
2363:
2358:
2355:
2351:
2350:
2345:
2340:
2337:
2334:
2333:0-387-97518-7
2330:
2326:
2320:
2317:
2313:
2312:
2305:
2302:
2298:
2292:
2289:
2285:
2279:
2276:
2272:
2269:
2263:
2260:
2257:
2256:0-8218-2822-3
2253:
2249:
2245:
2239:
2236:
2231:
2227:
2223:
2219:
2215:
2208:
2205:
2200:
2196:
2192:
2188:
2184:
2180:
2176:
2172:
2171:
2163:
2160:
2156:
2152:
2146:
2143:
2139:
2138:
2131:
2129:
2125:
2122:
2118:
2114:
2113:
2108:
2103:
2100:
2096:
2095:
2091:
2085:
2082:
2077:
2073:
2069:
2063:
2060:
2056:
2055:
2051:
2045:
2042:
2038:
2037:
2033:
2029:
2026:
2025:
2018:
2015:
2011:
2010:
2006:
2000:
1997:
1993:
1992:
1988:
1982:
1979:
1975:
1974:
1970:
1967:Peter Scott.
1964:
1961:
1958:
1957:0-521-23033-0
1954:
1950:
1949:
1944:
1938:
1935:
1931:
1930:Combinatorica
1928:
1924:
1919:
1916:
1912:
1911:
1904:
1901:
1897:
1893:
1887:
1884:
1880:
1877:
1871:
1868:
1864:
1861:
1857:
1854:
1853:
1846:
1843:
1839:
1838:
1834:
1828:
1825:
1821:
1820:
1816:
1812:
1807:
1804:
1800:
1796:
1792:
1788:
1784:
1780:
1776:
1772:
1768:
1764:
1763:
1758:
1752:
1749:
1745:
1741:
1735:
1732:
1727:
1723:
1719:
1715:
1711:
1707:
1706:
1698:
1695:
1691:
1687:
1683:
1682:Stephen Smale
1678:
1675:
1671:
1668:
1667:
1660:
1657:
1653:
1649:
1645:
1642:
1637:
1634:
1630:
1626:
1625:
1620:
1616:
1609:
1606:
1602:
1598:
1595:
1590:
1587:
1583:
1580:
1575:
1572:
1568:
1564:
1558:
1556:
1552:
1548:
1542:
1539:
1534:
1533:
1528:
1521:
1519:
1515:
1511:
1506:
1503:
1499:
1496:
1491:
1489:
1487:
1485:
1483:
1481:
1479:
1475:
1468:
1463:
1459:
1455:
1449:
1445:
1441:
1437:
1434:
1430:
1426:
1420:
1416:
1412:
1408:
1404:
1400:
1396:
1392:
1388:
1384:
1380:
1376:
1372:
1368:
1364:
1360:
1356:
1355:
1350:
1346:
1343:
1339:
1335:
1331:
1327:
1323:
1320:
1316:
1312:
1306:
1302:
1298:
1294:
1290:
1287:
1283:
1279:
1275:
1271:
1267:
1263:
1259:
1258:
1253:
1249:
1246:
1242:
1238:
1234:
1230:
1226:
1222:
1218:
1217:
1212:
1208:
1205:
1201:
1197:
1193:
1189:
1185:
1181:
1177:
1174:
1170:
1166:
1165:Prentice Hall
1162:
1158:
1154:
1151:
1147:
1143:
1139:
1135:
1131:
1127:
1123:
1119:
1115:
1111:
1107:
1104:
1100:
1095:
1090:
1086:
1082:
1078:
1074:
1070:
1069:
1065:
1063:
1061:
1056:
1054:
1050:
1046:
1042:
1037:
1035:
1031:
1028:
1024:
1020:
1016:
1012:
1008:
1004:
1000:
996:
992:
987:
984:
980:
976:
972:
967:
965:
961:
957:
953:
948:
946:
942:
938:
933:
931:
927:
923:
919:
915:
911:
907:
903:
899:
895:
890:
888:
887:C. T. C. Wall
884:
879:
875:
871:
866:
864:
860:
844:
841:
838:
835:
832:
809:
806:
803:
800:
795:
792:
788:
779:
776:
773:
767:
764:
756:
740:
737:
734:
714:
711:
708:
700:
684:
679:
675:
671:
668:
665:
657:
653:
650:
646:
642:
638:
637:HNN extension
634:
630:
627:
623:
619:
615:
610:
608:
604:
600:
582:
579:
576:
572:
549:
545:
522:
518:
492:
489:
445:
441:
433:
428:
424:
406:
402:
393:
389:
384:
382:
378:
374:
370:
366:
362:
357:
355:
354:Stephen Smale
351:
346:
344:
340:
336:
328:
326:
324:
320:
319:
314:
309:
307:
303:
298:
296:
292:
288:
283:
281:
277:
273:
269:
265:
261:
256:
251:
249:
245:
241:
236:
234:
226:
224:
222:
218:
214:
210:
206:
202:
198:
194:
193:mathematician
190:
181:
178:
174:
170:
167:
163:
160:
157:
155:
151:
148:
145:
141:
138:
135:
131:
128:
124:
120:
117:
113:
110:
106:
102:
98:
94:
91:
87:
84:
80:
75:
65:
61:
56:
51:July 22, 1935
43:
39:
32:
27:
20:
2708:math/9306203
2696:
2682:
2666:
2658:
2650:
2646:
2641:
2633:
2625:
2615:
2607:
2581:
2566:
2556:
2548:
2540:
2535:
2525:
2520:
2509:
2506:William Jaco
2500:
2492:
2487:
2472:
2467:
2457:
2452:
2437:
2429:
2414:
2409:
2401:
2392:
2384:
2379:
2366:
2357:
2347:
2339:
2324:
2319:
2309:
2304:
2296:
2291:
2283:
2278:
2267:
2262:
2243:
2242:Bilal Khan.
2238:
2221:
2217:
2207:
2174:
2168:
2162:
2150:
2145:
2135:
2111:
2102:
2092:
2084:
2075:
2071:
2062:
2052:
2044:
2034:
2023:
2017:
2007:
1999:
1989:
1981:
1971:
1963:
1947:
1937:
1929:
1918:
1909:
1903:
1891:
1886:
1875:
1870:
1862:
1851:
1845:
1835:
1827:
1817:
1806:
1766:
1760:
1751:
1739:
1734:
1709:
1703:
1697:
1685:
1677:
1665:
1659:
1636:
1622:
1608:
1589:
1574:
1562:
1546:
1541:
1530:
1505:
1443:
1439:
1406:
1402:
1398:
1358:
1352:
1348:
1329:
1325:
1296:
1292:
1261:
1255:
1251:
1220:
1214:
1210:
1187:
1183:
1179:
1160:
1156:
1117:
1113:
1109:
1084:
1080:
1072:
1057:
1040:
1038:
1026:
998:
994:
988:
968:
949:
934:
925:
921:
891:
867:
862:
754:
698:
655:
651:
628:
614:group theory
611:
607:limit groups
599:Morse theory
426:
385:
368:
364:
360:
358:
347:
332:
316:
310:
299:
284:
252:
237:
230:
188:
187:
143:Institutions
126:
68:(2008-11-24)
2766:2008 deaths
2761:1935 births
2398:Paul Schupp
2078:(1): 5–101.
1498:UC Berkeley
1060:Interlingua
1009:contains a
898:free groups
874:free groups
857:are finite
343:3-manifolds
280:3-manifolds
264:Marc Culler
213:3-manifolds
169:Marc Culler
137:Mathematics
2755:Categories
2600:R. H. Bing
1003:3-manifold
432:free group
47:1935-07-22
2735:home page
2199:121902432
1799:120422255
1405:-trees",
1150:120418488
941:semigroup
894:subgroups
859:subgroups
842:≤
813:⟩
793:−
771:⟨
738:≠
712:≠
676:∗
635:or as an
493:∈
308:in 1970.
304:from the
297:in 1969.
248:Ralph Fox
227:Biography
159:Ralph Fox
99:proof of
2028:Archived
1856:Archived
1644:Archived
1597:Archived
1391:16643207
1295:(1971),
1075:(1960),
2728:at the
2179:Bibcode
1791:1465330
1771:Bibcode
1726:2373106
1462:1170374
1433:1105341
1383:0695906
1363:Bibcode
1342:0520522
1319:0415622
1286:0228573
1278:1970577
1245:0158917
1237:2373106
1204:0175956
1173:0158375
1142:0149457
1122:Bibcode
1103:0124905
1043:gave a
1025:, then
2673:
2479:
2444:
2421:
2331:
2254:
2197:
2119:
1955:
1797:
1789:
1724:
1460:
1450:
1431:
1421:
1389:
1381:
1340:
1317:
1307:
1284:
1276:
1243:
1235:
1202:
1171:
1148:
1140:
1101:
1030:fibers
1005:whose
825:where
270:, and
133:Fields
121:(1971)
115:Awards
76:, U.S.
57:, U.S.
2703:arXiv
2195:S2CID
1795:S2CID
1722:JSTOR
1469:Notes
1387:S2CID
1274:JSTOR
1233:JSTOR
1146:S2CID
956:trees
870:order
753:, or
2671:ISBN
2573:and
2477:ISBN
2442:ISBN
2419:ISBN
2329:ISBN
2252:ISBN
2117:ISBN
1953:ISBN
1448:ISBN
1419:ISBN
1305:ISBN
908:and
645:tree
375:and
337:and
291:Nice
199:and
63:Died
41:Born
2364:,
2226:doi
2187:doi
2175:117
1779:doi
1767:129
1714:doi
1411:doi
1371:doi
1266:doi
1225:doi
1192:doi
1130:doi
1089:doi
896:of
861:of
618:end
289:in
103:;
2757::
2743:,
2591:^
2577:.
2508:.
2220:.
2193:.
2185:.
2173:.
2127:^
2076:16
2074:.
1945:.
1925:.
1793:,
1787:MR
1785:,
1777:,
1765:,
1742:.
1720:.
1710:85
1708:.
1688:.
1684:.
1627:,
1621:,
1617:,
1554:^
1529:,
1517:^
1477:^
1458:MR
1456:,
1429:MR
1427:,
1417:,
1385:,
1379:MR
1377:,
1369:,
1359:71
1357:,
1338:MR
1315:MR
1313:,
1303:,
1299:,
1282:MR
1280:,
1272:,
1262:88
1241:MR
1239:,
1231:,
1221:85
1219:,
1200:MR
1198:,
1186:,
1169:MR
1163:,
1144:,
1138:MR
1136:,
1128:,
1118:58
1116:,
1099:MR
1097:,
1085:66
1083:,
1079:,
1062:.
947:.
932:.
889:.
865:.
727:,
609:.
282:.
266:,
250:.
235:.
223:.
107:;
2711:.
2705::
2232:.
2228::
2222:4
2201:.
2189::
2181::
1781::
1773::
1728:.
1716::
1584:.
1413::
1403:G
1373::
1365::
1268::
1227::
1194::
1188:2
1132::
1124::
1091::
1027:M
999:M
863:H
845:H
839:L
836:,
833:K
810:L
807:=
804:t
801:K
796:1
789:t
784:|
780:t
777:,
774:H
768:=
765:G
755:G
741:B
735:C
715:A
709:C
699:C
685:B
680:C
672:A
669:=
666:G
656:G
652:G
629:G
583:1
580:+
577:n
573:F
550:n
546:F
523:2
519:F
497:Z
490:1
469:Z
446:2
442:F
407:3
403:F
369:n
365:n
361:n
49:)
45:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.