הצגת המקור של הדף "פירוק פולינום"

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

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


== 6 כללים\שיטות ==

'''(1)''' כל פולינום ממעלה 1 הוא אי פריק.

'''(2)''' פולינום ממעלה 2 או 3 מעל שדה הוא אי פריק אם ורק אם אין לו שורש.

'''דוגמא:''' <math>x^3+x+1</math> אי פריק מעל <math>\mathbb{Z}_2</math> כי אין לו שורשים בשדה.

'''(3)''' קריטריון אייזנשטיין: 
:יהי <math>C</math> חוג חילופי ו-<math>P</math> אידיאל ראשוני. יהי <math>f(x)=a_nx^n+\ldots+a_1x+a_0\in C[x]</math> כך ש:
:א. <math>a_n\notin P</math>
:ב. <math>a_i\in P</math> לכל <math>0<i<n</math>
:ג. <math>a_n\in P\setminus P^2</math>
:אזי <math>f(x)</math> אי פריק ב-<math>C[x]</math>.
לרוב משתמשים בקריטריון אייזנשטיין יחד עם הלמה של גאוס:
:יהי <math>C</math> תחום פריקות יחידה עם שדה שברים <math>F</math> ו-<math>f(x)\in C[x]</math> פולינום כך ש:
:א. המחלק המשותף המקסימלי של מקדמי <math>f</math> הוא 1.
:ב. קיימים <math>g(x),h(x)\in F[x]</math> כך ש-<math>f(x)=g(x)h(x)</math>.
:אזי <math>g(x),h(x)\in C[x]</math>. 
:בפרט, נובע שפולינום <math>f(x)\in C[x]</math> הוא אי פריק ב-<math>F[x]</math> אם ורק אם הוא אי פריק ב-<math>C[x]</math>.

'''דוגמא:''' <math>2x^5+6x^4+9x+3</math> אי פריק ב-<math>\mathbb{Q}[x]</math>. נשתמש בקריטריון אייזנשטיין עם <math>p=3</math> כדי להראות שהפולינום אי-פריק ב-<math>\mathbb{Z}[x]</math> ואז נשתמש בלמה של גאוס כדי להסיק שהפולינום אי פריק ב-<math>\mathbb{Q}[x]</math>.