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

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

נוסח המשפט

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

  • מחלק את לכל .
  • לא מחלק את .
  • לא מחלק את .

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

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

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

דוגמאות

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

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

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

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

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

הוכחה

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