What is the motivation behind defining congruence / residue classes?

Question

I mean instead of partitioning $\mathbb Z$ to $n$ different sets named residue classes and defining arithmetic operations on them, we can just define

$$\mathbb Z_n = \lbrace 0, 1, 2, ..., n-1 \rbrace$$

As a ring (a field if $n$ is prime) closed under binary relations modular addition and multiplication defined as follow,

$$X, Y \in \mathbb Z_n$$ $$(X + Y) = Qn + R$$ $$X +_n Y = R$$ ~ $$(X \cdot Y) = Q'n + R'$$ $$X \cdot_n Y = R'$$

Then other operations like division (if $\mathbb Z_n$ is a field), exponentiation etc. can be defined over all other elements. Why is this simply not sufficient and we need to make sure that any element of the $\mathbb Z_n$ have to represent all other elements of $\mathbb Z$ which yields the same remainder as itself when divided by $n$?

In other words why we need residue classes? What makes them more useful than the simple definition i denote above.

Answer 1

First point is that, residue classes supplies us with the flexibility of choosing the most convenient element of class for the moment. In other words, sometimes we need different perspectives. As in the example of @Bill Dubuque:

$$9^n \equiv (-1)^n \space(modulo \space 10)$$

Further, any element of a class is "same" with the other from one perspective, that they leave the same remainder when divided by the modulo. They may not be equal, as differently posed congruent triangles aren't equal, but they are still the different representations of "same" no matter what. If we wear the glasses of "equality",

$$5 \ne 15.$$

So they aren't the same, in the perspective that they aren't quantities of the same amount. But if we change them with the glasses of "congruence modulo 10",

$$5 \equiv 15$$

So they are the the same, in the perspective that they leave the same remainders when divided by ten.

Fundamentally, if we notate residue class of $[X]_M$ indeed we represent the all quantities of the same form. And this is more convenient for deduction of generalized results about classes modulo $M$ and relationships between them.

As an example, when you multiply two integers leaving the remainder $7$ when divided by $12$, the result will be congruent to $1$ in the same modulo.

Answer 2

Sometimes some problems are hard to tackle for the whole $\mathbb{Z}$. So, taking the residue classes helps to simplify our problem and we have a smaller set to start the problem. Moreover, In abstract algebra, there are Zero divisors which needs to be eliminated from the discussion as they make a "non-useful class". So, Quotient removes these kinds of classes from our actual discussion.

Moreover, you can refer to any standard number theory and abstract algebra book. They provide extensive motivation for these definitions.

Answer 3

In quotient rings of Euclidean domains such as $\,\Bbb Z\,$ and polynomial rings $\,F[x]\,$ we can choose a least element in each class as a canonical rep ("normal form"), then transport the ring operations to these normal elements - just as you do above in the well-known case $\,\Bbb Z_n = \Bbb Z/n = $ integers $\!\bmod n.$

However, this is not possible in general quotient rings - where equality may not even be decidable. In this more rarified setting we have only the congruence classes (or cosets) themselves - since there is generally no effective way to choose a canonical rep from each class.

Further, congruence classes often provide greater flexibilty versus being forced to work only with canonical reps, e.g. when computing $\,9^n\!\pmod{\!10}$ we can instead choose the more convenient rep $\, -1\equiv 9,\,$ yielding the simplification $\,9^n\equiv (-1)^n.\,$ For another example, imagine how cumbersome it would be if we could only work with fractions that are reduced to normal form (lowest terms).

Answer 4

It it a very natural thing to do. Consider this real life example:

You are in the supermarket buying food. For example you want to have fried rice with lots of vegetables and obviously you also want the dish to look good by having vegetables of different colours. This is your deepest wish right now. Pretend that you are standing in front of the fruits/vegetables in the supermarket.

Let $X = \lbrace \text{Tomato},\text{Red Pepper},\text{Cucumber},\text{Banana},\text{Lemon} \rbrace$. Since you are interested in the colours of the objects, it is natural to look at the set of the corresponding colours $C = \lbrace \text{Red},\text{Green},\text{Yellow} \rbrace$. So how do we obtain this set?

Define a relation on $X$ by $x \sim y$ iff $x$ and $y$ have the same colour. This is clearly an equivalence relation. Thus we get that $X/\sim$ is given by $\lbrace [\text{Red Pepper}],[\text{Cucumber}],[\text{Lemon}] \rbrace$, which we can identify with the set $C$. What we basically did was to get a new perspective on the elements of the set $X$ and using a different perspective is somthing we use in life all the time.

So why not look at the set $C$ directly? Well... it is not always possible to have canonical reps and in many situations it is a lot better to have the flexibility that choosing new reps give you. Here you would prefer not only to choose the colour but also some rep that fits the dish.

Maybe this helps you.