שינויים
יצירת דף עם התוכן "התאמת גלואה היא הלב של תורת גלואה ועליה מושתתות הרבה תוצאות חשובות. ההתאמה מתבטאת במשפט הי..."
התאמת גלואה היא הלב של תורת גלואה ועליה מושתתות הרבה תוצאות חשובות. ההתאמה מתבטאת במשפט היסודי של תורת גלואה הקובע כי יש התאמה בין שדות ביניים של הרחבת גלואה ובין תתי החבורות של חבורת גלואה שלה.
== המשפט היסודי של תורת גלואה ==
'''משפט:''' תהי <math>E/F</math> הרחבת גלואה ממימד סופי ותהי <math>G=Gal(E/F)</math> אזי קיימת התאמה חח"ע ועל בין:
:א. תתי שדות <math>F\subseteq K\subseteq E</math>
:ב. תתי חבורות <math>H\leq G</math>
ההתאמה שולחת חבורה <math>H</math> אל השדה <math>E^H=\{a\in E|\sigma a=a~\forall\sigma\in H\}</math> ותת שדה <math>F\subseteq K\subseteq E</math> אל החבורה <math>Gal(E/K)</math> (פונקציות אלו הפוכות זו לזו). בנוסף, ההתאמה מקיימת:
:1. <math>|H|=[E:E^H]</math>
:2. <math>[E^H:F]=[G:H]</math>
:3. <math>H_1\subseteq H_2</math> אם ורק אם <math>E^{H_1}\supseteq E^{H_2}</math> (אין טעות; כוון ההכלה מתהפך)
:4. <math>H</math> נורמלית ב-<math>G</math> אם ורק אם <math>E^H/F</math> נורמלית אם ורק אם <math>E^H/F</math> גלואה. במקרה זה, <math>Gal(E^H/F)\cong G/H</math>. האיזומורפיזם נתון ע"י שליחת קוסט <math>\sigma H</math> אל <math>\sigma|_{E^H}</math>.
'''הערה:''' קיים אנלוג של המשפט הנ"ל גם להרחבות גלואה אינסופיות.
== חישוב בידיים של ההתאמה ==
דגכדג
== המשפט היסודי של תורת גלואה ==
'''משפט:''' תהי <math>E/F</math> הרחבת גלואה ממימד סופי ותהי <math>G=Gal(E/F)</math> אזי קיימת התאמה חח"ע ועל בין:
:א. תתי שדות <math>F\subseteq K\subseteq E</math>
:ב. תתי חבורות <math>H\leq G</math>
ההתאמה שולחת חבורה <math>H</math> אל השדה <math>E^H=\{a\in E|\sigma a=a~\forall\sigma\in H\}</math> ותת שדה <math>F\subseteq K\subseteq E</math> אל החבורה <math>Gal(E/K)</math> (פונקציות אלו הפוכות זו לזו). בנוסף, ההתאמה מקיימת:
:1. <math>|H|=[E:E^H]</math>
:2. <math>[E^H:F]=[G:H]</math>
:3. <math>H_1\subseteq H_2</math> אם ורק אם <math>E^{H_1}\supseteq E^{H_2}</math> (אין טעות; כוון ההכלה מתהפך)
:4. <math>H</math> נורמלית ב-<math>G</math> אם ורק אם <math>E^H/F</math> נורמלית אם ורק אם <math>E^H/F</math> גלואה. במקרה זה, <math>Gal(E^H/F)\cong G/H</math>. האיזומורפיזם נתון ע"י שליחת קוסט <math>\sigma H</math> אל <math>\sigma|_{E^H}</math>.
'''הערה:''' קיים אנלוג של המשפט הנ"ל גם להרחבות גלואה אינסופיות.
== חישוב בידיים של ההתאמה ==
דגכדג
