קריטריון אייזנשטיין

במתמטיקה, קריטריון אייזנשטיין (על שם המתמטיקאי הגרמני פרדיננד אייזנשטיין) הוא תנאי מספיק לכך שפולינום בעל מקדמים שלמים הוא אי פריק מעל חוג המספרים השלמים  (על פי הלמה של גאוס, פולינום כזה הוא גם אי פריק מעל שדה המספרים הרציונליים ).

נוסח המשפט
פולינום  בעל מקדמים שלמים מקיים את תנאי אייזנשטיין אם קיים מספר ראשוני  עבורו
 מחלק את .
 לא מחלק את .
 לא מחלק את .
פולינום המקיים תנאי זה לא ניתן לפירוק מעל חוג המספרים הרציונליים (למעט הוצאת גורם משותף מן המקדמים), ולעיתים נקרא פולינום אייזנשטיין.

באופן כללי יותר, פולינום המוגדר מעל תחום שלמות  מקיים את תנאי אייזנשטיין אם קיים אידיאל ראשוני  של , כך שכל מקדמי הפולינום פרט למוביל שייכים ל-, וכך שהמקדם החופשי איננו שייך לאידיאל . במקרה זה הפולינום אי פריק מעל  (אם  הוא תחום פריקות יחידה, אזי הפולינום אי פריק מעל שדה השברים של , לפי הלמה של גאוס).

בשדה מקומי, כל הרחבה מסועפת לחלוטין מתקבלת מסיפוח שורש של פולינום אייזנשטיין לשדה.

דוגמאות
יהי  ראשוני, אזי  מקיים את קריטריון אייזנשטיין ולכן הוא אי פריק.
הפולינום הציקלוטומי  אי פריק כאשר  ראשוני.הדרך הקלה להוכיח זאת היא באמצעות ההבחנה כי  מקיים את קריטריון אייזנשטיין עבור .
נתבונן בפולינום . הגורם המשותף של המקדמים 10 ו-15 הוא ראשוני, 5. אך 5 איננו מחלק את 3 (המקדם המוביל) ו- איננו מחלק את 10 (המקדם החופשי) – הפולינום עונה על התנאי ולכן הוא אי פריק מעל השלמים.
ישנם פולינומים המקיימים את קריטריון אייזנשטיין אחרי הצבת הזזה , כאשר  קבוע.

התבוננו למשל בפולינום . נראה שאין ראשוני המחלק את 1, המקדם של . אך אם נציב  נקבל את הפולינום , אשר מקיים את הקריטריון עבור המספר הראשוני 7. לאמר, על ידי הזזת הפולינום עלה בידינו להראות שהוא מקיים את קריטריון איזנשטיין.

הוכחה
להלן ההוכחה עבור פולינום בעל מקדמים שלמים. ההוכחה לתחום שלמות כללי דומה.
נתבונן ב- כפולינום מודולו , כלומר נעתיק את המקדמים לשדה . מכיוון שכל המקדמים פרט למקדם המוביל מתחלקים ב- נקבל את הפולינום  עם מקדם .
נניח בשלילה שניתן לפרק את  למכפלת שני פולינומים . נקבל כי

מכאן  מחלק את המקדמיהם החופשיים של  ולכן  מחלק את המקדם החופשי של המכפלה, בסתירה להנחה.

קישורים חיצוניים


קטגוריה:פולינומים
קטגוריה:תורת השדות
קטגוריה:משפטים באלגברה