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