תורת גלואה - מה הרעיון הבסיסי בה?

בפוסט הקודם דיברתי על “מהן משוואות ממעלה חמישית ולמה הן לא פתירות”. לא סתם הכנסתי את המשוואות הללו לתמונה - הן מה שסיפק לגלואה את המוטיבציה לפיתוח התורה שלו (שאותה המציא פחות או יותר בגיל 16). עם זאת, לעת עתה נעזוב את המשוואות ונדבר באופן קצת יותר כללי על מה הולך כאן בכלל.תורת גלואה היא המשך טבעי של העיסוק בהרחבת שדות, שכבר הזכרתי בעבר בפוסט בהקשר של בעיות בניה בסרגל ומחוגה. לא אחזור על הכל מחדש, אבל בכל זאת אתן תזכורת קצרה. “שדה” הוא הכללה של אובייקטים מתמטיים כמו המספרים הרציוונליים, הממשיים והמרוכבים - אוסף איברים שסגור לארבע פעולות החשבון (“סגור” פירושו שאם אנו מבצעים פעולה על איברים מתוך האוסף, התוצאה היא גם איבר מהאוסף - למשל, מכפלת שני מספרים רציונליים גם היא מספר רציונלי). כשאני אומר “פעולות החשבון” מובלעת בזה ההנחה שהם מקיימים את התכונות ה”רגילות” של פעולות החשבון: למשל, $latex a+b=b+a$. כאמור - לא אציין כאן במפורש את התכונות המדוייקות ששדה צריך לקיים.

הרחבת שדות היא התהליך שבו בהינתן שדה $latex F$, מגדילים אותו ומקבלים שדה חדש, $latex E$, שמכיל את $latex F$ כתת-שדה שלו. הסוג היחיד של הרחבות שאדבר עליו בהקשר של תורת גלואה יהיה הרחבות סופיות - הרחבות שבהן המימד של $latex E$ מעל $latex F$ הוא סופי. גם מושג זה הוסבר בעבר - הרעיון הבסיסי הוא שאם המימד של $latex E$ מעל $latex F$ הוא $latex n$, אז אפשר לתאר כל איבר ב-$latex E$ באופן יחיד באמצעות סדרה של $latex n$ איברים שונים של $latex F$. דוגמה פשוטה: נניח שאנחנו לוקחים בתור $latex F$ את $latex \mathbb{Q}$ - אוסף הרציונליים - מוסיפים לאוסף זה את המספר הלא רציונלי $latex \theta=\sqrt[3]{2}$, ואז “סוגרים” את האוסף כך שיהיה סגור לפעולות החשבון (למשל, אם $latex \theta$ בפנים גם $latex 2\theta$ יהיה בפנים). ניתן להראות כי האיבר הכללי של השדה שיתקבל (שמסומן בתור $latex E=F\left(\theta\right)$) הוא מהצורה $latex a+b\theta+c\theta^{2}$, כש-$latex a,b,c\in F$ שלושתם. כלומר, כל איבר ב-$latex E$ ניתן לתיאור באמצעות שלשה מהצורה $latex \left(a,b,c\right)$. את המימד של $latex E$ מעל $latex F$ סימנו ב-$latex \left[E:F\right]$, והוא שיחק תפקיד מכריע בכל ענייני הסרגל ומחוגה - הראינו אז שאם מספר $latex \theta$ ניתן לבניה בעזרת סרגל ומחוגה, אז $latex \left[\mathbb{Q}\left(\theta\right):\mathbb{Q}\right]=2^{k}$ עבור $latex k$ כלשהו - ולכן, למשל, $latex \theta=\sqrt[3]{2}$ אינו ניתן לבניה בעזרת סרגל ומחוגה (זה הראה שלא ניתן להכפיל את הקוביה בעזרת סרגל ומחוגה).

