(Elementary number theory) Understanding congruence and modulus

Click For Summary

Discussion Overview

This discussion focuses on understanding congruence and modulus in elementary number theory, specifically exploring the application of congruence properties in mathematical expressions and theorems related to modular arithmetic.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • Some participants seek clarification on how the transitivity property of congruence is applied in a specific step of a mathematical argument.
  • There is a repeated assertion that 9 mod 7 equals 2, with participants questioning the rules used to arrive at this conclusion.
  • Participants discuss the theorem stating that the modulo N of a sum or product of numbers is equivalent to the sum or product of their modulos, but express confusion about its application in specific examples.
  • One participant explains that if two numbers are congruent modulo m, they can be substituted for each other in equations involving modulo m.
  • Another participant emphasizes the formal proposition that allows for the replacement of numbers in products and sums based on their modular equivalence.

Areas of Agreement / Disagreement

Participants generally agree on the basic properties of congruence and modulus, but there is uncertainty and confusion regarding the application of these properties in specific steps and examples. No consensus is reached on the clarity of the theorem's application.

Contextual Notes

Participants express limitations in understanding the application of congruence add and multiply, and there are unresolved questions about the form of congruence equations in relation to the propositions discussed.

Leo Liu
Messages
353
Reaction score
156
TL;DR
N/A
298650c66ca%2FScreen_Shot_2021-11-15_at_6.35.43_PM.png


In this question, how does the step marked with 1 become the step marked with 2? I can see that the transitivity property of congruence is used, but I don’t know what exactly is going on here. Can someone please explain? Also at which step is Congruence Add and Multiply used?

Thanks.

Preposition used:
Screen Shot 2021-11-15 at 9.01.09 PM.png
 
Mathematics news on Phys.org
Isn’t 9 mod 7 the value 2?

Similarly for 3^3 is 27 which is one less than 28.

what rule would they be using to do this?
 
jedishrfu said:
Isn’t 9 mod 7 the value 2?

Similarly for 3^3 is 27 which is one less than 28.
Yes. But I just don't understand how the theorem is applied here.
 
The theorem says the modulo N of a sum or product of a list of numbers is the same as the sum or product of the modulos of those numbers, right?
 
  • Like
Likes   Reactions: Leo Liu
jedishrfu said:
The theorem says the modulo N of a sum or product of a list of numbers is the same as the sum or product of the modulos of those numbers, right?
Right. But I am afraid that I still cannot see why as the congruence equations are not in the same form as the preposition.
 
Leo Liu said:
Right. But I am afraid that I still cannot see why as the congruence equations are not in the same form as the preposition.
What does that mean?

We have ##9 = 2 + 7##. Therefore ##9 \equiv 2 \ (mod \ 7)##. Therefore we may replace ##9## by ##2## in any equation modulo ##7##. That's the idea.
 
  • Skeptical
Likes   Reactions: Leo Liu
The proposition says that if ##a_1\equiv a_2 \; (mod\; m)## and ##b_1\equiv b_2 \; (mod\; m)##, then you have ##a_1b_1\equiv a_2b_2 \; (mod\; m)##.

In the example it is applied to ##9 \equiv 2 \; (mod\; 7)## and ##3^3 \equiv -1 \; (mod\; 7)##.
 
  • Like
Likes   Reactions: Leo Liu
PeroK said:
What does that mean?

We have ##9 = 2 + 7##. Therefore ##9 \equiv 2 \ (mod \ 7)##. Therefore we may replace ##9## by ##2## in any equation modulo ##7##. That's the idea.
Thanks. You answer helped me understand it intuitively. Yet I still don't know how the congruence add and multiply is applied to this step.
 
martinbn said:
The proposition says that if ##a_1\equiv a_2 \; (mod\; m)## and ##b_1\equiv b_2 \; (mod\; m)##, then you have ##a_1b_1\equiv a_2b_2 \; (mod\; m)##.

In the example it is applied to ##9 \equiv 2 \; (mod\; 7)## and ##3^3 \equiv -1 \; (mod\; 7)##.
This makes sense, but could you explain why this expression still holds when a1 and b1 is followed by (mod m)?
 
  • #10
Leo Liu said:
Thanks. You answer helped me understand it intuitively. Yet I still don't know how the congruence add and multiply is applied to this step.
Proposition 3 that you quoted in your OP is a formal way to say you can replace a number by any other number of modular equivalence in products and sums. That's what it means - and Proposition 3 is that idea written out formally.
 
  • Like
Likes   Reactions: Leo Liu

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K