יש להגיש את התרגיל '''בתחילת''' התרגול בתאריך 13.1.12. '''שימו לב שיש לכם שני תרגילים לשבועיים (גם את תרגיל 8).'''
== תרגיל 10 ==
נוסח התרגיל: [[מדיה:Galois2012Ex10.pdf|תרגיל 10]]
יש להגיש את התרגיל '''בתחילת''' התרגול בתאריך 19.1.12.
'''הערה:''' אם <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>. ההוכחה היא תרגיל קל בעזרת המשפט היסודי של תורת גלואה.