שינויים
/* תמורות */ פסקה חדשה
הקשר בין הפולינום לשדה המתקבל: מכיוון שהשדה מסדר q=p^n הוא יחיד (עובדה שלא הוכחנו בשעור!), כל השדות <math>\ F[x]/F[x]f(x)</math>, כאשר f פולינום אי-פריק ממעלה n מעל השדה הסופי F, הם איזומורפיים זה לזה. [[משתמש:עוזי ו.|עוזי ו.]] 22:36, 11 בפברואר 2012 (IST)
== תמורות ==
משפט:2 תמורות הם זהות אמ"מ יש להם את אותו מבנה מחזור.
במהלך ההוכחה יש חישוב שטאו סיגמא טאו מינוס אחד שווה לסיגמא תאג.
החישוב נסמך על העובדה שבעצם מפעילים רק את טאו על סיגמא ולא צריך להפעיל את טאו מינוס אחד.
מדוע אם יש טאו סיגמא טאו מינוס אחד אפשר לחשב את זה כאילו נפעיל רק את טאו על סיגמא?
