20 \div 4=5
In mathematics, especially in elementary arithmetic, division ( ) is an arithmetic operation. Specifically, if b times c equals a, written:
 a = b \times c \,
where b is not zero, then a divided by b equals c, written:
 a b = c
For instance,
 6 3 = 2
since
 6 = 3 * 2
In the expression a b = c, a is called the dividend, b the divisor and c the quotient.
Conceptually, division describes two distinct but related settings. Partitioning involves taking a set of size a and forming b groups that are equal in size. The size of each group formed, c, is the quotient of a and b. Quotative division involves taking a set of size a and forming groups of size b. The number of groups of this size that can be formed, c, is the quotient of a and b.^{[1]}
Teaching division usually leads to the concept of fractions being introduced to students. Unlike addition, subtraction, and multiplication, the set of all integers is not closed under division. Dividing two integers may result in a remainder. To complete the division of the remainder, the number system is extended to include fractions or rational numbers as they are more generally called.
Contents
 Notation
 Computing division

 Manual methods for humans to perform division
 Division by computer or with computer assistance
 Division algorithm
 Division of integers
 Division of rational numbers
 Division of real numbers
 Division by zero
 Division of complex numbers
 Division of polynomials
 Division of matrices

 Left and right division
 Matrix division and pseudoinverse
 Division in abstract algebra
 Division and calculus
 See also
 References
 External links

Notation
Division is often shown in algebra and science by placing the dividend over the divisor with a horizontal line, also called a vinculum or fraction bar, between them. For example, a divided by b is written
 \frac ab
This can be read out loud as "a divided by b", "a by b" or "a over b". A way to express division all on one line is to write the dividend (or numerator), then a slash, then the divisor (or denominator), like this:
 a/b\,
This is the usual way to specify division in most computer programming languages since it can easily be typed as a simple sequence of ASCII characters.
A typographical variation halfway between these two forms uses a solidus (fraction slash) 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 (although typically called the numerator and denominator), and there is no implication that the division must be evaluated further. A second way to show division is to use the obelus (or division sign), common in arithmetic, in this manner:
 a \div b
This form is infrequent except in elementary arithmetic. The obelus is also used alone to represent the division operation itself, as for instance as a label on a key of a calculator.
In some nonEnglishspeaking cultures, "a divided by b" is written a : b. However, in English usage the colon is restricted to expressing the related concept of ratios (then "a is to b").
In elementary mathematics the notation b)~a or b)\overline{~a~} is used to denote a divided by b. This notation was first introduced by Michael Stifel in Arithmetica integra, published in 1544.^{[2]}
Computing division
Manual methods for humans to perform division
Division is often introduced through the notion of "sharing out" a set of objects, for example a pile of sweets, 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", i.e., division by repeated subtraction.
More systematic and more efficient (but also more formalised and more rulebased, and more removed from an overall holistic picture of what division is achieving), a person who knows the multiplication tables can divide two integers using pencil and paper using the method of short division, if the divisor is simple. Long division is used for larger integer divisors. If the dividend has a fractional part (expressed as a decimal fraction), one can continue the algorithm past the ones place as far as desired. If the divisor has a fractional part, we 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.
Division by computer or with computer assistance
Modern computers compute division by methods that are faster than long division: see Division (digital).
In modular arithmetic, some numbers have a multiplicative inverse with respect to the modulus. We can calculate division by multiplication in such a case. This approach is useful in computers that do not have a fast division instruction.
Division algorithm
The division algorithm is a mathematical theorem that precisely expresses the outcome of the usual process of division of integers. In particular, the theorem asserts that integers called the quotient q and remainder r always exist and that they are uniquely determined by the dividend a and divisor d, with d 0. Formally, the theorem is stated as follows: There exist unique integers q and r such that a = qd + r and 0 r d , where  d  denotes the absolute value of d.
Division of integers
Division of integers is not closed. 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 four approaches:
 Say that 26 cannot be divided by 11; division becomes a partial function.
 Give an approximate answer answer as a decimal fraction or a mixed number, so \tfrac{26}{11} \simeq 2.36 or \tfrac{26}{11} \simeq 2 \tfrac {36}{100}. 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 \tfrac{26}{11}. But, usually, the resulting fraction should be simplified: the result of the division of 52 by 22 is also \tfrac{26}{11}. This simplification may be done by factoring out the greatest common divisor computed by mean of Euclidean algorithm.
 Give the answer as an integer quotient and a remainder, so \tfrac{26}{11} = 2 \mbox{ remainder } 4. 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 Euclidean algorithm.
 Give the integer quotient as the answer, so \tfrac{26}{11} = 2. This is sometimes called integer division.
