חלוקת פולינומים עם שארית

המשפט

יהיו עם . אז קיימים יחידים כך ש:

הפולינום נקרא המנה ו- נקרא השארית.

הגדרת חלוקה

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

הוכחה (בקצרה)

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

יחידות: אם , אז . מ- ו- (אם ) — סתירה.

מסקנות

  1. משפט השורשים: שורש של לאיזשהו .
  2. הוא תחום שלמות עם חלוקה עם שארית, לכן יש פריקות יחידה.

ראה גם