Let . We say divides , written , if there exists with . We also say is a multiple of .
Mathematics · Glossary
What is Divisibility?
For , divides (written ) when for some . Basic consequences: if and then for all ; if and then ; and together with force .
Examples
Example 6.3 (Positional numeration by repeated division)
Write in base . Divide repeatedly by , keeping the remainders:
Reading the remainders from last to first: . Check: . The uniqueness of Euclidean division is exactly what makes each digit forced: at every step the remainder is the only integer in congruent to the current value mod , so base- writing is unique — the fact silently used whenever the weekend problem manipulates “the digits of in base ”.
Example 6.9 (Solving a linear Diophantine equation)
Find all with . First, the existence test: divides , so solutions exist (if the gcd did not divide the right-hand side, the left side would always be a multiple of it and there would be none). Divide through: . A particular solution is visible: . For the general one, subtract: , so , and Gauss’s lemma () gives : , then . Conversely every such pair works:
The pattern is general: one particular solution plus the integer multiples of — the same “particular plus homogeneous” structure as in Chapter 5, with Gauss’s lemma playing the uniqueness role.