Category:Integer Division

From ProofWiki
Jump to navigation Jump to search

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

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

From the Division Theorem:

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

where $q$ is the quotient and $r$ is the remainder.


The process of finding $q$ and $r$ is known as (integer) division of $a$ by $b$, and we write:

$a \div b = q \rem r$

Subcategories

This category has the following 2 subcategories, out of 2 total.