Category:Remainders

From ProofWiki
Jump to navigation Jump to search

This category contains results about Remainders.
Definitions specific to this category can be found in Definitions/Remainders.


Let $a, b \in \Z$ be integers such that $b \ne 0$.

From the Division Theorem, we have that:

$\forall a, b \in \Z, b \ne 0: \exists_1 q, r \in \Z: a = q b + r, 0 \le r < \size b$


The value $r$ is defined as the remainder of $a$ on division by $b$, or the remainder of $\dfrac a b$.

Subcategories

This category has only the following subcategory.