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

*השוויון <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>|G| \le \left[E:F\right]</math>. מתקיים אפילו <math>G = \operatorname{G}\left(E/F\right)</math>

 

[[קטגוריה:אלגברה]]