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

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

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

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

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

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

דוגמאות

1. יהי ראשוני, אזי  מקיים את קריטריון אייזנשטיין ולכן הוא אי-פריק.

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

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

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

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

הוכחה

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

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

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