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

תוכן שנמחק תוכן שנוסף

בשורה

גרסה מ־19:22, 15 במרץ 2012

הרחבת גלואה היא הרחבה נורמלית וספרבילית של שדות. הרחבות כאלו הן אבן הפינה של תורת גלואה, משום שיש להן חבורות גלואה מן הסדר המקסימלי האפשרי, המקנות להן סימטריה מלאה. המשפט היסודי של תורת גלואה מספק התאמה מלאה בין שדות הביניים בהרחבה, לבין תת-החבורות בחבורת גלואה של ההרחבה.

כל שדה פיצול של פולינום ספרבילי הוא הרחבת גלואה, וכל הרחבת גלואה סופית היא שדה הפיצול של פולינום מתאים.

כל הרחבת שדות ספרבילית אפשר להמשיך להרחבת גלואה, הנקראת סְגור גלואה של ההרחבה המקורית.

דוגמאות

1. כל הרחבה ריבועית ספרבילית היא נורמלית, ולכן גלואה.

2. נסמן ב- $\ \alpha ={\sqrt[{4}]{2}}$ את השורש הרביעי של 2. השדה $\ L=\mathbb {Q} [\alpha ]$ אינו הרחבת גלואה של $\ \mathbb {Q}$ , משום שההרחבה אינה נורמלית: $\ \alpha$ הוא שורש של הפולינום $\ x^{4}-2$ , שהוא אי-פריק (לפי קריטריון אייזנשטיין) אבל השורש $\ i\alpha$ אינו שייך ל-K. לעומת זאת, L הוא הרחבת גלואה של שדה הביניים $\ L_{0}=\mathbb {Q} [{\sqrt {2}}]$ . סגור גלואה של ההרחבה $\ L/\mathbb {Q}$ מתקבל מצירוף כל השורשים של הפולינום המינימלי ל- $\ \mathbb {Q}$ , ושווה משום כך ל- $\ K=\mathbb {Q} [\alpha ,i\alpha ,-\alpha ,-i\alpha ]=\mathbb {Q} [\alpha ,i]$ . זוהי הרחבה מממד 8, שחבורת גלואה שלה היא החבורה הדיהדרלית מאותו סדר.

@@ שורה 9: / שורה 9: @@
 . כל הרחבה ריבועית ספרבילית היא נורמלית, ולכן גלואה.
-. נסמן ב- <math>\ \alpha = 2^{1/4}</math> את השורש הרביעי של 2. השדה <math>\ L=\mathbb{Q}[\alpha]</math> אינו הרחבת גלואה של <math>\ \mathbb{Q}</math>, משום שההרחבה אינה נורמלית: <math>\ \alpha</math> הוא שורש של הפולינום <math>\ x^4-2</math>, שהוא אי-פריק (לפי [[קריטריון אייזנשטיין]]) אבל השורש <math>\ i\alpha</math> אינו שייך ל-K. לעומת זאת, L הוא הרחבת גלואה של שדה הביניים <math>\ L_0 = \mathbb{Q}[\sqrt{2}]</math>. סגור גלואה של ההרחבה <math>\ L/\mathbb{Q}</math> מתקבל מצירוף כל השורשים של הפולינום המינימלי ל-<math>\ \mathbb{Q}</math>, ושווה משום כך ל- <math>\ K = \mathbb{Q}[\alpha,i\alpha,-\alpha,-i\alpha] = \mathbb{Q}[\alpha,i]</math>. זוהי הרחבה מממד 8, שחבורת גלואה שלה היא ה[[חבורה דיהדרלית|חבורה הדיהדרלית]] מאותו סדר.
+. נסמן ב- <math>\ \alpha = \sqrt[4]{2}</math> את השורש ה'''רביעי''' של 2. השדה <math>\ L=\mathbb{Q}[\alpha]</math> אינו הרחבת גלואה של <math>\ \mathbb{Q}</math>, משום שההרחבה אינה נורמלית: <math>\ \alpha</math> הוא שורש של הפולינום <math>\ x^4-2</math>, שהוא אי-פריק (לפי [[קריטריון אייזנשטיין]]) אבל השורש <math>\ i\alpha</math> אינו שייך ל-K. לעומת זאת, L הוא הרחבת גלואה של שדה הביניים <math>\ L_0 = \mathbb{Q}[\sqrt{2}]</math>. סגור גלואה של ההרחבה <math>\ L/\mathbb{Q}</math> מתקבל מצירוף כל השורשים של הפולינום המינימלי ל-<math>\ \mathbb{Q}</math>, ושווה משום כך ל- <math>\ K = \mathbb{Q}[\alpha,i\alpha,-\alpha,-i\alpha] = \mathbb{Q}[\alpha,i]</math>. זוהי הרחבה מממד 8, שחבורת גלואה שלה היא ה[[חבורה דיהדרלית|חבורה הדיהדרלית]] מאותו סדר.
 [[קטגוריה:תורת השדות]]