שינויים
/* שאלה */
::אבל לא מדובר על פירוק מעל שדה השברים? "מה שנשאר" שייך לשדה השברים. (כמו למשל שיש משפט שf|g מעל R אם ורק אם התכולות מתחלקות וגם f^|g^ אבל מעל שדה השברים.)
:::"מה שנשאר" הוא פולינום. מעל שדה השברים הסקלרים (ובפרט p) הופכים להפיכים. מכל מקום, אנחנו השתמשנו בעובדה זו על מנת להראות שכל אי פריק מעל [R[x הוא ראשוני שם. איך מתגנב לכאן שדה השברים? יודעים שחוג הפולינומים מעל שדה הוא UFD, ויודעים שאם פולינום הוא אי פריק (ופרימיטיבי) מעל חוג UFD, הוא אי פריק מעל שדה השברים (זהו אחד מהנסחים של הלמה של גאוס שבאים לפני המשפט שבו אנחנו דנים). כעת, חוג הפולינומים מעל שדה השברים הוא UFD ולכן האי פריקות מתרגמת שם לראשוניות, שאותה, בתורה, נתן לתרגם שוב לראשוניות מעל [R[x (וכאן שוב משתמשים בפרימיטיביות של הפולינום).
==שאלה==
למה מודול מעל F[x]/<x^3> הוא מ"ו + אופרטור T כך שT^3=0? איבר כללי שם הוא מהצורה a+bx+cx^2, אך מה קורה עם T^3 של האיבר החופשי (a)? למה זה מתאפס?