Dividing integers in a computer program requires special care. Some programming languages, such as C, treat integer division as in case 4 above, so the answer is an integer. Other languages, such as MATLAB and every computer algebra system return a rational number as the answer, as in case 3 above.
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 (so called Tdivision) or toward − (Fdivision); 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.
Division of rational numbers
The result of dividing two rational numbers is another rational number when the divisor is not 0. We may define division of two rational numbers p/q and r/s by
 {p/q \over r/s} = {p \over q} \times {s \over r} = {ps \over qr}.
All four quantities are integers, and only p may be 0. This definition ensures that division is the inverse operation of multiplication.
Division of real numbers
Division of two real numbers results in another real number when the divisor is not 0. It is defined such a/b = c if and only if a = cb and b 0.
Division by zero
Division of any number by zero (where the divisor is zero) is undefined. This is because zero multiplied by any finite number always results in a product of zero. Entry of such an expression into most calculators produces an error message.
Division of complex numbers
Dividing two complex numbers results in another complex number when the divisor is not 0, defined thus:
 {p + iq \over r + is} = {p r + q s \over r^2 + s^2} + i{q r  p s \over r^2 + s^2}.
All four quantities are real numbers. r and s may not both be 0.
Division for complex numbers expressed in polar form is simpler than the definition above:
 {p e^{iq} \over r e^{is}} = {p \over r}e^{i(q  s)}.
Again all four quantities are real numbers. r may not be 0.
Division of polynomials
One can define the division operation for polynomials. Then, as in the case of integers, one has a remainder. See polynomial long division or synthetic division.
Division of matrices
One 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.
Left and right division
Because matrix multiplication is not commutative, one can also define a left division or socalled backslashdivision 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 slashdivision in this context.
Note that with left and right division defined this way, is in general not the same as and nor is the same as , but and .
Matrix division and pseudoinverse
To avoid problems when and/or do not exist, division can also be defined as multiplication with the pseudoinverse, i.e., and , where and denote the pseudoinverse of A and B.
Division in abstract algebra
In abstract algebras such as matrix algebras and quaternion algebras, fractions such as {a \over b} are typically defined as a \cdot {1 \over b} or a \cdot b^{1} where b is presumed an invertible element (i.e., there exists a multiplicative inverse b^{1} such that bb^{1} = b^{1}b = 1 where 1 is the multiplicative identity). In an integral domain where such elements may not exist, division can still be performed on equations of the form ab = ac or ba = ca by left or right cancellation, respectively. More generally "division" in the sense of "cancellation" can be done in any ring with the aforementioned cancellation properties. If such a ring is finite, then by an application of the pigeonhole principle, every nonzero element of the ring is invertible, so division by any nonzero element is possible in such a ring. To learn about when algebras (in the technical sense) 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.
Division and calculus
The derivative of the quotient of two functions is given by the quotient rule:
 {\left(\frac fg\right)}' = \frac{f'g  fg'}{g^2}.
There is no general method to integrate the quotient of two functions.
See also
 400AD Sunzi division algorithm
 Galley division
 Division by two
 Field
 Group
 Inverse element
 Order of operations
 Quasigroup (left division)
 Repeating decimal
References
External links
als:Division (Mathematik) ar: an:Divisi n ay:Jaljaya a az:B lm (riyaziyyat) be: bexold: bg: bs:Dijeljenje (matematika) br:Rannadur ca:Divisi cs:D len cy:Rhannu (mathemateg) da:Division (matematik) de:Division (Mathematik) et:Jagamine el: es:Divisi n (matem tica) eo:Divido eu:Zatiketa (matematika) fa: fr:Division gd:Roinn (matamataig) gl:Divisi n (matem ticas) gan: xal: ko: hr:Dijeljenje io:Divido (matematiko) id:Perbagian ia:Division (mathematica) is:Deiling it:Divisione (matematica) he: la:Divisio (mathematica) lv:Dal ana lt:Dalyba hu:Oszt s mk: ml: arz: mwl:Debison (matem tica) nah:Tlax xel liztli (tlap hualmatiliztli) nl:Delen ja: no:Divisjon (matematikk) nn:Divisjon i matematikk nov:Divisione pl:Dzielenie pt:Divis o ro: mp r ire (matematic ) qu:Rakiy ru: ( ) scn:Spartuta simple:Division (mathematics) sk:Delenec sl:Deljenje so:U qeybin sr: fi:Jakolasku sv:Division (matematik) tl:Paghahati ta: ( ) te: th: uk: ur: ( ) vec:Divixion vi:Ph p chia war:Pagtungatunga zh:
