Modular Arith: How is Remainder 2?

  • Thread starter Thread starter chwala
  • Start date Start date
  • Tags Tags
    Arithmetic
Click For Summary
SUMMARY

The discussion centers on understanding modular arithmetic, specifically the equivalence of -10 and 2 modulo 3. Participants clarify that in modular arithmetic, the remainder is defined as the smallest non-negative integer k such that (n-k)/m is an integer. They establish that -10 ≡ 2 (mod 3) because -10 can be expressed as -1 mod 3, and since -1 is equivalent to 2 in this context, both statements are valid. The conversation emphasizes the importance of defining remainders correctly and understanding equivalence classes in modular arithmetic.

PREREQUISITES
  • Understanding of modular arithmetic concepts
  • Familiarity with equivalence classes in mathematics
  • Knowledge of the Division Theorem
  • Basic algebraic manipulation skills
NEXT STEPS
  • Study the Division Theorem in detail
  • Learn about equivalence classes and their applications in number theory
  • Explore the properties of modular arithmetic with negative integers
  • Practice problems involving modular equivalence and remainders
USEFUL FOR

Students of mathematics, particularly those studying number theory, educators teaching modular arithmetic, and anyone interested in enhancing their understanding of congruences and remainders in mathematical contexts.

chwala
Gold Member
Messages
2,828
Reaction score
421
Homework Statement
how is -10≡2 mod 3?
Relevant Equations
modular arithmetic
ok this is a bit confusing to me, long since i did this things...-10/3=quotient -3+ remainder -1. How is the remainder 2?
 
Physics news on Phys.org
By definition, this means that ##3## divides ##-10-2 = -12## which is trivially true.

What definition are you using?
 
Math_QED said:
By definition, this means that ##3## divides ##-10-2 = -12## which is trivially true.

What definition are you using?
i am not using any , is it that a=b mod c and a≡ b mod c imply different things? my interest is on the former. The latter i presume applies to congruence.
 
chwala said:
Problem Statement: how is -10≡2 mod 3?
Relevant Equations: modular arithmetic

ok this is a bit confusing to me, long since i did this things...-10/3=quotient -3+ remainder -1. How is the remainder 2?

##-1## means the inverse of ##1##. In mod 3 arithmetic ##1 + 2 = 0##, hence ##-1 = 2##.

More simply, ##-1 \equiv 2 (mod \ 3)##
 
chwala said:
Problem Statement: how is -10≡2 mod 3?
Relevant Equations: modular arithmetic

ok this is a bit confusing to me, long since i did this things...-10/3=quotient -3+ remainder -1. How is the remainder 2?
If you want to talk about remainders in connection to modular arithmetic you should define the remainder of n/m to be the smallest non-negative number k such that the quotient (n-k)/m is an integer. With this definition you have the quotient -4 and the remainder 2.

Also, as has been pointed out already, -1 = 2 mod 3 so saying -10 = -1 mod 3 is also perfectly fine, -1 and 2 are in the same equivalence class.
 
  • Like
Likes   Reactions: chwala
chwala said:
Problem Statement: how is -10≡2 mod 3?
Relevant Equations: modular arithmetic

ok this is a bit confusing to me, long since i did this things...-10/3=quotient -3+ remainder -1. How is the remainder 2?
The reason is that multiples of three doesn't count anymore. The procedure is, that we impose a relation ##\sim## on the set of integers which is defined by: ##a\sim b## iff ##3## divides ##a-b## or iff ##a## and ##b## have the same sort of remainder: ##3\mathbb{Z}##, ##3\mathbb{Z}+1##, or ##3\mathbb{Z}+2##. We consider these sets as one element: ##[0]=3\mathbb{Z}##, ##[1]=3\mathbb{Z}+1##, ##[2]=3\mathbb{Z}+2##. The brackets ##[]## which indicates that entire sets are behind the numbers ##0,1,2## are usually not written, as they don't carry any additional information compared to what has already been said by using ##\operatorname{mod}## or ##\equiv##. The same is true for ##\equiv##: it is often just written as equality ##=##, an equality of sets, the so called equivalence classes with respect to ##\sim##.
 
chwala said:
Problem Statement: how is -10≡2 mod 3?
Relevant Equations: modular arithmetic

ok this is a bit confusing to me, long since i did this things...-10/3=quotient -3+ remainder -1. How is the remainder 2?
In addition to what has already been stated (or perhaps I missed that this, too, has already been stated):

The statmment:
## a \equiv b \mod n ##​
means that there is some integer, ##m##, such that:
## a - b = mn ## .​

Regarding your question:
## -10 \equiv 2 \mod 3 ##
because
## (-10) - (2) = (-4)( 3) ##
 
Last edited:
Orodruin said:
If you want to talk about remainders in connection to modular arithmetic you should define the remainder of n/m to be the smallest non-negative number k such that the quotient (n-k)/m is an integer. With this definition you have the quotient -4 and the remainder 2.

Also, as has been pointed out already, -1 = 2 mod 3 so saying -10 = -1 mod 3 is also perfectly fine, -1 and 2 are in the same equivalence class.

ok meaning that say -20/3 will be -20≡1mod 3? where quotient is -7 and k=1
-50/3 will be -50≡1 mod 3? where quotient is -17 and k=1
 
Last edited:
Orodruin said:
If you want to talk about remainders in connection to modular arithmetic you should define the remainder of n/m to be the smallest non-negative number k such that the quotient (n-k)/m is an integer. With this definition you have the quotient -4 and the remainder 2.

