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