ทฤษฎีกาลัว
(golem.ph.utexas.edu)- Tom Leinster เผยแพร่ เอกสารทฤษฎีกาลัว ที่ใช้ในการสอนระดับปริญญาตรีที่เอดินบะระช่วงปี 2021~2023 ผ่าน arXiv และเว็บไซต์
- เอกสารประกอบด้วย โน้ตการบรรยาย, วิดีโออธิบายสั้น ๆ ประมาณ 40 ตอน, แบบฝึกหัด และคำถามปรนัยเกือบ 500 ข้อ จึงใช้เป็นสื่อสำหรับเรียนด้วยตนเองได้ด้วย
- โน้ตชุดนี้ดูเหมือนจะได้รับความสนใจมากกว่าเอกสาร Fourier analysis, general topology, linear algebra และ category theory ที่เคยเผยแพร่ก่อนหน้านี้ โดยโน้ต category theory เป็นกรณียกเว้นที่ถูกตีพิมพ์เป็นหนังสือด้วย
- การบรรยายครั้งแรกจัดขึ้นในช่วง ล็อกดาวน์เต็มรูปแบบจาก Covid ทำให้การโต้ตอบแบบพบหน้ากันทำได้ยาก และด้วยเหตุนี้จึงต้องมีคำแนะนำและการจัดวางเนื้อหาที่ละเอียดรอบคอบกว่าปกติ
- ไม่เพียงความครบถ้วนของเนื้อหาเท่านั้น แต่ การจัดวางเชิงภาพ เช่น สีและไอคอนเล็ก ๆ ก็น่าจะเป็นปัจจัยที่ช่วยเพิ่มการเข้าถึงได้ด้วย โดยโน้ต วิดีโอ และแบบฝึกหัดยังคงเป็นเอกสารสาธารณะที่มีประโยชน์ต่อผู้เรียน
เผยแพร่เอกสารประกอบการบรรยายทฤษฎีกาลัวของเอดินบะระ
- Tom Leinster นำโน้ตการบรรยาย Galois theory ระดับปริญญาตรีของเอดินบะระขึ้น arXiv
- การบรรยายดังกล่าวจัดขึ้นตั้งแต่ปี 2021 ถึง 2023
- โน้ตถูกแชร์บนเว็บไซต์อยู่ก่อนแล้ว แต่การลงทะเบียนบน arXiv ล่าช้า เพราะต้องการเผยแพร่เอกสารประกอบการบรรยายอื่น ๆ ส่วนใหญ่ไปพร้อมกัน
- ดูเอกสารที่เผยแพร่ได้ที่ Galois theory course materials
- โน้ตการบรรยายที่สมบูรณ์และเรียนได้อย่างอิสระ
- วิดีโออธิบายสั้น ๆ ประมาณ 40 ตอน
- แบบฝึกหัดจำนวนมาก
- คำถามปรนัยเกือบ 500 ข้อ
ความแตกต่างจากเอกสารที่เคยเผยแพร่ก่อนหน้า
- Leinster เคยเผยแพร่โน้ตการบรรยายหลายชุดมาก่อน
- โน้ตทฤษฎีกาลัวดูเหมือนจะได้รับความสนใจมากกว่าสิ่งเหล่านี้
- โดยมีข้อยกเว้นคือโน้ต category theory ที่ถูกทำเป็นหนังสือด้วย
การจัดวางอย่างละเอียดรอบคอบที่เกิดจากสถานการณ์ล็อกดาวน์
- การบรรยายครั้งแรกจัดขึ้นในช่วง ล็อกดาวน์เต็มรูปแบบจาก Covid
- นักศึกษาอยู่ในสภาพที่เสียโอกาสในการโต้ตอบแบบพบหน้ากัน
- Leinster เห็นว่านักศึกษาจำเป็นต้องได้รับคำแนะนำมากกว่าปกติ
- เหตุผลที่โน้ตได้รับความสนใจอาจรวมถึงไม่เพียงการจัดเนื้อหาอย่างละเอียดรอบคอบ แต่ยังรวมถึงรูปลักษณ์ที่น่าอ่านด้วย
- สี
- ไอคอนเล็ก ๆ
- การจัดวางเชิงภาพโดยรวมที่อ่านง่ายขึ้น
วัตถุประสงค์ของเอกสารที่เผยแพร่
- Leinster หวังว่า โน้ต วิดีโอ และแบบฝึกหัด ที่เผยแพร่นี้จะสร้างความเพลิดเพลินให้ผู้คน
1 ความคิดเห็น
ความคิดเห็นจาก Hacker News
แม้จะเรียนเอกวิศวกรรมไฟฟ้า แต่ผมได้เรียน ทฤษฎี Galois ที่มหาวิทยาลัย และบังเอิญได้ฟังที่ Edinburgh ตอนปี 4 ผมเลือกวิชา Advanced Mathematics เหมือนเป็นการทรมานตัวเองอย่างหนึ่ง ห้องเรียนมีคนน้อยมาก และสอนโดย “นักคณิตศาสตร์ตัวจริง” ที่เดินข้ามมาจากภาควิชาคณิตศาสตร์ทุกวัน
ผมได้รับการศึกษาด้านคณิตศาสตร์มามาก แต่คิดว่านี่เป็นครั้งเดียวที่คนซึ่งสร้างคณิตศาสตร์ใหม่และเขียน论文มาสอนเองโดยตรง เขาสอนทฤษฎี Galois โดยใช้งานประยุกต์ด้านทฤษฎีรหัสเป็นตัวอย่าง และพูดตรง ๆ ว่ามันเป็นจุดเปลี่ยนในชีวิตเลย
ผมเลิกคิดเรื่องการสร้างรูปเจ็ดเหลี่ยมด้านเท่าด้วยวงเวียนและสันตรงไปเลย และแน่นอนว่าหลีกเลี่ยงการดวลกับ Montparnasse ได้ด้วย ถ้าตัดมุกออกไป มันเหมือนหลอดไฟในหัวสว่างขึ้น และต่อมาเมื่อเจอคนที่พยายามทำตัวให้ดูฉลาดด้วยการบอกว่ารู้จัก ECC หรือ ZKP สิ่งนี้ก็ช่วยในอาชีพมาก เป็นขั้วตรงข้ามกับคนที่บอกว่า “สิ่งที่เรียนในมหาวิทยาลัยไม่ได้เอามาใช้เลย”
หนังสือของ Ian Stewart เหมาะมากสำหรับเรียนด้วยตัวเอง และยังมีภูมิหลังทางประวัติศาสตร์ที่น่าสนใจด้วย
https://www.taylorfrancis.com/books/mono/10.1201/97810032139...
ช่วงปลายปีนี้ ถ้าอ่านคืบหน้าไปได้ดี อาจจะราวฤดูหนาว ผมตั้งใจจะเปิดชมรมอ่านหนังสือโดยใช้เล่มนี้ ถ้ามีใครอยากอ่านหนังสือแบบนี้ด้วยกันและแชร์ความคืบหน้า ก็อยากเชิญมาที่ช่อง #bitwise บน IRC และ Matrix ทั้งสองช่องเชื่อมผ่านบริดจ์กันอยู่ ดังนั้นเข้าจากฝั่งไหนก็ได้
ช่องนี้มีผู้ใช้ HN และผู้ใช้จากช่องอื่น ๆ เช่น ##math, ##physics, #cs เป็นพื้นที่ออนไลน์สำหรับแชร์ความคืบหน้าและเนื้อหาของหนังสือด้านคณิตศาสตร์และการคำนวณที่กำลังอ่านอยู่
[1] https://web.libera.chat/#bitwise
[2] https://app.element.io/#/room/#bitwise:matrix.org
https://bookstore.ams.org/view?ProductCode=STML/95
วิธีการสอนทฤษฎีในปัจจุบันมักถูกจัดโครงสร้างใหม่ผ่านพัฒนาการของความคิดทางคณิตศาสตร์และสัญกรณ์ การอ่านบทความต้นฉบับก่อนหน้านั้นจึงน่าสนใจมากเช่นกัน สำหรับจุดประสงค์นี้ ผมขอแนะนำอย่างยิ่ง The mathematical writings of Evariste Galois ของ Peter Neumann (https://ems.press/books/hem/102) มีต้นฉบับภาษาฝรั่งเศสและคำแปลภาษาอังกฤษแบบตรงตัววางคู่กัน พร้อมเชิงอรรถที่อธิบายบริบทและกระบวนการคิดที่เป็นไปได้ ตอนนั้นผมกำลังเรียนภาษาฝรั่งเศสอยู่ เลยสนุกกับการได้อ่านภาษาฝรั่งเศสมากขึ้นด้วย
บทที่ 1 ยอดเยี่ยมมาก
ผมพูดมาหลายปีแล้วว่าการสอนคณิตศาสตร์ต้องการ บริบท มากกว่านี้ เราพิสูจน์ X, Y, Z ได้ และคอร์สนี้ก็สอนสิ่งเหล่านั้น แต่ปัญหาแรงจูงใจที่ทำให้เราทำ X, Y, Z ได้กลับถูกพูดถึงแค่ผ่าน ๆ
หลังจากแก้บางอย่างได้แล้ว เราสามารถสร้างมันขึ้นใหม่ในรูปแบบที่ทั่วไปกว่าเดิม และการสร้างใหม่นั้นเองก็กลายเป็นวัตถุหนึ่ง วิธีที่ความก้าวหน้าดำเนินต่อไปแบบนี้เป็นเรื่องยอดเยี่ยม แต่ในแง่การศึกษา การสอน “เส้นทาง” ไม่ใช่แค่ “จุดหมาย” จะติดอยู่ในหัวคนได้ดีกว่ามาก ตอนสอน Calculus I ถ้าใส่เข้าไปว่า Newton กำลังพยายามแก้ปัญหาอะไรและทำไม นักศึกษาน่าจะถูกดึงดูดได้มากขึ้น เพราะจะมีเรื่องราวให้ติดตามและมีเหตุผลให้เรียน
ขอชื่นชมผู้เขียนบทที่ 1 ส่วนที่เหลือก็น่าจะดีเหมือนกัน แต่ตอนนี้มีเวลาแค่อ่านผ่าน ๆ บทที่ 1 เท่านั้น ผมคิดว่านี่ใช้ได้ไม่ใช่แค่กับคณิตศาสตร์ แต่กับแทบทุกวิชาด้วย
ตอนปริญญาตรีผมทำงานในศูนย์ติวคณิตศาสตร์ และวิชาแคลคูลัสถูกแบ่งเป็นสายวิศวกรรม·วิทยาศาสตร์ กับสายบริหาร·เศรษฐศาสตร์ ถ้ากลศาสตร์แบบ Newton น่าสนใจหรือเกี่ยวข้องกับสาขาของผู้เรียน แนวทางนั้นก็ดีมาก แต่ผมมักเห็นว่านักศึกษาสาขาอย่างชีววิทยาหรือวิศวกรรมอุตสาหการกลับลำบากขึ้นเพราะตัวอย่างประยุกต์ทางฟิสิกส์ในตำรา
นักศึกษามาพร้อมปัญหาเดียวคือ “แคลคูลัสยาก” แต่จู่ ๆ ก็กลายเป็นสองปัญหา เพราะต้องเข้าใจฟิสิกส์ด้วยถึงจะเข้าใจแคลคูลัสได้ มีนักศึกษาที่ทำอนุพันธ์และปริพันธ์เองได้ดี แต่พอมีโจทย์ฟิสิกส์ปนเข้ามาก็ติด ความสามารถในการแปลงปัญหาจริงเป็นคณิตศาสตร์สำคัญก็จริง แต่ถ้ามีสาขาเฉพาะที่ไม่สนใจเข้ามาเกี่ยว ก็กลายเป็นอุปสรรคที่ใหญ่กว่า
นักศึกษาบริหารก็คล้ายกัน ติวเตอร์ส่วนใหญ่เป็นสายวิศวกรรม จึงช่วยนักศึกษาบริหารที่ใช้ตำราซึ่งเต็มไปด้วยตัวอย่างที่ต้องมีความรู้พื้นฐานด้านการเงินได้ยาก ปริมาณทางการเงินมักไม่ต่อเนื่องแต่เป็นแบบไม่ต่อเนื่อง ทำให้ติวเตอร์ยิ่งสับสน
ถ้าหาการประยุกต์ที่นักศึกษาสนใจได้ แน่นอนว่าก็ควรใช้แนวทางนั้น แต่ในตำราทั่วไป การเลือกการประยุกต์เฉพาะบางอย่างจะขัดขวางการเรียนของนักศึกษาจำนวนมากที่ไม่ได้สนใจมัน
ถ้าเรียนว่าคณิตศาสตร์พัฒนาไปอย่างไรตามเวลา และคนในอดีตแก้ปัญหาสำคัญอย่างไร มันจะช่วยเวลาแก้ปัญหาอื่นในปัจจุบันหรือไม่? เมื่อไม่กี่ปีก่อนผมซื้อชุด 3 เล่ม Mathematical Thought from Ancient to Modern Times มา แต่ไม่มีเวลาอ่านเกินบทแรก ๆ ถ้ามีงานประวัติศาสตร์คณิตศาสตร์เล่มใหญ่ทำนองนี้ที่แนะนำ ผมก็สนใจ
แปลกที่หลังจากอ่าน Everything and More ของ David Foster Wallace แล้วกลับเข้าใจดีขึ้นมาก เพราะเขาอธิบายปฏิทรรศน์และทางตันที่นักคณิตศาสตร์เจอก่อนที่ Cauchy และคนอื่น ๆ จะทำให้ปัญหาเหล่านั้นเข้มงวด Wallace เป็นนักเขียนนวนิยายโพสต์โมเดิร์น ผมไม่รู้ว่าทำไมเขาถึงอธิบายอนันต์ได้ชัดเจนขนาดนั้น งานอื่นของเขาผมอ่านแล้วไม่ค่อยสนุก
ในหัวแบบโปรแกรมเมอร์ ไม่ว่าจะหาคำตอบของ t^3 = 2 หรือแก้ t^100 + t + 1 = 7 เชิงตัวเลข ทั้งคู่ก็ต้องใช้ วิธีวนซ้ำ อย่าง Newton method “มีปุ่มรากที่ n” ไม่ใช่เหตุผล เพราะอาจใส่ปุ่ม Newton ที่ทั่วไปกว่านั้นก็ได้
ทั้งสองอย่างดูไม่ได้ต่างกันโดยพื้นฐาน ทำไมการแก้ได้ด้วยรากถึงสำคัญ? มันรู้สึกเป็นเรื่องกำหนดเองพอ ๆ กับการถามว่าแก้ได้โดยไม่ใช้เลข 2 หรือไม่ ผมน่าจะสนใจความหมายอื่นของการแก้ได้มากกว่า เช่น วิธีวนซ้ำ, Newton method, การลู่เข้าแบบกำลังสอง
ผมคุยกับนักศึกษาจากมหาวิทยาลัยอื่น ๆ บางแห่งด้วย และพวกเขาก็มีประสบการณ์คล้ายกัน ตอนนั้นไม่มีใครชอบเลย อาจารย์ของผมใช้เวลาอย่างน้อยสองคาบเขียนแต่ประวัติศาสตร์บนกระดาน และพวกเราค่อนข้างเบื่อ แต่พวกเราเป็นนักศึกษาบัณฑิตสาขาคณิตศาสตร์ จึงไม่ได้ต้องการแรงจูงใจอะไรอยู่แล้ว
ผมมองว่า ทฤษฎี Galois เป็นทั้งคำอธิบายและจุดสูงสุดของคณิตศาสตร์ทฤษฎีที่สามารถเล่าถึงแรงจูงใจและเนื้อหาให้คนที่ไม่ชอบคณิตศาสตร์ฟังได้แม้บนโต๊ะอาหารเย็น
ถ้าเริ่มจากสูตรหาคำตอบของสมการกำลังสอง แทบทุกคนจะจำอะไรบางอย่างได้ จากนั้นพูดเรื่องการหาค่า x ในพหุนาม แล้วค่อยไปสู่คำถามว่าเราหา x ได้เสมอไหม และนั่นหมายความว่าอะไร ถ้าวาดกราฟพหุนาม มันตัดแกน x จึงมีคำตอบ แต่นั่นหมายความว่ามีสูตรที่เขียนจากสัมประสิทธิ์เพื่อหาคำตอบได้หรือไม่? เรื่องนี้บอกเป็นนัยถึงทฤษฎีบทมูลฐานของพีชคณิตที่ว่าพหุนามดีกรี n ทุกตัวมีราก n ตัวในจำนวนเชิงซ้อน
การอธิบายว่าการแก้ด้วยราก และความหมายที่ว่ามันมีสูตรของ x จากสัมประสิทธิ์ของพหุนาม เชื่อมโยงกันอย่างไรนั้นยากอยู่บ้าง
ข้อสรุปคือ สำหรับพหุนามทั่วไปดีกรี 5 ขึ้นไป ไม่มีสูตรของ x ที่แสดงด้วยสัมประสิทธิ์และใช้ได้แค่การดำเนินการพื้นฐานสี่อย่างกับการถอดราก ทฤษฎี Galois พิสูจน์เรื่องนี้
เหตุผลที่ Galois ได้รับเครดิตจากเรื่องนี้คือ ต้องใช้จินตนาการมหาศาลในการคิดว่าจะทำให้คำว่า “ไม่มีสูตร” เป็นทางการและพิสูจน์ได้อย่างไร ความหมายของการไม่มีสูตรคืออะไร และจะวางกรอบให้ถูกต้องแล้วพิสูจน์อย่างไร นั่นคือแก่นสำคัญ
ทฤษฎี Galois ให้ความเข้าใจลึกซึ้งกว่านั้นมาก และทำให้เข้าใจได้ว่าทำไมสมการกำลังห้าบางตัวจึงแก้ด้วยรากได้ เป็นต้น แต่ Galois ไม่ควรได้รับเครดิตในฐานะผู้พิสูจน์การไม่มีสูตรของสมการกำลังห้า อย่างน้อยเขาก็ไม่ใช่คนแรก
ในวิชา abstract algebra ที่มหาวิทยาลัย ทฤษฎี Galois มักถูกจดจำเหมือนเป็นบทส่งท้ายเสมอ Galois เป็นอัจฉริยะทางคณิตศาสตร์ และผมสงสัยว่าเขาจะมีผลงานอะไรอีกถ้าไม่เสียชีวิตจากการดวลตอนอายุ 20
https://en.wikipedia.org/wiki/%C3%89variste_Galois
เมื่อหลายปีก่อน เคยนำกลุ่มศึกษาโดยใช้ A Book of Abstract Algebra ของ Charles C. Pinter ตอนท้ายเชื่อมไปสู่ทฤษฎี Galois และเป็นหนึ่งในหนังสือที่ดีที่สุดที่เคยใช้ในกลุ่มศึกษาคณิตศาสตร์
ยังจำส่วนเกี่ยวกับ Galois ท้ายเล่มได้ด้วย มีช่วงที่น่าสนใจเกี่ยวกับประวัติการแก้หารากของสมการพหุนาม โดยเฉพาะประวัติการแก้สมการดีกรีใด ๆ
ในฐานะคนที่ไม่ได้เรียนเอกคณิตศาสตร์ อยากรู้ว่าบทความ Simple Wikipedia นี้ถูกต้องโดยคร่าว ๆ ไหม ในฐานะวิศวกรผู้ถ่อมตัว ผมเห็นทฤษฎี Galois อยู่ในรายการวิชาคณิตศาสตร์เสมอ และสงสัยว่ามันคืออะไร
https://simple.m.wikipedia.org/wiki/Galois_theory
ความเข้าใจอันเฉียบแหลมที่ Galois ค้นพบคือ ความเชื่อมโยงพื้นฐานระหว่างฟิลด์กับกรุป แต่นั่นออกจะเป็น “เทคนิค” ในการแก้ปัญหา ส่วน “ทำไปทำไม” นั้นซับซ้อนกว่าเล็กน้อย แต่พูดสั้น ๆ คือ Galois ต้องการสร้างเกณฑ์ตัดสินว่าพหุนามใดแก้ได้หรือแก้ไม่ได้ในฟิลด์ใด
เช่น เรารู้ว่า x^2 = -1 แก้ได้ในจำนวนเชิงซ้อน C โดย x = i แต่แก้ไม่ได้ในจำนวนจริง คำถามคือ เราจะทำให้การพิสูจน์แบบนี้เป็นทั่วไปพอที่จะรันเชิงกลได้กับฟิลด์ใด ๆ และพหุนามใด ๆ หรือไม่
ผมเคยพยายามปูแรงจูงใจของคำถามที่นำไปสู่ทฤษฎี Galois ให้โปรแกรมเมอร์และวิศวกรที่เน้นปฏิบัติมากกว่าเข้าถึงได้ที่ https://news.ycombinator.com/item?id=41258726
ในเทอมที่สองของพีชคณิตมีหน่วยเรื่องทฤษฎี Galois แต่ตอนนั้นรู้สึกว่าเป็น เรื่องเหลวไหลเชิงนามธรรม และไม่เข้าใจ อยากลองตามอ่านแหล่งข้อมูลนี้เพื่อดูว่ามุมมองตอนนี้เปลี่ยนไปหรือยัง
แรงจูงใจหลักของทฤษฎี Galois คือการพิสูจน์ ความเป็นไปไม่ได้ของคำตอบทั่วไปสำหรับสมการดีกรี 5 สูตรทั่วไปสำหรับแก้สมการกำลังสอง ax^2 + bx + c = 0 เป็นที่รู้กันมาหลายพันปีแล้ว และหลังจากพยายาม นักคณิตศาสตร์ก็พบสูตรสำหรับพหุนามดีกรี 3 และ 4 ด้วย แต่ไม่มีใครพบคำตอบรูปปิดของดีกรี 5
ในที่สุด Galois และ Abel ก็พิสูจน์ได้ว่าสูตรสำหรับดีกรี 5 ไม่มีอยู่ อย่างน้อยก็ไม่สามารถแสดงด้วยการบวก ลบ คูณ หาร ยกกำลัง และรากได้ เช่น ยังสามารถระบุสมการเฉพาะอย่าง x^5 - x + 1 ที่ไม่สามารถแสดงรากในรูปแบบนั้นได้
ผมเคยเรียนทั้งวิชาที่ว่าด้วยการพิสูจน์นี้ และจริง ๆ แล้วมันน่าสนใจมาก เป็นการสร้างความสอดคล้องลึกซึ้งระหว่างกรุปกับฟิลด์ จนสามารถย้ายทฤษฎีเกี่ยวกับกรุปไปเป็นทฤษฎีเกี่ยวกับฟิลด์ และในทางกลับกันได้ อีกทั้งยังให้เครื่องมือที่ทรงพลังมากในการวิเคราะห์สมมาตร
การพิสูจน์จริงกลับให้ความรู้สึกเกือบจะจืดอย่างน่าประหลาด หลังจากสั่งสมการพิสูจน์ลึก ๆ มากมายเกี่ยวกับโครงสร้างของรากของสมการพหุนามแล้ว สุดท้ายก็เห็นว่าโครงสร้างสมมาตรของพหุนามดีกรี 5 เฉพาะอย่าง x^5 - x + 1 ไม่เข้ากับสมมาตรที่การดำเนินการคณิตศาสตร์พื้นฐานมีอยู่ พูดตรง ๆ คือฟิลด์ของคำตอบของพหุนามนั้นไม่สอดคล้องกับกรุปที่แก้ได้: https://en.wikipedia.org/wiki/Solvable_group
ด้วยแนวทางแทบเดียวกัน ยังพิสูจน์ได้ด้วยว่าการแบ่งมุมเป็นสามส่วนโดยใช้เพียงวงเวียนกับสันตรงเป็นไปไม่ได้ นี่เป็นปัญหาที่รบกวนนักคณิตศาสตร์มาหลายพันปี ที่น่าผิดหวังเล็กน้อยคือ หลังจากใช้เวลาทั้งเทอมกำหนดนิยาม “เรื่องเหลวไหลเชิงนามธรรม” อย่างกรุป ฟิลด์ และส่วนขยายของฟิลด์แล้ว การพิสูจน์ความเป็นไปไม่ได้ของคำตอบทั่วไปสำหรับดีกรี 5 ใช้เวลา 10 นาที และการพิสูจน์ความเป็นไปไม่ได้ของการแบ่งมุมเป็นสามส่วนก็เช่นกัน
มีจุดที่น่าสนใจอยู่บ้างที่ทฤษฎี Galois ไปแตะกับ คอมไพเลอร์และการเขียนโปรแกรม
การตีความเชิงนามธรรมแมปชุดพฤติกรรมของโปรแกรมที่อาจเป็นอนันต์ไปยังโมเดลที่เรียบง่ายกว่า มักเป็นจำกัด มีการประมาณอย่างถูกต้องปลอดภัย และให้เหตุผลได้ง่ายกว่า ตรงนี้ใช้ การเชื่อมโยงแบบ Galois ซึ่งเทียบเคียงได้กับทฤษฎี Galois ที่เชื่อมฟิลด์อนันต์กับกรุปจำกัด ผมมักนึกถึงแนวคิดนี้ตอนทำงานเกี่ยวกับการกำหนดหมายเลขค่า
อีกอย่าง แม้อาจเป็นการเปรียบเทียบที่ฝืนไปหน่อย แต่การมองการขยายโดเมนการคำนวณอย่างจำนวนเต็มด้วยค่าที่เพิ่มเข้ามาอย่างค่าข้อผิดพลาด ให้คล้ายกับส่วนขยายของฟิลด์ ก็เป็นเรื่องน่าสนใจ บางครั้งมันก่อให้เกิดความซับซ้อนที่ไม่คาดคิดเหมือนในส่วนขยายของฟิลด์ เช่น การสูญเสียการแยกตัวประกอบแบบเอกเทศ, poison และ undef ของ LLVM, รวมถึง NaN
แก่นของมันคือช่วยให้สามารถประมาณชุดสถานะที่เข้าถึงได้ในโปรแกรมได้อย่างถูกต้องปลอดภัย และจากนั้นใช้ตรวจสอบว่าสถานะที่ไม่ดีไม่อาจถูกเข้าถึงได้หรือไม่ หรือพิจารณาว่าการตรวจสอบบางอย่างไร้ประโยชน์จนลบออกได้หรือไม่ ตัวอย่างการใช้งานอื่นคือ borrow checker ตัวใหม่ของ Rust ซึ่งอิงกับ data-flow pass หลายตัวที่ตัดสินว่า ณ จุดต่าง ๆ ของโปรแกรม ตัวแปรใดยังมีชีวิตอยู่และถูกยืมอยู่
เกี่ยวกับคำพูดที่ว่า “ไม่มีวิธีแยกแยะ i กับ -i” ตอนนี้ก็ยังไม่รู้ว่าในเชิงพีชคณิตล้วน ๆ จะแยกแยะ ระบบพิกัดมือซ้าย กับระบบพิกัดมือขวาได้อย่างไร
ฐาน [(1,0,0), (0,1,0), (0,0,1)] เป็นแบบมือซ้ายหรือมือขวา? ถ้าไม่มีรูปก็ดูไม่ออก อยากรู้ว่ามีใครรู้ไหม
“ซ้าย” กับ “ขวา” เป็นคู่ขั้วกัน อย่างหนึ่งดำรงอยู่ไม่ได้ถ้าไม่มีอีกอย่าง และทั้งสองสมมาตรกัน เป็นปัญหาเดียวกับคอนจูเกตที่พูดถึงในทฤษฎี Galois
ที่จริง จากมุมมองเชิงพีชคณิต กล่าวคือไม่ใช่มุมมองด้านลำดับ เลขคณิต หรือการวิเคราะห์ การเขียนคอนจูเกตของส่วนขยายของฟิลด์อย่าง sqrt2 หรือ i ด้วยเครื่องหมาย + และ - เองก็อาจทำให้เข้าใจผิดได้ สำหรับคู่คอนจูเกตแบบนี้ ชื่อ Left กับ Right เหมาะกว่า + กับ - จะมีความหมายก็ต่อเมื่อกำหนดลำดับเชิงเลขคณิตแล้วเท่านั้น เช่น เมื่อ x เป็นจำนวนจริงบวก จึงพูดได้ว่า -sqrt(x) < 0 < +sqrt(x)
ถ้า x เป็นจำนวนจริงลบ ปัญหาเรื่อง - ก็ปรากฏขึ้นทันที -i กับ i ไม่สามารถแยกกันได้ด้วยลำดับเมื่อเทียบกับ 0
จำนวนเชิงซ้อนโดยเนื้อแท้แล้วเป็นทฤษฎีของปริภูมิ 2 มิติ คำถามนี้เกี่ยวกับปริภูมิ 3 มิติ ประโยคที่อ้างมาบอกเราว่า ในเชิงทฤษฎีแล้วไม่สามารถแยกแยะด้านบนกับด้านล่างได้
ในปริภูมิ 3 มิติทุกแห่งมีปริภูมิ 2 มิติอยู่ข้างใน มีหลายวิธีที่จะมองสิ่งนี้ แต่วิธีที่ง่ายที่สุดคือทิ้งพิกัด z ไป
ถ้าสมมติว่าในปริภูมิ 3 มิติสามารถแยกแยะมือซ้ายกับมือขวาได้ ก็จะได้วิธีแยกแยะด้านบนกับด้านล่างในปริภูมิ 2 มิติที่ฝังอยู่ภายในนั้น แต่ในปริภูมิ 2 มิติแยกแยะสิ่งนั้นไม่ได้ ดังนั้นใน 3 มิติก็ไม่สามารถแยกแยะมือซ้ายกับมือขวาได้เช่นกัน