דיסקרימיננטה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
Matanyabot (שיחה | תרומות)
מ בוט החלפות: אידיאל
שורה 13:
מכיוון שהחלפת סדר השורשים אינה משנה את <math>\ \Delta(f)</math>, נובע מן [[המשפט היסודי של תורת גלואה]] ש- <math>\ \Delta(f)\in F</math>. זו הסיבה לכך שקיימת נוסחה פולינומית לחישוב הדיסקרימיננטה מתוך המקדמים של הפולינום. כאשר חושבים על [[חבורת גלואה]] כתת-חבורה של [[החבורה הסימטרית|חבורת התמורות]] של השורשים, מתברר ש- <math>\ \sqrt{\Delta(f)}\in F</math> אם ורק אם חבורת גלואה מוכלת ב[[חבורת התמורות הזוגיות]].
 
כאשר f הוא פולינום שמקדמיו שייכים ל[[חוג (מבנה אלגברי)|חוג]] נתון (כגון, [[חוג המספרים השלמים|המספרים השלמים]]), הדיסקרימיננטה שלו שייכת ל[[אידאלאידיאל (אלגברה)|אידיאל]] הנוצר על ידי f והנגזרת שלו, <math>\ f'</math> (ראו גם: [[רזולטנט]]).
 
=== דיסקרימיננטה של פולינום ריבועי ===