Division
ArithmeticDivision is the arithmetic operation of splitting a quantity into equal groups or finding how many times one number goes into another.
Formula
\text{dividend} / \text{divisor} = \text{quotient} \ (+ \text{remainder})
Definition
Division means sharing a number equally into groups, or finding out how many times one number fits into another. The symbol for division is the division sign (/ or ÷).
Example
$12 / 4 = 3$ means $12$ shared equally among $4$ groups gives $3$ in each group. Or: $4$ fits into $12$ exactly $3$ times.
Key Insight
Division is the opposite of multiplication. If $3 \times 4 = 12$, then $12 / 4 = 3$ and $12 / 3 = 4$.
Definition
Division of $a$ by $b$ ($b \neq 0$) gives a quotient $q$ (and remainder $r$ for integers) such that $a = b \times q + r$ with $0 \le r < b$. For real numbers with $b \neq 0$: $a / b = a \times (1/b)$. Division by zero is undefined.
Example
$23 / 5 = 4$ remainder $3$ (integer division: $23 = 5 \times 4 + 3$). $23 / 5 = 4.6$ (real division). Division is neither commutative nor associative: $10/2 \neq 2/10$ and $(12/6)/2 \neq 12/(6/2)$.
Key Insight
Long division is a direct application of the division algorithm: at each step you find how many times the divisor fits into the current partial dividend, record the quotient digit, and find the new remainder.
Definition
In a field $F$, division is defined as multiplication by the multiplicative inverse: $a / b = a \cdot b^{-1}$ for $b \neq 0$. Fields are precisely the rings where every non-zero element has a multiplicative inverse. $\mathbb{Z}$ is a ring but not a field because $1/2$ is not an integer. $\mathbb{Q}$, $\mathbb{R}$, and $\mathbb{C}$ are fields.
Example
In $\mathbb{Z}_7$ (integers mod $7$): $3 / 5 = 3 \cdot 5^{-1} \pmod 7$. Since $5 \cdot 3 = 15 = 1 \pmod 7$, the inverse of $5$ is $3$. So $3 / 5 = 3 \cdot 3 = 9 = 2 \pmod 7$.
Key Insight
The Euclidean algorithm for GCD is based entirely on repeated division (finding remainders). Because every Euclidean domain supports this algorithm, they share the key property that every ideal is principal.