Also, as has been pointed out already, -1 = 2 mod 3 so saying -10 = -1 mod 3 is also perfectly fine, -1 and 2 are in the same equivalence class.
so you're implying that k cannot be a negative integer, rather it has to be positive?
 
  • #10
PeroK said:
##-1## means the inverse of ##1##. In mod 3 arithmetic ##1 + 2 = 0##, hence ##-1 = 2##.

More simply, ##-1 \equiv 2 (mod \ 3)##
i don't understand what you're saying here on inverses...this is a relative new area to me as my area of maths is applied maths...
 
  • #11
chwala said:
i don't understand what you're saying here on inverses...this is a relative new area to me as my area of maths is applied maths...

Do you understand why:

##-1 \equiv 2 (mod \ 3)##?
 
  • #12
chwala said:
so you're implying that k cannot be a negative integer, rather it has to be positive?
No, both -10 = -1 mod 3 and -10 = 2 mod 3 are valid statements as -1 = 2 mod 3.
 
  • #13
i figured out a way of doing this things...lets say you have a≡ k mod b then it follows that,
{a-k}/{b}= integer value...positive critism is welcome.
 
  • #14
chwala said:
i figured out a way of doing this things...lets say you have a≡ k mod b then it follows that,
{a-k}/{b}= integer value...positive critism is welcome.
This is just the definition of a ~ k (mod b). See, for example, post #7.
 
  • Like
Likes   Reactions: chwala
  • #15
Orodruin said:
This is just the definition of a ~ k (mod b). See, for example, post #7.
thanks seen, i appreciate.
 
  • #16
chwala said:
i figured out a way of doing this things...lets say you have a≡ k mod b then it follows that,
{a-k}/{b}= integer value...positive criticism is welcome.
Yes, this is correct.

In post #2, @Math_QED gives this for the specific case in which ##a=-1,\ k=2, \text{ and } b=3## .

Also, as @Orodruin mentioned, I gave a definition equivalent to yours in Post #7.

The more important issue here is that you now have a very solid way of thinking of modular equivalence (congruence), at least as it applies to integers. Congratulations on this!
 
Last edited by a moderator:
  • Informative
Likes   Reactions: chwala
  • #17
The reason why we define the remainder to positive follows from a few key ideas. Do you know what an equivalence class is? Do you know how elements of congruence mod n look like? and how many are there?

The reason that the reduced residue (the remainder) must be positive follows from the statement of the Division Theorem.
 
  • #18
MidgetDwarf said:
The reason that the reduced residue (the remainder) must be positive follows from the statement of the Division Theorem.
This is wrong. The representatives (remainders) do not have to be positive. This is out of convenience and not a mathematical necessity. Thus it doesn't follow from anything. One can perfectly calculate with ##\mathbb{Z}/2\mathbb{Z} =\{\,[17],[-12]\,\}## but it makes more fun to write it as ##\{\,[0],[1]\,\}##.
 
  • #19
fresh_42 said:
This is wrong. The representatives (remainders) do not have to be positive. This is out of convenience and not a mathematical necessity. Thus it doesn't follow from anything. One can perfectly calculate with ##\mathbb{Z}/2\mathbb{Z} =\{\,[17],[-12]\,\}## but it makes more fun to write it as ##\{\,[0],[1]\,\}##.

true. but usually we define remainders using the statement of the Division Theorem and showing that the relation congruence modulo n on Z is an equivalence relation. Using the definition of equivalence classes...

Since the elements of Zn are equivalence classes, then it does not matter which representative we use to denote the distinct equivalence classes (this is what you are saying).

Also, it helps establish the fact that a is congruent to r modulo n, where r is the reduced reduced residue of a.writing the remainders as positive helps us build more results of number theory in a "nice way."
 
Last edited:
  • Like
Likes   Reactions: chwala
  • #20
MidgetDwarf said:
writing the remainders as positive helps us build more results of number theory in a "nice way."
Right. I just wanted to prevent the impression that it has to be those representatives. This contradicted the entire concept of equivalence classes. Any are as good as specific ones, just not as easy to calculate with. And if we only consider the group property and forget about the ring, then ##\mathbb{Z}_2=\{\,0,1\,\}## can even be written multiplicatively as ##\mathbb{Z}_2=\{\,-1,1\,\}##.
 
  • Like
Likes   Reactions: chwala
  • #21
i took my time to look at the modular arithmetic and i could understand it straight away...i found it to be very easy stuff for me...i believe i can attempt any problem in math if i give it the necessary time and effort.:cool:
 

Attachments

  • IMG_20190702_160428.jpg
    IMG_20190702_160428.jpg
    21 KB · Views: 394
  • #22
PeroK said:
Do you understand why:

##-1 \equiv 2 (mod \ 3)##?
yap:cool:
 
  • #23
...therefore in summary, from my study, if we have for instance, a mod b = c then it follows that increasing ##a## by a multiple of ##b## would result to the same remainder.
therefore,
##a mod b= (a+k.b)mod b## for any integer ##k##
for example,
3mod 10=3
13mod 10=3
23mod 10=3
-7mod10=3
bingo :biggrin::cool::cool:
 
  • #24
chwala said:
i took my time to look at the modular arithmetic and i could understand it straight away...i found it to be very easy stuff for me...i believe i can attempt any problem in math if i give it the necessary time and effort.:cool:
Be careful! You will never again agree with people who say ##1+1=2## and expect this as a given truth!
 
  • Haha
Likes   Reactions: chwala

Similar threads

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