הבדלים בין גרסאות בדף "הרחבת גלואה"

נוספו 500 בתים ,  לפני 3 שנים
אין תקציר עריכה
מ (בוט: מעביר קישורי בינויקי לויקינתונים - d:q2020004)
 
2. נסמן ב- <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, שחבורת גלואה שלה היא ה[[חבורה דיהדרלית|חבורה הדיהדרלית]] מאותו סדר.
 
== הכללה לשדות ==
 
בתורת החוגים הקומוטטיביים, הרחבה S של חוג R, יחד עם חבורה G של אוטומורפיזמים של S, נקראת '''הרחבת גלואה''' של R אם S [[מודול פרוייקטיבי]] מעל R, תת-החוג האינווריאנטי תחת G הוא R, ולכל אידמפוטנט e של S ואוטומורפיזם <math>\ \sigma \neq 1</math>, קיים <math>\ x\in S</math> כך ש-<math>\ (\sigma(x)-x)e \neq 0</math>.
 
[[קטגוריה:תורת השדות]]