עוד הנחה שאני הולך לדבוק בה בהמשך היא שהשדה $latex F$ הוא ממציין 0, כלומר שאם מחברים את $latex 1$ לעצמו אף פעם לא מתקבל 0. תכונה זו לא מתקיימת, למשל, בשדה $latex \mathbb{Z}_{7}$, של המספרים השלמים $latex 0,\dots,6$ עם פעולות חיבור וכפל מודולו 7. תורת גלואה מטפלת גם בשדות ממציין שונה מאפס, אך איני זקוק להם בשביל לדבר על משוואות ממעלה חמישית, ואין צורך להיכנס לפרטים הטכניים הנוספים שהטיפול במקרים אלו מכתיב.

תורת גלואה מרחיבה את מה שניתן לומר על הרחבות, באמצעות הכנסה לתמונה של מושג חדש - אוטומורפיזמים. אוטומורפיזם של שדה היא פונקציה ש”מערבבת” את אברי השדה, באופן כזה ששומר על מבנה השדה. פורמלית, $latex \varphi:E\to E$ היא פונקציה שלכל איבר ב-$latex E$ מתאימה איבר אחר ב-$latex E$, כך שמתקיימות שלוש תכונות: ראשית, אין שני איברים שמתמפים לאותה תוצאה, כלומר אם $latex \varphi\left(x\right)=\varphi\left(y\right)$ בהכרח $latex x=y$ - פונקציה שמקיימת זאת היא “חד-חד ערכית”. שנית, כל איבר ב-$latex E$ מתקבל כפלט של הפעלת $latex \varphi$ על איבר כלשהו ב-$latex E$, כלומר לכל $latex y\in E$ קיים $latex x\in E$ כך ש-$latex \varphi\left(x\right)=y$. שלישית, לכל $latex x,y\in E$ מתקיים ש-$latex \varphi\left(x+y\right)=\varphi\left(x\right)+\varphi\left(y\right)$ ו-$latex \varphi\left(xy\right)=\varphi\left(x\right)\varphi\left(y\right)$. כלומר, אם יש לנו שני איברים, אין הבדל בין הפעלת האוטומורפיזם עליהם בנפרד ואז ביצוע חיבור או כפל של התוצאות, ובין ביצוע חיבור או כפל קודם, והפעלה של האוטומורפיזם אחר כך.

כאן מתבקש לתת דוגמה לאוטומורפיזם, ולכן בואו נסתכל לרגע על השדה $latex \mathbb{Q}\left(\sqrt{2}\right)$ - השדה שמתקבל מהרחבת הרציונליים על ידי הוספת $latex \sqrt{2}$. האיברים בשדה הזה הם מהצורה $latex a+b\sqrt{2}$, כאשר $latex a,b\in\mathbb{Q}$. אוטומורפיזם טריוויאלי של השדה הזה הוא האוטומורפיזם שמעביר כל איבר לעצמו - $latex \varphi\left(x\right)=x$. קל לראות שזה אוטומורפיזם. בנוסף לכך, יש לנו אוטומורפיזם אחד נוסף - $latex \varphi\left(a+b\sqrt{2}\right)=a-b\sqrt{2}$. בדקו שזה אכן אוטומורפיזם!

האם יש אוטומורפיזמים נוספים? התשובה היא לא, וכדי לראות זאת, הבה ונחשוב לרגע על תכונות בסיסיות של אוטומורפיזמים של שדה כללי, $latex E$. בראש ובראשונה, מהו $latex \varphi\left(1\right)$? אני רוצה להראות שזה בדיוק $latex 1$. כדי להראות זאת, מספיק להראות כי לכל $latex y\in E$ מתקיים $latex \varphi\left(1\right)\cdot y=y$, שכן האיבר היחיד שמקיים זאת הוא 1 (מדוע?). אם כן, מכיוון ש-$latex \varphi$ הוא אוטומורפיזם, קיים $latex x\in E$ כך ש-$latex \varphi\left(x\right)=y$. אבל כעת, $latex y=\varphi\left(x\right)=\varphi\left(1\cdot x\right)=\varphi\left(1\right)\varphi\left(x\right)=\varphi\left(1\right)y$, כפי שרצינו.

