שינויים
/* חישוב בידיים של ההתאמה */
נבדוק האם <math>\mathbb{Q}[b]=E^H</math>. מתקיים <math>b=\sqrt[4]{2}-i\sqrt[4]{2}=(1-i)\sqrt[4]{2}=\rho_8^3\sqrt[4]{8}</math> באשר <math>\rho_8=\exp(2\pi i/8)</math>. לכן, <math>b</math> שורש של <math>x^4+8</math> (במובן מסויים <math>b=\sqrt[4]{-8}</math> אם כי הניסוח הזה לא אומר באיזה שורש מדובר). נשאיר את זה כתרגיל לבדוק שמדובר בפולינום אי פריק (רמז: הציבו <math>x=2y^{-1}</math>). לכן ההרחבה <math>\mathbb{Q}[b]/\mathbb{Q}</math> היא ממעלה 4. אבל <math>[E^{<\sigma\alpha>}:\mathbb{Q}]=[G:<\sigma\alpha>]=4</math> ולכן <math>E^{<\sigma\alpha>}=\mathbb{Q}[\rho_8^3\sqrt[4]{8}]</math>.
'''דוגמא:''' בסימונים של הדוגמא הקודמת, מהו <math>E^{<\sigma\alpha^2>}</math>?
תשובה: התמורה המתאימה ל-<math>\sigma^2\alpha</math> היא <math>(1,3)</math>. לכן, <math>i\sqrt[4]{2}=a_2\in E^{<\sigma\alpha^2>}</math>. אותם שיקולי מימד מהדוגמא הקודמת יראו ש-<math>E^{<\sigma\alpha^2>}=\mathbb{Q}[i\sqrt[4]{2}]</math>.
== בסיסים נורמליים ואיך להשתמש בהם ==
בקרוב...
