โรเจอร์ ลินดอน

Roger Conant Lyndon (18 ธันวาคม 1917 – 8 มิถุนายน 1988) เป็นนักคณิตศาสตร์ ชาวอเมริกัน ซึ่งดำรงตำแหน่งศาสตราจารย์ที่มหาวิทยาลัยมิชิแกน เป็นเวลาหลาย ปี[ 1 ]เขาเป็นที่รู้จักจากคำศัพท์ Lyndon , ทฤษฎีบท Curtis–Hedlund–Lyndon , การแทรกสอด Craig–Lyndonและลำดับสเปกตรัม Lyndon–Hochschild– Serre
ชีวประวัติ
ลินดอนเกิดเมื่อวันที่ 18 ธันวาคม พ.ศ. 2460 ในเมืองกาเลส์ รัฐเมนเป็นบุตรชายของ บาทหลวง นิกายยูนิแทเรียน มารดาของเขาเสียชีวิตเมื่อเขาอายุได้สองขวบ หลังจากนั้นเขาและบิดาได้ย้ายไปอยู่หลายเมืองในรัฐแมสซาชูเซตส์และนิวยอร์กเขาศึกษาระดับปริญญาตรีที่มหาวิทยาลัยฮาร์วาร์ดเดิมทีตั้งใจจะเรียนวรรณคดี แต่ในที่สุดก็เลือกเรียนคณิตศาสตร์ และสำเร็จการศึกษาในปี พ.ศ. 2482 เขาทำงานเป็นนายธนาคาร แต่ไม่นานหลังจากนั้นก็กลับไปเรียนต่อระดับบัณฑิตศึกษาที่ฮาร์วาร์ด และได้รับปริญญาโทในปี พ.ศ. 2484 หลังจากสอนอยู่ที่สถาบันเทคโนโลยีจอร์เจีย ได้ไม่นาน เขาก็กลับไปที่ฮาร์วาร์ดเป็นครั้งที่สามในปี พ.ศ. 2485 และในระหว่างนั้นเขาสอนการเดินเรือในโครงการฝึกอบรมวิทยาลัยกองทัพเรือ V-12พร้อมกับศึกษาต่อจนได้รับปริญญาเอก[ 1 ]เขาได้รับปริญญาเอกในปี พ.ศ. 2489 ภายใต้การดูแลของซอนเดอร์ส แมคเลน[ 1 ] [ 2 ]
หลังจากสำเร็จการศึกษาจากมหาวิทยาลัยฮาร์วาร์ด ลินดอนทำงานที่สำนักงานวิจัยกองทัพเรือจากนั้นเป็นอาจารย์และผู้ช่วยศาสตราจารย์ที่มหาวิทยาลัยพรินซ์ตัน เป็นเวลาห้าปี ก่อนที่จะย้ายไปมหาวิทยาลัยมิชิแกนในปี 1953 [ 1 ]ที่มิชิแกน เขาใช้ห้องทำงานร่วมกับ โดนัลด์ จี. ฮิก แมน[ 3 ]นักศึกษาปริญญาเอกที่มีชื่อเสียงของเขาที่นั่น ได้แก่เคนเนธ แอปเปลและโจเซฟ ครูสคาล[ 2 ]
ลินดอนเสียชีวิตเมื่อวันที่ 8 มิถุนายน พ.ศ. 2531 ที่เมืองแอนน์อาร์เบอร์ รัฐมิชิแกน[ 1 ]
วิจัย
วิทยานิพนธ์ปริญญาเอกของลินดอนเกี่ยวข้องกับ โคฮอโมโล ยีของกลุ่ม[ 1 ]ลำดับสเปกตรัม Lyndon–Hochschild–Serreซึ่ง มาจากงานดังกล่าว เชื่อมโยงโคฮอโมโลยีของกลุ่มกับโคฮอโมโล ยี ของกลุ่มย่อยปกติและกลุ่มผลหารของกลุ่มย่อย เหล่านั้น
คำของลินดอนคือสตริงสัญลักษณ์ที่ไม่ว่างเปล่าซึ่งมีขนาดเล็ก กว่าการหมุนแบบวงจรใดๆ ของมันใน เชิงพจนานุกรมลินดอนได้แนะนำคำเหล่านี้ในปี พ.ศ. 2497 ขณะศึกษาฐานของกลุ่มอิสระ[ 4 ]
ลินดอนได้รับการยกย่องจากกุสตาฟ เอ. เฮดลันด์สำหรับบทบาทของเขาในการค้นพบทฤษฎีบทเคอร์ติส-เฮดลันด์-ลินดอนซึ่งเป็นลักษณะทางคณิตศาสตร์ของออโตมาตาเซลลูลาร์ในแง่ของ ฟังก์ชัน สมมาตรต่อเนื่อง บนปริภูมิเลื่อน[ 5 ]
ทฤษฎีบทการแทรกสอดของ เครก-ลินดอนในตรรกศาสตร์เชิงรูปธรรมระบุว่าการบ่งชี้เชิงตรรกะ ทุก ประการสามารถแยกตัวประกอบเป็นองค์ประกอบของการบ่งชี้สองประการได้ โดยที่สัญลักษณ์ที่ไม่ใช่เชิงตรรกะแต่ละตัวในสูตรตรงกลางขององค์ประกอบจะถูกใช้ในสูตรอีกสองสูตรด้วยเช่นกันวิลเลียม เครก ได้พิสูจน์ทฤษฎีบทนี้ ในปี พ.ศ. 2490 และลินดอนได้เสริมความแข็งแกร่งในปี พ.ศ. 2492 [ 6 ]
นอกเหนือจากผลลัพธ์เหล่านี้แล้ว ลินดอนยังได้มีส่วนสำคัญต่อทฤษฎีกลุ่มเชิงคอมบินาทอริกซึ่งเป็นการศึกษากลุ่มในแง่ของการนำเสนอในแง่ของลำดับขององค์ประกอบที่ก่อให้เกิดซึ่งรวมกันเพื่อสร้างเอกลักษณ์ของกลุ่ม[ 1 ]
รางวัลและเกียรติยศ
หนังสือContributions to Group Theory (American Mathematical Society, 1984, ISBN ) 978-0-8218-5035-0(ชื่อหนังสือ ) เป็นหนังสือที่จัดทำขึ้นเพื่อเป็นเกียรติแก่ลินดอน เนื่องในโอกาสวันเกิดครบรอบ 65 ปีของเขา โดยประกอบด้วยบทความ 5 บทความเกี่ยวกับลินดอนและงานวิจัยทางคณิตศาสตร์ของเขา รวมถึงบทความวิจัยที่ได้รับเชิญและผ่านการตรวจสอบโดยผู้ทรงคุณวุฒิอีก 27 บทความ
ตำแหน่งศาสตราจารย์ด้านคณิตศาสตร์ Roger Lyndon Collegiate ที่มหาวิทยาลัยมิชิแกน ซึ่งHyman Bass ดำรงตำแหน่ง ในปี 1999–2008 [ 7 ]ได้รับการตั้งชื่อตาม Lyndon
สิ่งพิมพ์
ลินดอนเป็นผู้เขียนหรือผู้ร่วมเขียนหนังสือเหล่านี้:
- บันทึกเกี่ยวกับตรรกศาสตร์ (แวน นอสแตรนด์, 1967)
- โจทย์ปัญหา: ปัญหาการตัดสินใจในทฤษฎีกลุ่ม (ร่วมกับWW Booneและ FB Cannonito, North-Holland, 1973)
- Combinatorial Group Theory (ร่วมกับPaul Schupp , 1976, พิมพ์ซ้ำในปี 2001 โดย Springer-Verlag, ISBN 978-3-540-41158-1)
- กลุ่มและเรขาคณิต (สำนักพิมพ์มหาวิทยาลัยเคมบริดจ์, 1985, ISBN) 978-0-521-31694-1)
ผลงานวิจัยที่ได้รับการอ้างอิงมากที่สุดของเขา ได้แก่:
- Lyndon, Roger C. (1950). "ทฤษฎีโคฮอโมโลยีของกลุ่มที่มีความสัมพันธ์กำหนดเพียงหนึ่งเดียว" Annals of Mathematics . 52 (3): 650– 665. doi : 10.2307/1969440 . JSTOR 1969440 . MR 0047046 .
- Chen, Kuo Tsai; Fox, Ralph H. ; Lyndon, Roger C. (1958). "แคลคูลัสเชิงอนุพันธ์อิสระ IV. กลุ่มผลหารของอนุกรมกลางล่าง" Annals of Mathematics . 68 (1): 81– 95. doi : 10.2307/1970044 . JSTOR 1970044 . MR 0102539 .