Division is one of the four basic operations of arithmetic, the ways that numbers are combined to make new numbers. The other operations are addition, subtraction, and multiplication. The division sign, a symbol consisting of a short horizontal line with a dot above and another dot below, is often used to indicate mathematical division. This usage, though widespread in anglophone countries, is neither universal nor recommended: the ISO 80000-2 standard for mathematical notation recommends only the solidus or fraction bar for division, or the colon for ratios; it says that this symbol "should not be used" for division.
At an elementary level the division of two natural numbers is – among other possible interpretations – the process of calculating the number of times one number is contained within another one. This number of times is not always an integer, which led to two different concepts.
The division with remainder or Euclidean division of two natural numbers provides a quotient, which is the number of times the second one is contained in the first one, and a remainder, which is the part of the first number that remains, when in the course of computing the quotient, no further full chunk of the size of the second number can be allocated.
For a modification of this division to yield only one single result, the natural numbers must be extended to rational numbers or real numbers. In these enlarged number systems, division is the inverse operation to multiplication, that is means, as long as is not zero. If, then this is a division by zero, which is not defined.
Both forms of division appear in various algebraic structures, different ways of defining mathematical structure. Those in which a Euclidean division is defined are called Euclidean domains and include polynomial rings in one indeterminate. Those in which a division by all nonzero elements is defined are called fields and division rings. In a ring the elements by which division is always possible are called the units. Another generalization of division to algebraic structures is the quotient group, in which the result of 'division' is a group rather than a number.
IntroductionThe simplest way of viewing division is in terms of quotition and partition: from the quotition perspective, means the number of 5s that must be added to get 20. In terms of partition, means the size of each of 5 parts into which a set of size 20 is divided. For example, 20 apples divide into five groups of four apples, meaning that twenty divided by five is equal to four. This is denoted as, or. What is being divided is called the dividend, which is divided by the divisor, and the result is called the quotient. In the example, 20 is the dividend, 5 is the divisor, and 4 is the quotient.
Unlike the other basic operations, when dividing natural numbers there is sometimes a remainder that will not go evenly into the dividend; for example, leaves a remainder of 1, as 10 is not a multiple of 3. Sometimes this remainder is added to the quotient as a fractional part, so is equal to or, but in the context of integer division, where numbers have no fractional part, the remainder is kept separately. When the remainder is kept as a fraction, it leads to a rational number. The set of all rational numbers is created by extending the integers with all possible results of divisions of integers.
Unlike multiplication and addition, Division is not commutative, meaning that is not always equal to. Division is also not, in general, associative, meaning that when dividing multiple times, the order of division can change the result. For example,, but .
However, division is traditionally considered as left-associative. That is, if there are multiple divisions in a row, the order of calculation goes from left to right:
Division is right-distributive over addition and subtraction, in the sense that
This is the same for multiplication, as. However, division is not left-distributive, as
This is unlike the case in multiplication, which is both left-distributive and right-distributive, and thus distributive.
NotationDivision is often shown in algebra and science by placing the dividend over the divisor with a horizontal line, also called a fraction bar, between them. For example, "a divided by b" can written as:
which can also be read out loud as "divide a by b" or "a over b". A way to express division all on one line is to write the dividend, then a slash, then the divisor, as follows:
This is the usual way of specifying division in most computer programming languages, since it can easily be typed as a simple sequence of ASCII characters. Some mathematical software, such as MATLAB and GNU Octave, allows the operands to be written in the reverse order by using the backslash as the division operator:
A typographical variation halfway between these two forms uses a solidus, but elevates the dividend and lowers the divisor:
Any of these forms can be used to display a fraction. A fraction is a division expression where both dividend and divisor are integers, and there is no implication that the division must be evaluated further. A second way to show division is to use the division sign, common in arithmetic, in this manner:
This form is infrequent except in elementary arithmetic. ISO 80000-2-9.6 states it should not be used. This division sign is also used alone to represent the division operation itself, as for instance as a label on a key of a calculator. The obelus was introduced by Swiss mathematician Johann Rahn in 1659 in Teutsche Algebra. The ÷ symbol is used to indicate subtraction in some European countries, so its use may be misunderstood.
In some non-English-speaking countries, a colon is used to denote division:
This notation was introduced by Gottfried Wilhelm Leibniz in his 1684 Acta eruditorum. Leibniz disliked having separate symbols for ratio and division. However, in English usage the colon is restricted to expressing the related concept of ratios.
Since the 19th century, US textbooks have used or to denote a divided by b, especially when discussing long division. The history of this notation is not entirely clear because it evolved over time.
Manual methodsDivision is often introduced through the notion of "sharing out" a set of objects, for example a pile of lollies, into a number of equal portions. Distributing the objects several at a time in each round of sharing to each portion leads to the idea of 'chunking' a form of division where one repeatedly subtracts multiples of the divisor from the dividend itself.
By allowing one to subtract more multiples than what the partial remainder allows at a given stage, more flexible methods, such as the bidirectional variant of chunking, can be developed as well.
More systematic and more efficient, a person who knows the multiplication tables can divide two integers with pencil and paper using the method of short division, if the divisor is small, or long division, if the divisor is larger. If the dividend has a fractional part, one can continue the algorithm past the ones place as far as desired. If the divisor has a fractional part, one can restate the problem by moving the decimal to the right in both numbers until the divisor has no fraction.
A person can calculate division with an abacus by repeatedly placing the dividend on the abacus, and then subtracting the divisor the offset of each digit in the result, counting the number of divisions possible at each offset.
A person can use logarithm tables to divide two numbers, by subtracting the two numbers' logarithms, then looking up the antilogarithm of the result.
A person can calculate division with a slide rule by aligning the divisor on the C scale with the dividend on the D scale. The quotient can be found on the D scale where it is aligned with the left index on the C scale. The user is responsible, however, for mentally keeping track of the decimal point.
By computer or with computer assistanceModern computers compute division by methods that are faster than long division, with the more efficient ones relying on approximation techniques from numerical analysis. For division with remainder, see Division algorithm.
In modular arithmetic and for real numbers, nonzero numbers have a multiplicative inverse. In these cases, a division by may be computed as the product by the multiplicative inverse of. This approach is often associated with the faster methods in computer arithmetic.
Division in different contexts
Euclidean divisionThe Euclidean division is the mathematical formulation of the outcome of the usual process of division of integers. It asserts that, given two integers, a, the dividend, and b, the divisor, such that b ≠ 0, there are unique integers q, the quotient, and r, the remainder, such that a = bq + r and 0 ≤ r <, where denotes the absolute value of b.
Of integersIntegers are not closed under division. Apart from division by zero being undefined, the quotient is not an integer unless the dividend is an integer multiple of the divisor. For example, 26 cannot be divided by 11 to give an integer. Such a case uses one of five approaches:
- Say that 26 cannot be divided by 11; division becomes a partial function.
- Give an approximate answer as a "real" number. This is the approach usually taken in numerical computation.
- Give the answer as a fraction representing a rational number, so the result of the division of 26 by 11 is Usually the resulting fraction should be simplified: the result of the division of 52 by 22 is also. This simplification may be done by factoring out the greatest common divisor.
- Give the answer as an integer quotient and a remainder, so To make the distinction with the previous case, this division, with two integers as result, is sometimes called Euclidean division, because it is the basis of the Euclidean algorithm.
- Give the integer quotient as the answer, so This is sometimes called integer division.
Names and symbols used for integer division include div, /, \, and %. Definitions vary regarding integer division when the dividend or the divisor is negative: rounding may be toward zero or toward −∞ ; rarer styles can occur – see Modulo operation for the details.
Divisibility rules can sometimes be used to quickly determine whether one integer divides exactly into another.
Of rational numbersThe result of dividing two rational numbers is another rational number when the divisor is not 0. The division of two rational numbers p/q and r/s can be computed as
All four quantities are integers, and only p may be 0. This definition ensures that division is the inverse operation of multiplication.
Of real numbersDivision of two real numbers results in another real number. It is defined such that a/b = c if and only if a = cb and b ≠ 0.
Of complex numbersDividing two complex numbers results in another complex number, which is found using the conjugate of the denominator:
This process of multiplying and dividing by is called 'realisation' or rationalisation. All four quantities p, q, r, s are real numbers, and r and s may not both be 0.
Division for complex numbers expressed in polar form is simpler than the definition above:
Again all four quantities p, q, r, s are real numbers, and r may not be 0.
Of polynomialsOne can define the division operation for polynomials in one variable over a field. Then, as in the case of integers, one has a remainder. See Euclidean division of polynomials, and, for hand-written computation, polynomial long division or synthetic division.
Of matricesOne can define a division operation for matrices. The usual way to do this is to define, where denotes the inverse of B, but it is far more common to write out explicitly to avoid confusion. An elementwise division can also be defined in terms of the Hadamard product.
Left and right divisionBecause matrix multiplication is not commutative, one can also define a left division or so-called backslash-division as. For this to be well defined, need not exist, however does need to exist. To avoid confusion, division as defined by is sometimes called right division or slash-division in this context.
Note that with left and right division defined this way, is in general not the same as, nor is the same as. However, it holds that and.
PseudoinverseTo avoid problems when and/or do not exist, division can also be defined as multiplication by the pseudoinverse. That is, and, where and denote the pseudoinverses of A and B.
Abstract algebraIn abstract algebra, given a magma with binary operation ∗, left division of b by a is typically defined as the solution x to the equation, if this exists and is unique. Similarly, right division of b by a is the solution y to the equation. Division in this sense does not require ∗ to have any particular properties.
"Division" in the sense of "cancellation" can be done in any magma by an element with the cancellation property. Examples include matrix algebras and quaternion algebras. A quasigroup is a structure in which division is always possible, even without an identity element and hence inverses. In an integral domain, where not every element need have an inverse, division by a cancellative element a can still be performed on elements of the form ab or ca by left or right cancellation, respectively. If a ring is finite and every nonzero element is cancellative, then by an application of the pigeonhole principle, every nonzero element of the ring is invertible, and division by any nonzero element is possible. To learn about when algebras have a division operation, refer to the page on division algebras. In particular Bott periodicity can be used to show that any real normed division algebra must be isomorphic to either the real numbers R, the complex numbers C, the quaternions H, or the octonions O.