2

I'm trying to learn a bit of Number Theory. And while I understand the definition of congruence relations modulo $n$ and that they are an equivalence relations, I fail to see the motivation for it. So what is congruence relation $\bmod n$ intuitively? (The "bold lines" below are my questions that I'm seeking answer to.)

Definition: For $a,b \in \mathbb{Z}$ and $n \in \mathbb{N}$, $a\equiv b \bmod n \Leftrightarrow n|(a-b)$

Okay, so let's start with the definition, what is really the point of "$n | (a-b)$?" That $a=nq + b$, for some $q \in \mathbb{Z}$? So what do I do with this and why is it so important?

Secondly, if $a$ and $b$ leave the same residue or remainder upon division by $n$ then $a \equiv b \bmod n$, again I don't see why are we so interested in remainders?

And lastly, I keep seeing examples of clocks, days of the week and months. That's good but is that all there's to it?

I have a strong feeling, I'm grossly underestimating congruence relations modulo $n$, perhaps that's because I don't have the intuition for it and where should I should use it. So any intuitive explanations of it and where should one use them would be really really really nice. I'm desperately trying to figure this out. Thanks in advance.

William
  • 4,893
  • A similar (closed) question: https://math.stackexchange.com/questions/2050224/what-is-the-significance-of-mod/2050242 – Hans Lundmark Aug 14 '21 at 13:34
  • @HansLundmark Good find. But I'll wait and hope a little longer if someone could really give me the intuition for it. The link doesn't talk anything about the intuition, sadly. – William Aug 14 '21 at 14:17
  • 4
    I've you've ever felt that it's useful to split the integers into even and odd numbers (i.e., to split them into two classes based on the remainder they leave when dividing by two, and noticing that you can compute with these classes like "even + odd = odd", "even * odd = even", etc.), then I think it ought to feel very plausible that it's sometimes useful to split them into $n$ classes based on the remainder they leave when dividing by $n$, and to compute with these classes in a straightforward way. – Hans Lundmark Aug 14 '21 at 15:01
  • @HansLundmark Very helpful, actually. Your comment tries to answer why is it useful to create congruence classes. I'll take it. If you can think of something else, simple and not too technical, that'd be helpful. Thanks. – William Aug 14 '21 at 15:31
  • 1
    See the 2nd half of this answer, which gives a nice example of using parity, and explains the view of $\Bbb Z_n$ as a "simpler image of $,\Bbb Z.,$ Reducing integer arithmetic problems to various modular images in $\Bbb Z_n,$ is an algebraists way of "dividing and conquering". – Bill Dubuque Aug 14 '21 at 15:50

2 Answers2

1

The short answer is that there are many problems in number theory whose solutions depend on looking at the remainders of numbers when they are divided by a specific number m. I can think of no simpler example to illustrate this than the problem of deciding when a given natural number is divisible by 3 or by 9 or by 11. In this case, one needs to look at the remainders of the powers of 10 when they are divided by 3 or by 9 or by 11. For high powers, the theory of congruences makes the job significantly easier. A more sophisticated example is given by certain investigations of Pierre de Fermat, menioned in the previous answer. Fermat was interested, for example, in deciding, for a given prime number p, which natural n makes 2^n - 1 a multiple of p. This line of inquiry led him to his famous Little Theorem: a prime p divides n^(p-1) - 1 whatever natural n one plugs in the expression.The easiest way to prove this is by using congruences, and observing that, for any n not divisible by p, the numbers n, 2n, 3n, ... (p-1)n leave p-1 distinct non-zero remainders when divided by p. These remainders can only be 1, 2, 3, ..., p-1, so that we can say that n*(2n)(3n)...(p-1)n == 123...*(p-1) mod p. Then, dividing both sides by (p-1)! (which is allowed since (p-1)! and p are coprime), we obtain the theorem.

Claudio Buffara
  • 121
  • Hello, thank you for your answer. I've upvoted it because I think it answers my question. However, you may want to use latex as it is sort of a custom here and makes the text more readable. For starters, a tip: Use "dollar sign" before and after variables or numbers. So $x$ looks neater than x, for instance. – William Feb 01 '22 at 16:04
0

Modulo weakens equality, helps divisibility, and allows dealing with huge numbers. It's relevant to Cryptography, and therefore cybersecurity. It can even help with divisor form:

Assume a number is of form $2^p-1$ , it's clear that any time $2^p\equiv 1\pmod q$ that $q\mid 2^p-1$ . Assume they are both primes, then we get $p\mid q-1$ any time $p>2$ ( Fermat's little theorem, and a bit more theory) but that means $q=jp+1$ with $j$ even ( $j=2k$ for some integer $k$ ) because $q$ must be odd.

It can also be looked at as linear polynomials with all integer variable, coefficients and constants as $y\equiv b\pmod m\implies y=mx+b$

Expanding more upon this $$y\not\equiv b\pmod m\implies y\ne b$$ you can set up $b$ with properties and prove $y$ doesn't have a property. This is used in diophantine equations to show or disprove an example could exist with a property.

An example is checking the conjecture that all natural numbers can be expressed as the sum of $3$ cubes of integers. You can show modulo $9$ that there are only $7$ possible sums of remainders , so there are at least $2$ remainders that will never be possible.

Roddy MacPhee
  • 859