ויקיפדיה

חבורת גלואה – הבדלי גרסאות

עיון אינטראקטיבי בהיסטוריה
→ העריכה הקודמתהעריכה הבאה ←
תוכן שנמחק תוכן שנוסף
חזותיקוד ויקי
מ שוחזר מעריכות של Matanyabot (שיחה) לעריכה האחרונה של רחל1
Yonidebot (שיחה | תרומות)
271,876 עריכות
מ בוט החלפות: כדי; מאחר ש;
שורה 17:
== דוגמאות ==
 
*חבורת הגלואה של ההרחבה <math> \ \mathbb{C} / \mathbb{R} </math> היא קבוצה המכילה שני איברים: את [[פונקציית הזהות|העתקת הזהות]], ואת [[צמוד מרוכב|העתקת ההצמדה]]. זאת מאחר ואםשאם <math> \sigma </math> ב[[חבורת גלואה|חבורת הגלואה]] של ההרחבה, מתקיים <math> \sigma\left(i^2 + 1 \right) = \sigma(i)^2 + 1 = 0 </math>. לכן <math>\sigma(i) \in \{ -i, i \}</math>. לכן מתקיים לכל <math>a,b \in \mathbb{R}</math> כי <math>\ \sigma(a + bi) = \sigma(a) + \sigma(b) \sigma(i) = a + b \cdot \sigma(i)</math>. במעבר האחרון השתמשנו בכך ש<math>\ \sigma</math> משאירה את איברי <math>\mathbb{R}</math> במקום. לכן <math> \sigma\left(a + bi\right) = a + bi</math> או <math> \sigma\left(a + bi\right) = a - bi</math>.
*באופן דומה, ניתן להראות כי [[חבורת גלואה|חבורת הגלואה]] של ההרחבה <math> \ \mathbb{Q}\left(\sqrt{2}\right) / \mathbb{Q} </math> מכילה שני איברים: [[פונקציית הזהות|העתקת הזהות]], והעתקת ההצמדה: <math> \sigma\left(a + b\sqrt{2}\right) = a - b\sqrt{2}</math>
*חבורת הגלואה של ההרחבה <math> \ \mathbb{R} / \mathbb{Q} </math> מכילה רק את [[פונקציית הזהות|העתקת הזהות]]. יתרה מזאת, [[אוטומורפיזם|חבורת האוטומורפיזמים]] של <math> \ \mathbb{R} </math> מכילה רק את [[פונקציית הזהות|העתקת הזהות]]. בכדיכדי להוכיח זאת, יש לשים לב ש[[אוטומורפיזם]] של <math> \ \mathbb{R} </math> מעביר כל [[מספר חיובי]] ל[[מספר חיובי]], מאחר וש<math> \ \sigma(a^2) = \sigma(a)^2</math> ולכן שומרת על יחס סדר.
*תהי <math> \ F / \mathbb{Q}</math> [[הרחבת שדות]]. אזי [[חבורת גלואה|חבורת הגלואה]] של <math> \ F / \mathbb{Q}</math> היא [[אוטומורפיזם|חבורת האוטומורפיזמים]] של <math>\ F</math>, כלומר <math> \ \operatorname{Aut}\left(F\right)</math>. זאת מאחר וש[[הומומורפיזם]] של [[שדה (מבנה אלגברי)|שדות]] מעביר את [[מספר שלם|המספרים השלמים]] לעצמם, ולכן גם את [[מספר רציונלי|המספרים הרציונליים]] לעצמם.
*יהי <math>\ p</math> [[מספר ראשוני]], ותהי <math> \ K / \mathbb{F}_p</math> הרחבת שדות, אזי באופן דומה [[חבורת גלואה|חבורת הגלואה]] של <math> \ K / \mathbb{F}_p</math> היא [[אוטומורפיזם|חבורת האוטומורפיזמים]] של <math>\ K</math>, כלומר <math> \ \operatorname{Aut}\left(K\right)</math>.
*חבורת הגלואה של ההרחבה <math> \ \mathbb{Q}\left(\sqrt[3]{2}\right) / \mathbb{Q} </math> מכילה רק את [[פונקציית הזהות|העתקת הזהות]]. זאת מאחר ואםשאם <math>\sigma</math> בחבורה, מתקיים <math> \sigma\left(\sqrt[3]{2}^3 - 2 \right) = \sigma(\sqrt[3]{2})^3 - 2 = 0 </math>. לכן בהכרח <math>\sigma\left(\sqrt[3]{2}\right) = \sqrt[3]{2}</math>. מאחר וש<math>\{1, \sqrt[3]{2}, \sqrt[3]{2}^2 \} </math> [[בסיס (אלגברה)|בסיס]], נובע כי <math>\sigma</math> היא בהכרח [[פונקציית הזהות|העתקת הזהות]].
 
== שדה השבת ==
שורה 38:
== תכונות ==
*אם ההרחבה <math> \ E / F </math> [[ממד (אלגברה לינארית)|מממד סופי]], מתקיים כי <math>\ \left|\operatorname{G}\left(E/F\right)\right| \le \left[E:F\right]</math>, כאשר צד שמאל הוא גודל [[חבורת גלואה|חבורת הגלואה]] וצד ימין הוא ממד ההרחבה.
*השוויון <math>\ \left|\operatorname{G}\left(E/F\right)\right| = \left[E:F\right]</math> מתקיים [[אם ורק אם]] <math> \ E / F </math> [[הרחבת גלואה]]. הרחבות מסוג זה חשובות, מאחר והןשהן מקיימות את [[המשפט היסודי של תורת גלואה]].
*[[הלמה של ארטין]]: יהי <math>\ E</math> שדה, ו<math> \ G \le \operatorname{Aut}\left(E\right)</math> [[תת-חבורה]] של [[אוטומורפיזם|חבורת האוטומורפיזמים]] של <math> \ E</math>. אזי אם <math>\ E^G = F</math> מתקיים <math>\left[E:F\right] \le |G|</math>. מתקיים אפילו <math>G = \operatorname{G}\left(E/F\right)</math>
 
אוחזר מתוך "https://he.wikipedia.org/wiki/חבורת_גלואה"