הצגת המקור של הדף "קריטריון אייזנשטיין"

ב[[מתמטיקה]], '''קריטריון איזנשטיין''' נותן תנאי מספיק לכך ש[[פולינום]] בעל מקדמים [[מספר שלם|שלמים]] הוא [[פולינום אי פריק|אי פריק]] מעל [[חוג השלמים]] <math>\ \mathbb{Z}</math> (לפי [[הלמה של גאוס (פולינומים)|למה של גאוס]], פולינום כזה הוא גם אי פריק מעל [[שדה המספרים הרציונליים]] <math>\ \mathbb{Q}</math>). הקריטריון קרוי על-שם המתמטיקאי הגרמני [[פרדיננד אייזנשטיין]].

== נוסח המשפט ==
פולינום <math>\ f(x)=a_nx^n+a_{n-1}x^{n-1}+\ldots+a_1x+a_0</math>בעל [[פולינום|מקדמים]] [[מספר שלם|שלמים]] מקיים את '''תנאי איזנשטיין''' אם קיים [[מספר ראשוני]] <math>\ p</math>כך ש-
* <math>\ p</math> מחלק את <math>\ a_{i}</math> לכל <math>\ 0\le i<n</math>.
* <math>\ p</math> לא מחלק את <math>\ a_{n}</math>.
* <math>\ p^{2}</math> לא מחלק את <math>\ a_{0}</math>.

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

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

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

==דוגמאות==

1. יהי <math>\ p</math>ראשוני, אזי <math>f(x) = x^n - p</math> מקיים את קריטריון אייזנשטיין ולכן הוא אי-פריק.

2. הדרך הקלה להוכיח ש[[פולינום ציקלוטומי|הפולינום הציקלוטומי]] <math>\ f(x)=\frac{x^p-1}{x-1}=x^{p-1}+x^{p-2}+\cdots + x+1</math> אי פריק כאשר <math>\ p</math> ראשוני, היא להבחין ש- <math>\ f(x+1)</math> מקיים את קריטריון איזנשטיין עבור <math>\ p</math>. 

3. נתבונן ב- <math>\ g(x)=3x^{4}+15x^{2}+10</math>.  הגורם המשותף של המקדמים 10 ו- 15 הוא ראשוני, 5. מכיוון ש-5 איננו מחלק את 3, המקדם המוביל ו- <math>\ 5^{2}=25</math> איננו מחלק את 10, המקדם האחרון - הפולינום עונה על התנאי ולכן הוא אי פריק מעל השלמים.

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

התבוננו לדוגמה בפולינום <math>\ h(x)=x^{2}+x+2</math>. נראה שאין ראשוני המחלק את 1, המקדם של <math>x</math>. אבל, אם נציב <math>\ x+3</math>, נקבל את הפולינום <math>\ h(x+3)=x^{2}+7x+14</math>, אשר מקיים את הקריטריון עבור המספר הראשוני 7. כלומר, על ידי הזזת הפולינום הצלחנו להראות שהוא מקיים את קריטריון איזנשטיין.

==הוכחה==

להלן ההוכחה למקרה של פולינום בעל מקדמים שלמים. ההוכחה לתחום שלמות כללי דומה. נתבונן ב-<math>\ f(x)</math> כפולינום מודולו <math>\ p</math>, כלומר נעתיק את המקדמים ל[[שדה (מבנה אלגברי)|שדה]] <math>\ \mathbb{Z}/p\mathbb{Z}</math>. מכיוון שכל המקדמים פרט למקדם המוביל מתחלקים ב-<math>\ p</math>נקבל את הפולינום <math>\ cx^{n}</math>עם מקדם כלשהו שונה מאפס <math>\ c</math>. [[הוכחה בדרך השלילה|נניח בשלילה]] שניתן לפרק את <math>\ f</math>לשני פולינומים <math>\ g</math>ו-<math>\ h</math>שהמכפלה שלהם שווה ל-<math>\ f</math>ונקבל ש-<math>\ h\equiv ax^{k}\,, g\equiv bx^{n-k} (\operatorname{mod}\, p)</math>. מכאן, <math>\ p</math>מחלק את המקדמים החופשיים של <math>\ h</math> ושל <math>\ g</math>ולכן, <math>\ p^{2}</math>מחלק את המקדם החופשי של המכפלה בסתירה להנחה.

==קישורים חיצוניים==
* {{MathWorld}}

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