כעת, אם $latex \varphi\left(1\right)=1$, אז גם $latex \varphi\left(2\right)=\varphi\left(1+1\right)=\varphi\left(1\right)+\varphi\left(1\right)=1+1=2$; ובאופן כללי לכל מספר טבעי $latex n$ יתקיים $latex \varphi\left(n\right)=n$. אבל קל להראות גם כי $latex \varphi\left(-1\right)=-1$ (כי $latex 0=\varphi\left(0\right)=\varphi\left(1-1\right)=\varphi\left(1\right)-\varphi\left(-1\right)$), ולכן מקבלים כי $latex \varphi\left(-n\right)=-n$; ובאופן דומה, מכיוון שאוטומורפיזם משמר גם את פעולת הכפל, אפשר להראות שלכל $latex a\in\mathbb{Q}$ מתקיים $latex \varphi\left(a\right)=a$. בקיצור, אוטומורפיזם של כל שדה שמרחיב את הרציונליים (וכבר אמרתי בעבר שכל שדה ממציין אפס מכיל את הרציונליים כתת שדה), לא משנה בשום צורה את הרציונליים (ובפרט - האוטומורפיזם היחיד של שדה הרציונליים הוא הזהות). על אוטומורפיזם כזה אומרים שהוא משמר את הרציונליים - ובאופן כללי, אם יש לנו הרחבת שדות $latex E/F$ ($latex E$ מרחיב את $latex F$), ואם $latex \varphi:E\to E$ הוא אוטומורפיזם של $latex E$ כך ש-$latex \varphi\left(a\right)=a$ לכל $latex a\in F$, אז אומרים ש-$latex \varphi$ משמר את השדה $latex F$. כשחוקרים את ההרחבה $latex E/F$, האוטומורפיזם המעניינים יהיו בדיוק האוטומורפיזמים של $latex E$ שמשמרים את $latex F$, שכן במובן מסויים אלו האוטומורפיזמים שמכילים מידע גם על $latex E$ אבל גם על $latex F$.

כעת, אוטומורפיזמים אפשר “להרכיב” זה על זה - להפעיל קודם אחד, ואז את השני. אם $latex \varphi,\tau$ הם שני אוטומורפיזמים של שדה, אפשר להגדיר פונקציה חדשה, שתסומן $latex \varphi\circ\tau$, ומוגדרת באמצעות $latex \varphi\circ\tau\left(x\right)=\varphi\left(\tau\left(x\right)\right)$. לא קשה להוכיח שהפונקציה הזו היא אוטומורפיזם בעצמה. האבחנה המרכזית כאן היא שפעולת ההרכבה הזו הופכת את אוסף האוטומורפיזמים של $latex E$ לחבורה. גם זה מושג שכבר הופיע בבלוג פעמים רבות, אבל נזכיר אותו בקיצור שוב.

חבורה היא אוסף של איברים עם פעולה בינארית ביניהם (כלומר, בהינתן שני איברים, מפעילים עליהם את הפעולה ומקבלים איבר חדש השייך לאוסף). יש שלוש דרישות שנדרשות מהפעולה הבינארית: ראשית, שתתקיים אסוציאטיביות. כלומר, אם $latex G$ היא חבורה ו-$latex a,b,c\in G$, אז $latex \left(a\cdot b\right)\cdot c=a\cdot\left(b\cdot c\right)$. זה מתקיים עבור פעולת ההרכבה של אוטומורפיזמים אבל לא אראה זאת.

שנית, צריך להיות בחבורה איבר יחידה $latex e\in G$, שעבורו $latex a\cdot e=e\cdot a=a$ לכל $latex a\in G$. בחבורת האוטומורפיזמים מקיים את התפקיד הזה אוטומורפיזם הזהות (בדקו!).

