- #1

- 22

- 0

- I
- Thread starter Ling Min Hao
- Start date

- #1

- 22

- 0

- #2

fresh_42

Mentor

- 14,129

- 11,398

Usually we consider entire equivalence classes in such cases: Every single element of ##\{\ldots -13, -8, -3, 2, 7 , 12, \ldots\}## belongs to the same remainder of a division by ##5##. We then define all five possible classes

##\{\ldots -15, -10, -5, 0, 5, 10, \ldots\}##

##\{\ldots -14, -9, -4, 1, 6, 11, \ldots\}##

##\{\ldots -13, -8, -3, 2, 7, 12, \ldots\}##

##\{\ldots -12, -7, -2, 3, 8, 13, \ldots\}##

##\{\ldots -11, -6, -1, 4, 9, 14, \ldots\}##

as elements of a new set with five elements ##\{ \; \{\ldots -15, -10, -5, 0, 5, 10, \ldots\}\, , \, \{\ldots -14, -9, -4, 1, 6, 11, \ldots\}\, , \, \ldots \}##.

This notation is a bit nasty to handle, so we choose one representative out of every set. E.g. ##\{[-15],[-9],[12],[3],[-1]\}## could be chosen, but this is still a bit messy to do calculations with. So the most convenient representation is ##\{[0],[1],[2],[3],[4]\}## with the non-negative remainders smaller than ##5##. However, this is only a convention. ##-3## is a remainder, too, belonging to the class ##[2]##. So the answer to your questions is: The statement is true, as all integers are remainders.

- #3

mfb

Mentor

- 35,127

- 11,364

- #4

- 22

- 0

Sorry it should be -23 = 5(-4) - 3 , so in conclusion is, this statement true ?

- #5

jbriggs444

Science Advisor

Homework Helper

- 9,457

- 4,150

"-23 divided by 5 is -4 with a remainder of -3". I would consider that statement true.Sorry it should be -23 = 5(-4) - 3 , so in conclusion is, this statement true ?

"-23 divided by 5 is -5 with a remainder of 2". I would also consider that statement to be true.

The convention you use for integer division will determine which of those statements is conventional and which is unconventional.

In many programming languages, integer division follows a "truncate toward zero" convention. For instance, in Ada, -23/5 = -4. The "rem" operator then gives the remainder. So -23 rem 5 = -3.

If one adopts a convention that integer division (by a positive number) truncates toward negative infinity then one would get a different conventional remainder. -23/5 would be -5 and -23 mod 5 would be +2. The Ada "mod" operator uses this convention.

In mathematics, one typically adopts the line of reasoning given by @fresh_42 in post#2 above. The canonical exemplar in the equivalence class of possible remainders is normally the one in the range from 0 to divisor - 1.