Can the concept of (modular arithmetic) congruence be applied to the remainder of a polynomial division? (e.g. when the divisor is a polynomial of at least degree 1?
drogaid1d8
Answered question
2022-11-11
Can the concept of congruence be applied to the remainder of a polynomial division? Can the concept of (modular arithmetic) congruence be applied to the remainder of a polynomial division? (e.g. when the divisor is a polynomial of at least degree 1? For instance, with remainder = 0. Then: Does it means that If so, what happens if the remainder is not an integer? If I am not wrong the remainder of the polynomial division can be for instance a fraction as well so I am not sure what happens (what is the meaning) when the remainder is not exactly an integer. I have seen that there is a tag in MSE about polynomial congruences and did some searching but the questions are very few and different, and some of them not related with a question regarding a division in which the divisor is also a polynomial. If somebody could provide me a basic explanation as a starting point (or an online resource to learn a minimum base) would be very appreciated.
Answer & Explanation
Emma Singleton
Beginner2022-11-12Added 11 answers
Step 1 You were probably taught that two integers a and b are congruent modulo another integer n if n divides . Well, the same applies to many other objects, such as polynomials but also matrices for example, which can be added and multiplied (the mathematical term is, "in any ring"). Two polynomials P and Q (with, say, integer or real or complex coefficients) are congruent modulo another polynomial N if N divides . In the special case where , this means that N divides P, which is what you have here. Step 2 Moreover, polynomials with (say) rational, real or complex coefficients have an Euclidean division which satisfies the same properties as the Euclidean division over the integers, which means that in turn those polynomials exhibit all the same properties you know in the integers (such as the existence of GCDs, unique factorisation, etc.). This eliminates the problem where the remainder is a fraction, since a fraction is a rational (or real, or complex, etc.) number just as well.