שלישית, לכל $latex a\in G$ צריך להיות בחבורה איבר “הופכי”, $latex b\in G$ שמקיים $latex a\cdot b=b\cdot a=e$. במקרה של חבורת האוטומורפיזמים, אם $latex \varphi$ הוא אוטומורפיזם, אפשר להגדיר אוטומורפיזם $latex \tau$ באופן הבא: בהינתן $latex x\in E$, ידוע שקיים $latex y\in E$ יחיד כך ש-$latex \varphi\left(y\right)=x$; אז נגדיר $latex \tau\left(x\right)=y$ (במילים: $latex \tau$ על $latex x$ מחזיר את המקור של $latex x$ על פי האוטומורפיזם $latex \varphi$). קל לראות כי $latex \tau$ הנ”ל הוא אכן ההופכי של $latex \varphi$. לכן אוסף האוטומורפיזמים של $latex E$ הוא חבורה. יותר מכך - בהינתן הרחבת שדות $latex E/F$ גם אוסף האוטומורפיזמים של $latex E$ שמשמר את $latex F$ הוא חבורה. זו בדיוק החבורה שבה אנו מתעניינים. נסמן אותה ב-$latex \mbox{Gal}\left(E/F\right)$.

המשפט היסודי של תורת גלואה קושר בין המבנה של $latex \mbox{Gal}\left(E/F\right)$ ובין המבנה של $latex E/F$. בפרט, הוא מראה שהגודל של החבורה הוא בדיוק מימד ההרחבה, כלומר $latex \left[E:F\right]=\left|\mbox{Gal}\left(E/F\right)\right|$; והוא מראה שלכל תת חבורה של $latex \mbox{Gal}\left(E/F\right)$ מתאים “שדה ביניים” $latex K$ שמקיים $latex F\subseteq K\subseteq E$ (כלומר - $latex K$ מרחיב את $latex F$, ובתורו מורחב בעצמו על ידי $latex E$) ושההתאמה הזו יוצרת זהות בין המבנה הפנימי של החבורה (אילו תת חבורות מכילות אילו תת חבורות אחרות) ובין המבנה של הרחבת השדות. עם זאת, לפני שארחיב על המשפט אין מנוס מלהתייחס לכך שהוא בכלל לא נכון, באופן כללי, ולדבר על התנאים שצריך שיתקיימו כדי שהמשפט כן יהיה נכון.

הדוגמה הקלאסית היא ההרחבה $latex \mathbb{Q}\left(\sqrt[3]{2}\right)$. זוהי הרחבה ממימד 3 של $latex \mathbb{Q}$, ועם זאת גודל חבורת האוטומורפיזמים שלה (שמשמרים את $latex \mathbb{Q}$, אבל כבר אמרנו שכל אוטומורפיזם משמר את $latex \mathbb{Q}$) הוא 1 - רק הזהות. מדוע? ובכן, איבר כללי של ההרחבה הזו הוא $latex a+b\theta+c\theta^{2}$ עם $latex \theta=\sqrt[3]{2}$; ואם $latex \varphi$ אוטומורפיזם של השדה, אז $latex \varphi\left(a+b\theta+c\theta^{2}\right) = \varphi\left(a\right)+\varphi\left(b\right)\varphi\left(\theta\right)+\varphi\left(c\right)\varphi\left(\theta^{2}\right)=a+b\varphi\left(\theta\right)+c\varphi\left(\theta\right)^{2}$

