קריטריון אייזנשטיין – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Matanyabot (שיחה | תרומות)
מ בוט החלפות: אידיאל
שורה 9:
פולינום המקיים תנאי זה לא ניתן לפירוק מעל חוג המספרים הרציונלים (למעט הוצאת גורם משותף מן המקדמים). פולינומים המקיימים את תנאי איזנשטיין נקראים לפעמים '''פולינומי איזנשטיין'''.
 
באופן כללי יותר, פולינום המוגדר מעל [[תחום שלמות]] D מקיים את תנאי איזנשטיין אם קיים [[אידאלאידיאל ראשוני]] P של D, כך שכל מקדמי הפולינום פרט למוביל שייכים ל-P, וכך שהמקדם החופשי אינו שייך לאידאללאידיאל <math>\ P^2</math>. במקרה זה הפולינום אי פריק מעל D (אם D הוא [[תחום פריקות יחידה]], אז הפולינום אי פריק מעל [[שדה שברים|שדה השברים]] של D, לפי הלמה של גאוס).
 
ב[[שדה מקומי]], כל [[הרחבה מסועפת לחלוטין]] מתקבלת מסיפוח שורש של פולינום איזנשטיין לשדה.