שינויים

'''הערה:''' אם <math>E/F</math> גלואה ממימד סופי ו-<math>H\leq Gal(E/F)</math> אז כדי להוכיח <math>F[a]=E^H</math> מספיק לבדוק ש-<math>a\in E^H</math> (כלומר, <math>a</math> יציב תחת אברי <math>H</math>, ולמעשה מספיק לבדוק על קבוצת יוצרים בלבד) ולבדוק ש-<math>[F[a]:F]=[Gal(E/F):H]</math>. ההוכחה היא תרגיל קל בעזרת '''הסבר:''' התנאי הראשון אומר ש-<math>F[a]\subseteq E^H</math>. לפי המשפט היסודי של תורת גלואה<math>[E^H:F]=[Gal(E/F):H]</math> ולכן נובע של-<math>E^H</math> ו-<math>F[a]</math> יש אותו מימד מעל <math>F</math>. היות ואחד מוכל באחר, הם שווים.