דהיינו, מה ש-$latex \varphi$ עושה לאיבר כללי תלוי אך ורק במה שהוא עושה ל-$latex \theta$. מכאן שהשאלה היא - לאן $latex \varphi$ יכול להעביר את $latex \theta$ בכלל? כאן נכנסת לתמונה אבחנה כללית חשובה נוספת: אם $latex E/F$ היא הרחבה, ו-$latex f\left(x\right)$ הוא פולינום שמקדמיו ב-$latex F$, ו-$latex \varphi$ אוטומורפיזם של $latex E$ אשר משמר את $latex F$, ו-$latex \theta\in E$ הוא שורש של $latex f\left(x\right)$ - אז גם $latex \varphi\left(\theta\right)$ הוא שורש של $latex f\left(x\right)$. ההוכחה של טענה זו ישירה למדי - אם נסמן $latex f\left(x\right)=\sum_{i=0}^{n}a_{i}x^{i}$ אז $latex \sum_{i=0}^{n}a_{i}\theta^{i}=0$, ולכן גם $latex \varphi\left(\sum_{i=0}^{n}a_{i}\theta^{i}\right)=0$, ותוך שימוש בכל התכונות של האוטומורפיזם (ובפרט ש-$latex \varphi\left(a_{i}\right)=a_{i}$) נקבל $latex \sum_{i=0}^{n}a_{i}\varphi\left(\theta\right)^{i}=0$.

במקרה שלנו, $latex \theta$ הוא שורש של הפולינום $latex x^{3}-2$, שכל מקדמיו רציונליים; לכן $latex \varphi\left(\theta\right)$חייב גם הוא להיות שורש של הפולינום הזה. אלא מה, שני שורשי הפולינום האחרים הם $latex \rho\sqrt[3]{2}$ ו-$latex \rho^{2}\sqrt[3]{2}$, כאשר $latex \rho$ הוא שורש יחידה פרימיטיבי מסדר 3 - מספר מרוכב שמקיים $latex \rho^{3}=1$ (ושונה מ-1 בעצמו). אם מתעקשים על הגדרה קונסטרוקטיבית של $latex \rho$ אז $latex \rho=e^{\frac{2\pi i}{3}}$, אבל אני מניח שזה לא יהיה הכרחי. הפואנטה כאן היא ששני השורשים האחרים של $latex x^{3}-2$ הם מספרים מרוכבים. ככאלו, הם בכלל לא שייכים לשדה $latex \mathbb{Q}\left(\sqrt[3]{2}\right)$. לכן $latex \theta$ יכול לעבור רק לעצמו באמצעות אוטומורפיזם של השדה הזה, ומכיוון שפעולת האוטומורפיזם של $latex \theta$ קובעת אותו ביחידות, קיים רק אוטומורפיזם אחד כזה - הזהות.

כל השיקולים הללו מבלבלים? אוהו, זה רק החימום של מה שקורה בהמשך. עם זאת, אני חושב שהשיקולים הללו הם יפים. יש בהם משהו אלגנטי מאוד. לכאורה, אוטומורפיזמים של שדות היו אמורים להיות יצורים מסובכים מאוד - הרי שדות הם אובייקטים ענקיים ומורכבים, לכאורה. ועם זאת, אנחנו מצליחים לצמצם את ציד האוטומורפיזמים לכמה שיקולים מאוד, מאוד בסיסיים. אכן, הרבה פעמים ניתן להשתמש בתורת גלואה והגישה שלה כדי לספק הוכחות פשוטות רעיונית (מרגע שהרעיונות הבסיסיים “עוכלו”) לטענות מורכבות.

