Doğum |
22 Temmuz 1935 Morrilton |
---|---|
Ölüm |
24 Kasım 2008(73'te) Berkeley |
Milliyet | Amerikan |
Eğitim |
Princeton Üniversitesi Arkansas Üniversitesi |
Aktiviteler | Matematikçi , topolog , üniversite profesörü |
İçin çalıştı | Berkeley'deki California Üniversitesi |
---|---|
Alanlar | Grup teorisi , topoloji |
Süpervizör | Ralph tilki |
Ayrım | Cole Cebir Ödülü ( d ) (1970) |
John Robert Stallings genç doğdu22 Temmuz 1935içinde Morrilton ( Arkansas ), öldü24 Kasım 2008in Berkeley (California) ) geometrik topoloji ve cebir alanlarında çalışan Amerikalı bir matematikçidir . Poincaré varsayımına katkısı ve gruplar halinde amaç teorisi ile tanınır.
Okudu Stallings Princeton Üniversitesi'nde (sınıf arkadaşlarından biri olan John Milnor ) ve elde edilen Ph. D. Ralph H. Fox (tezin başlığı gözetiminde Princeton'da 1959 yılında " Bazı Topolojik delilleri ve Grushko Teoremi Uzantıları ” ). Stallings, Alfred P. Sloan Araştırma Görevlisi 1962–65 ve Miller Enstitüsü Üyesi 1972–73'tür. 1967'de Berkeley'deki California Üniversitesi'ne profesör olarak atandı ve 1994'te emekli oldu. 1961-62 ve 1971'de Institute for Advanced Study'de kaldı .
Stallings'in katkıları, geometrik grup teorisi ve düşük boyutlu topoloji (özellikle 3-manifoldlu topoloji ) ve bu iki alan arasındaki etkileşim alanındadır.
1960 yılında Stallings, Stephen Smale'den bağımsız olarak 6'dan büyük boyutlar için Poincaré varsayımını kanıtladı . Kanıtı 1962'de Erik Christopher Zeeman tarafından 5. ve 6. boyutlara genişletildi . Stallings aynı zamanda eşdeğer olan tamamen cebirsel varsayımları (grup teorisinde) formüle etti. Jaco ile bir çalışmada gösterildiği gibi Poincaré varsayımına.
Stallings'e göre, Poincaré varsayımı, artık kanıtlandığına göre, aşağıdaki teoreme (Stallings varsayımı) eşdeğerdir:
Izin bir yönlendirilebilir manifoldu cinsinin boyutun 2 , let ve olmayacak iki serbest gruplar rütbe ve olalım bir epimorphism ait temel gruba üzerinde . Daha sonra bir aşikar olmayan elemanı vardır çekirdek bölgesinin temsil edilir, kapalı bir basit eğri ile, yani, SN, iki nokta.Stallings'in grup teorisinde en iyi bilinen teoremi, Stallings teoremi (en) olarak bilinen birden fazla uca (yani birden fazla "sonsuzda bağlı bileşen") sahip grupların bir karakterizasyonudur . Stallings, yalnızca ve ancak birleştirilmiş bir serbest ürün olarak veya sonlu bir grup üzerinde bir uzantı HNN olarak yazılırsa , sonlu olarak üretilmiş bir grubun birden fazla uca sahip olduğunu kanıtlar .
Stalling'den bir diğer önemli makale " Sonlu grafikler üzerinde topoloji " dir . Geleneksel olarak cebirsel yapısı da alt bölgesinin serbest grubun içinde incelenmiştir kombinatoryal teorinin grupları gibi kombinatoryal yöntemler ile lemması Schreier ve dönüşüm Nielsen (in) , Madde Stallings koyar dayanan bir yaklaşım topolojik ileri kaplama yöntemleri basit kavramları kullanımı grafiğin teori . Makale, birçok sonucun basitçe ifade edilmesini sağlayan bir katlama tekniği olan bir alt grup grafiği kavramını tanıtıyor. Özellikle, Hanna Neumann varsayımını gösterme girişimlerinde grafik ve katlama teknikleri kullanılmıştır .
Stallings alt grup grafikleri, sonlu otomata olarak da görülebilir ve yarı grup teorisi ve teorik bilgisayar biliminde uygulamaları vardır .
1970 yılında Stallings, 1'e eşit bir kohomolojik boyuta sahip olma özelliği tarafından sonlu olarak üretilen serbest grupların karakterizasyonunun gösterilmesi için Richard Swan ile cebir alanında Frank Nelson Cole Ödülü'nü aldı (Stallings-Swan teoremi).
1970 yılında, Stallings edildi Davetli Konuşmacı de Uluslararası Matematikçiler Kongresi'nde de , Nice ( Grup teorisi ve 3-manifoldlar olarak) ve 1962 yılında Stockholm ( belirli kürelerin Topolojik unknottedness ).