חזרה אל $latex \mathbb{Q}\left(\sqrt[3]{2}\right)$. אמרנו שזו הרחבה ממימד 3, ועם זאת חבורת האוטומורפיזמים שלה היא מגודל 1, כלומר אין “מספיק” אוטומורפיזמים. מה הייתה הבעיה? ש”איבדנו” אוטומורפיזמים פוטנציאלים מכיוון שבהרחבה שלנו היו חסרים השורשים האחרים של הפולינום $latex x^{3}-2$. איך ניתן להכניס גם אותם למשחק? פשוט - להרחיב את $latex \mathbb{Q}\left(\sqrt[3]{2}\right)$ על ידי הוספת $latex \rho$ פנימה - את התוצאה מסמנים ב-$latex \mathbb{Q}\left(\rho,\sqrt[3]{2}\right)$. זו הרחבה מסדר 6 של $latex \mathbb{Q}$, ויש לה 6 אוטומורפיזמים. להראות את זה במפורש זה עניין טיפה טכני אז אקפוץ לסוף -אוטומורפיזם של $latex \mathbb{Q}\left(\rho,\sqrt[3]{2}\right)$ נקבע באופן יחיד על ידי פעולתו על $latex \sqrt[3]{2}$ ועל $latex \rho$. את $latex \sqrt[3]{2}$ אפשר להעביר לעצמו, ל-$latex \rho\sqrt[3]{2}$ ול-$latex \rho^{2}\sqrt[3]{2}$; ואת $latex \rho$ (שהוא שורש של $latex x^{3}-1=\left(x-1\right)\left(x^{2}+x+1\right)$) אפשר להעביר לעצמו ול-$latex \rho^{2}$ (השורש השלישי של הפולינום הוא 1, ואנחנו כבר יודעים ש-1 עובר לעצמו אז שום דבר אחר לא יכול לעבור אליו). אז נגדיר אוטומורפיזם $latex \varphi$ שמקיים $latex \varphi\left(\sqrt[3]{2}\right)=\rho\sqrt[3]{2}$ ו-$latex \varphi\left(\rho\right)=\rho$; ונגדיר $latex \psi\left(\sqrt[3]{2}\right)=\sqrt[3]{2}$ ו-$latex \psi\left(\rho\right)=\rho^{2}$, וקיבלנו שני אוטומורפיזם שכל אחד מהם פועל על אחד משני ה”יוצרים” של ההרחבה בנפרד. כעת אפשר לקבל כל אוטומורפיזם אחר בתור מכפלה שלהם או של חזקות שלהם, ומכאן לא ארוכה הדרך לראות שיש שישה אוטומורפיזמים שונים בסך הכל ($latex \varphi$ הוא מסדר 3 ו-$latex \psi$ הוא מסדר 2, ולכן החבורה שהם יוצרים היא לכל היותר מסדר 6).

מכאן מגיעים להגדרה של “הרחבת גלואה”. הרחבה $latex E/F$ היא הרחבת גלואה אם $latex \left[E:F\right]=\left|\mbox{Gal}\left(E/F\right)\right|$. מסתבר שניתן לתת אפיון אחר ומעניין להרחבות הללו: הרחבה $latex E/F$ היא הרחבת גלואה אם $latex E$ הוא שדה פיצול של פולינום אי פריק כלשהו מעל $latex F$. מהו שדה פיצול של פולינום? בפשטות, השדה הקטן ביותר שמכיל את כל שורשי הפולינום. למשל, שדה הפיצול של $latex x^{2}-2$ מעל $latex \mathbb{Q}$ הוא $latex \mathbb{Q}\left(\sqrt{2}\right)$, והשדה $latex \mathbb{Q}\left(\rho,\sqrt[3]{2}\right)$ הוא שדה הפיצול של $latex x^{3}-2$ מעל $latex \mathbb{Q}$ (כשעוסקים בהרחבות גלואה של שדות ממציין שונה מ-0 הפולינום צריך להיות גם ספרבילי; לא ארחיב על תכונה זו כעת).

טוב, הבה ונתאר סוף סוף את המשפט המרכזי של תורת גלואה. לפני כן, תמונה אחת שווה אלף מילים:

fund

מה הולך כאן? אין צורך להיכנס לפרטים; הנקודה היא שהדיאגרמה העליונה היא של חבורה ותת החבורות שלה; והדיאגרמה התחתונה היא של הרחבת שדות וכל שדות הביניים שם, כשקווים מציינים את כל ההכלות. כפי שהתמונה מראה, המבנה של החבורה והמבנה של ההרחבה הם זהים. זה הפאנץ’ הראשון, אבל יש עוד פאנצ’ים. ראשית, ההתאמה בין כל חבורה תת חבורה ובין כל שדה ביניים אינה מקרית: אם $latex K$ הוא שדה ביניים של ההרחבה (כלומר $latex F\subseteq K\subseteq E$), אז תת החבורה שמתאימה לו היא אוסף כל האוטומורפיזמים של $latex E$ שמשמרים אותו (וכך ל-$latex F$ מתאימה החבורה כולה, כי מראש חבורת הגלואה מכילה רק אוטומורפיזמים שמשמרים את $latex F$; ול-$latex E$ מתאימה תת החבורה הטריוויאלית שמכילה רק את אוטומורפיזם הזהות, כי כל אוטומורפיזם אחר של $latex E$ לא משמר אותו). בכיוון השני, אם נתונה תת חבורה כלשהי $latex H$ של חבורת הגלואה $latex G$, אז שדה הביניים שמתאים לה הוא תת השדה של $latex E$ שמשתמר על ידי כל אברי $latex H$ (צריך להראות שאוסף כל האיברים שמשתמרים תחת כל האוטומורפיזמים של $latex H$ הוא שדה, אך זה לא קשה).

יתר על כן, אם $latex H$ היא תת החבורה שמתאימה לשדה הביניים $latex K$, אז $latex \left[E:K\right]=\left|H\right|$, ובפרט גם $latex E/K$ היא הרחבת גלואה, עם החבורה $latex H$; ואילו $latex K/F$ היא גלואה רק כאשר $latex H$ היא תת חבורה נורמלית של $latex G$, ובכל מקרה $latex \left[K:F\right]=\left|G:H\right|$, כאשר $latex \left|G:H\right|$ הוא האינדקס של $latex H$ ב-$latex G$, וחבורת הגלואה של $latex K/F$ היא בדיוק חבורת המנה $latex G/H$ במקרה זה. למי שהמושגים הללו לא אומרים לו כלום - לא נורא; זה מצריך ידע כלשהו בתורת החבורות שאיני רוצה להיכנס אליו כעת.

זה לא כל מה שאפשר להגיד, אבל לעת עתה אסתפק בכך.

טוב, אז מה היה לנו? קשר הדוק מאוד (ולטעמי, יפה מאוד) בין הרחבת שדות לחבורות. מכאן אפשר להתחיל לקטוף את הפירות ולהשתמש בקשר הזה כדי להפיק מידע על ההרחבות. לרוע המזל, כאן כבר נהיה חייבים לצלול לעומקים טכניים מסויימים ומי שאינו בקיא באלגברה עלול ללכת לאיבוד, לכן אחזור שוב על הנקודה העיקרית לפני שנמשיך: מה שעושים כעת, על מנת להוכיח כי המשוואה ממעלה חמישית אינה פתירה, הוא להסתכל על שדה הפיצול של פולינום “כללי” (כזה שאין יחסים בין המקדמים שלו - אי אפשר להגיד משהו בסגנון “המקדם השני גדול פי שניים מהראשון” וכדומה). אפשר להראות שהחבורה שמתאימה לשדה הפיצול הזה היא $latex S_{5}$ - חבורת הפרמוטציות על חמישה איברים. בשלב הבא מראים שאם ניתן לפתור את המשוואה הכללית ממעלה חמישית באמצעות רדיקלים (כלומר, סדרה של הרחבות “פשוטות” במובן מסויים), אז החבורה שמתאימה להרחבה הרדיקלית הזו היא מה שמכונה “חבורה פתירה”, ומכך נובעת (לא מייד) הפתירות של $latex S_{5}$; ועליה אפשר להוכיח בנפרד שאינה פתירה.

מסובך? כן, למדי. אם כן, חשבו על כך שהרעיונות הללו הומצאו מאפס (לפני שהיו מושגים כמו “הרחבת שדה” או “חבורה”) על ידי נער בן 16, שהצליח להרוג את עצמו בגיל 21 במה שהוא כנראה הבזבוז הגדול ביותר בהיסטוריה של המתמטיקה.


נהניתם? התעניינתם? אם תרצו, אתם מוזמנים לתת טיפ:

Buy Me a Coffee at ko-fi.com