Editing Division (mathematics)

{{short description|Arithmetic operation}}
{{redirect|Divided}}
{{More citations needed|date=October 2014}}
[[File:Divide20by4.svg|thumb|20 / 4 = 5, illustrated here with apples. This is said verbally, "Twenty divided by four equals five."]]
{{Arithmetic operations}}
'''Division''' is one of the four basic operations of [[arithmetic]]. The other operations are [[addition]], [[subtraction]], and [[multiplication]]. What is being divided is called the '''''dividend''''', which is divided by the '''''divisor''''', and the result is called the ''[[quotient]]''. 

At an elementary level the division of two [[natural number]]s is, among other [[Quotition and partition|possible interpretations]], the process of calculating the number of times one number is contained within another.<ref>{{cite book|last1=Blake|first1=A. G.|title=Arithmetic|date=1887|publisher=[[Alexander Thom (almanac editor)|Alexander Thom & Company]]|location=[[Dublin|Dublin, Ireland]]}}</ref>{{rp|7}} For example, if 20 apples are divided evenly between 4 people, everyone receives 5 apples (see picture). However, this number of times or the number contained (divisor) need not be [[integer]]s.

The [[division with remainder]] or [[Euclidean division]] of two [[natural numbers]] provides an integer ''[[quotient]]'', which is the number of times the second number is completely contained in the first number, 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 example, if 21 apples are divided between 4 people, everyone receives 5 apples again, and 1 apple remains.

For division to always yield one number rather than an integer quotient plus a remainder, the natural numbers must be extended to [[rational number]]s or [[real number]]s. In these enlarged [[number system]]s, division is the inverse operation to multiplication, that is {{math|''a'' {{=}} ''c'' / ''b''}} means {{math|''a'' × ''b'' {{=}} ''c''}}, as long as {{math|''b''}} is not zero. If {{math|1=''b'' = 0}}, then this is a [[division by zero]], which is not defined.{{efn|Division by zero may be defined in some circumstances, either by extending the real numbers to the [[extended real number line]] or to the [[projectively extended real line]] or when occurring as limit of divisions by numbers tending to 0. For example: {{math|lim<sub>''x''→0</sub> {{sfrac|sin ''x''|''x''}} {{=}} 1.}}<ref name="mwdiv" /><ref name="db0">{{MathWorld|id=DivisionbyZero|title=Division by Zero}}</ref>}}<ref>{{cite book|last1=Derbyshire|first1=John|title=Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics|date=2004|publisher=[[Penguin Books]]|location=[[New York City]]|isbn=978-0-452-28525-5}}</ref>{{rp|246}} In the 21-apples example, everyone would receive 5 apple and a quarter of an apple, thus avoiding any leftover.

Both forms of division appear in various [[algebraic structure]]s, different ways of defining mathematical structure. Those in which a Euclidean division (with remainder) is defined are called [[Euclidean domain]]s and include [[polynomial ring]]s in one [[indeterminate (variable)|indeterminate]] (which define multiplication and addition over single-variabled formulas). Those in which a division (with a single result) by all nonzero elements is defined are called [[field (mathematics)|fields]] and [[division ring]]s. In a [[ring (mathematics)|ring]] the elements by which division is always possible are called the [[unit (ring theory)|units]] (for example, 1 and −1 in the ring of integers). Another generalization of division to algebraic structures is the [[quotient group]], in which the result of "division" is a group rather than a number.

== Introduction ==
The simplest way of viewing division is in terms of [[quotition and partition]]: from the quotition perspective, {{math|20 / 5}} means the number of 5s that must be added to get&nbsp;20. In terms of partition, {{math|20 / 5}} 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 {{math|1=20 / 5 = 4}}, or {{math|1={{sfrac|20|5}} = 4}}.<ref name="mwdiv">{{MathWorld|id=Division|title=Division}}</ref> 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, {{math|10 / 3}} 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 {{math|10 / 3}} is equal to {{math|{{sfrac|3|1|3}}}} or {{math|3.33...}}, but in the context of [[integer]] division, where numbers have no fractional part, the remainder is kept separately (or exceptionally, discarded or [[rounding|rounded]]).<ref name="mwintdiv">{{MathWorld|id=IntegerDivision|title=Integer Division}}</ref> 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 {{math|''a'' / ''b''}} is not always equal to {{math|''b'' / ''a''}}.<ref>http://www.mathwords.com/c/commutative.htm {{Webarchive|url=https://web.archive.org/web/20181028172101/http://www.mathwords.com/c/commutative.htm |date=2018-10-28 }} Retrieved October 23, 2018</ref> Division is also not, in general, [[associative]], meaning that when dividing multiple times, the order of division can change the result.<ref>http://www.mathwords.com/a/associative_operation.htm {{Webarchive|url=https://web.archive.org/web/20181028042107/http://mathwords.com/a/associative_operation.htm |date=2018-10-28 }} Retrieved October 23, 2018</ref> For example, {{math|(24 / 6) / 2 {{=}} 2}}, but {{math|24 / (6 / 2) {{=}} 8}} (where the use of parentheses indicates that the operations inside parentheses are performed before the operations outside parentheses).

Division is traditionally considered as [[Left associative operator|left-associative]]. That is, if there are multiple divisions in a row, the order of calculation goes from left to right:<ref name="Order of arithmetic operations">George Mark Bergman: [https://math.berkeley.edu/~gbergman/misc/numbers/ord_ops.html Order of arithmetic operations] {{Webarchive|url=https://web.archive.org/web/20170305004813/https://math.berkeley.edu/~gbergman/misc/numbers/ord_ops.html |date=2017-03-05 }}</ref><ref name="The Order of Operations">Education Place: [http://eduplace.com/math/mathsteps/4/a/index.html The Order of Operations] {{Webarchive|url=https://web.archive.org/web/20170608144614/http://eduplace.com/math/mathsteps/4/a/index.html |date=2017-06-08 }}</ref>
: <math>a / b / c = (a / b) / c = a / (b \times c) \;\ne\; a/(b/c)= (a\times c)/b.</math>

Division is [[right-distributive]] over addition and subtraction, in the sense that 
: <math>\frac{a \pm b}{c} = (a \pm b) / c = (a/c)\pm (b/c) =\frac{a}{c} \pm \frac{b}{c}.</math>

This is the same for [[multiplication]], as <math>(a + b) \times c = a \times c + b \times c</math>. However, division is ''not'' [[left-distributive]], as
: <math>\frac{a}{b + c} = a / (b + c) \;\ne\; (a/b) + (a/c) = \frac{ac+ab}{bc}.</math> &nbsp; For example  <math>\frac{12}{2+4} = \frac{12}{6} = 2 ,</math> but <math>\frac{12}{2} + \frac{12}{4} = 6+3 = 9 .</math>
This is unlike the case in multiplication, which is both left-distributive and right-distributive, and thus [[distributive law|distributive]].

== Notation ==
{{further|Division sign}}
[[File:Skjermbilete 2012-11-03 kl. 02.48.36.png|thumb|Plus and minuses. An [[obelus]] used as a variant of the minus sign in an excerpt from an official Norwegian trading statement form called «Næringsoppgave 1» for the taxation year 2010.]]
Division 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 be written as:
:<math>\frac ab</math>

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'' (or numerator), then a [[Slash (punctuation)|slash]], then the ''divisor'' (or denominator), as follows:
:<math>a/b</math>

This is the usual way of specifying division in most computer [[programming language]]s, since it can easily be typed as a simple sequence of [[ASCII]] characters. (It is also the only notation used for [[quotient object]]s in [[abstract algebra]].) 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:
:<math>b\backslash a</math>

A typographical variation halfway between these two forms uses a [[solidus (punctuation)|solidus]] (fraction slash), but elevates the dividend and lowers the divisor:
:<math>{}^{a}\!/{}_{b}</math>

Any of these forms can be used to display a [[fraction (mathematics)|fraction]]. A fraction is a division expression where both dividend and divisor are [[integer]]s (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 [[division sign]] (÷, also known as [[obelus]] though the term has additional meanings), common in arithmetic, in this manner:
:<math>a \div b</math>

This form is infrequent except in elementary arithmetic. [[ISO 80000-2]]-10.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''.<ref name="Cajori">{{cite book|author=Cajori, Florian|title=A History of Mathematical Notations|url=https://archive.org/details/b29980343_0002|publisher=Open Court Pub. Co.|year=1929}}</ref>{{rp|211}} The ÷ symbol is used to indicate subtraction in some European countries, so its use may be misunderstood.<ref>{{cite book |chapter-url=https://www.unicode.org/versions/Unicode10.0.0/ch06.pdf#G7935 | page=280, Obelus | chapter = 6. Writing Systems and Punctuation | publisher= Unicode Consortium | title = The Unicode® Standard: Version 10.0 – Core Specification | date= June 2017}}</ref>

In some non-[[English language|English]]-speaking countries, a colon is used to denote division:<ref>{{cite book|title=Mathematics for Teachers: An Interactive Approach for Grades K–8|page=126|author=Thomas Sonnabend|publisher=Brooks/Cole, Cengage Learning (Charles Van Wagner)|year=2010|isbn=978-0-495-56166-8}}</ref>

:<math>a : b</math>

This notation was introduced by [[Gottfried Wilhelm Leibniz]] in his 1684 ''Acta eruditorum''.<ref name="Cajori" />{{rp|295}} Leibniz disliked having separate symbols for ratio and division. However, in English usage the [[colon (punctuation)|colon]] is restricted to expressing the related concept of [[ratio]]s.

Since the 19th century, US textbooks have used <math>b)a</math> or <math>b \overline{)a}</math> 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.<ref name="Smith">{{cite book|title=History Of Mathematics Vol II|url=https://archive.org/details/in.ernet.dli.2015.201939|author=Smith, David Eugene|publisher=Ginn And Company|year=1925}}</ref>

== Computing ==
{{main|Long division|Division algorithm}}

===Manual methods===
Division 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 (division)|chunking]]'{{snd}} 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 systematically and more efficiently, two integers can be divided with pencil and paper with the method of [[short division]], if the divisor is small, or [[long division]], if the divisor is larger. If the dividend has a [[fraction (mathematics)|fractional]] part (expressed as a [[decimal fraction]]), one can continue the procedure 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, which can make the problem easier to solve (e.g., 10/2.5 = 100/25 = 4).

Division can be calculated with an [[abacus]].<ref>{{Cite book|last=Kojima|first=Takashi|url=https://books.google.com/books?id=tidyAgAAQBAJ&pg=PA11|title=Advanced Abacus: Theory and Practice|date=2012-07-09|publisher=Tuttle Publishing|isbn=978-1-4629-0365-8|language=en}}</ref>

[[Logarithm tables]] can be used to divide two numbers, by subtracting the two numbers' logarithms, then looking up the [[antilogarithm]] of the result.

Division can be calculated 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===
Modern [[calculator]]s and [[computer]]s compute division either by methods similar to long division, or by faster methods; see [[Division algorithm]].

In [[modular arithmetic]] (modulo a prime number) and for [[real numbers]], nonzero numbers have a [[modular multiplicative inverse|multiplicative inverse]]. In these cases, a division by {{mvar|x}} may be computed as the product by the multiplicative inverse of {{mvar|x}}. This approach is often associated with the faster methods in computer arithmetic.

== Division in different contexts ==
=== Euclidean division ===
{{main|Euclidean division}}
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 [[Uniqueness quantification|unique]] integers ''q'', the ''quotient'', and ''r'', the remainder,  such that ''a'' = ''bq'' + ''r'' and 0 ≤ ''r'' < {{abs|''b''}}, where {{abs|''b''}} denotes the [[absolute value]] of ''b''.

=== Of integers ===
Integers are not [[Closure (mathematics)|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 [[floating-point number]]. This is the approach usually taken in [[numerical computation]].
# Give the answer as a [[fraction (mathematics)|fraction]] representing a [[rational number]], so the result of the division of 26 by 11 is <math>\tfrac{26}{11}</math> (or as a [[mixed number]], so <math>\tfrac{26}{11} = 2 \tfrac 4{11}.</math>) Usually the resulting fraction should be simplified: the result of the division of 52 by 22 is also <math>\tfrac{26}{11}</math>. This simplification may be done by factoring out the [[greatest common divisor]].
# Give the answer as an integer ''[[quotient]]'' and a ''[[remainder]]'', so <math>\tfrac{26}{11} = 2 \mbox{ remainder } 4.</math> 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 <math>\tfrac{26}{11} = 2.</math> This is the ''[[floor function]]'' applied to case 2 or 3. It is sometimes called '''integer division''', and denoted by "//".

Dividing integers in a [[computer program]] requires special care. Some [[programming language]]s treat integer division as in case 5 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. These languages also provide functions to get the results of the other cases, either directly or from the result of case 3.

Names and symbols used for integer division include {{mono|div}}, {{mono|/}}, {{mono|\}}, and {{mono|%}}.{{cn|reason=Give a reference for each of the (claimed) names. I myself never sav '\' or '%' denoting division.|date=February 2025}} Definitions vary regarding integer division when the dividend or the divisor is negative: [[rounding]] may be toward zero (so called T-division) or toward [[Extended real number line|−∞]] (F-division); rarer styles can occur – see [[modulo operation]] for the details.

[[Divisibility rule]]s can sometimes be used to quickly determine whether one integer divides exactly into another.

=== Of rational numbers ===
The result of dividing two [[rational number]]s 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
<math display="block">{p/q \over r/s} = {p \over q} \times {s \over r} = {ps \over qr}.</math>

All four quantities are integers, and only ''p'' may be 0. This definition ensures that division is the inverse operation of [[multiplication]].

=== Of real numbers ===
Division of two [[real number]]s results in another real number (when the divisor is nonzero). It is defined such that ''a''/''b'' = ''c'' if and only if ''a'' = ''cb'' and ''b'' ≠ 0.

=== Of complex numbers ===
Dividing two [[complex number]]s (when the divisor is nonzero) results in another complex number, which is found using the conjugate of the denominator:
<math display="block">{p+iq \over r+is} = {(p+iq)(r-is) \over (r+is)(r-is)} = {pr+qs + i(qr-ps) \over r^2+s^2} = {pr+qs \over r^2+s^2} + i{qr-ps \over r^2+s^2}.</math>

This process of multiplying and dividing by <math>r-is</math> is called 'realisation' or (by analogy) [[Rationalisation (mathematics)|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:
<math display="block">{p e^{iq} \over r e^{is}} = {p e^{iq} e^{-is} \over r e^{is} e^{-is}} = {p \over r}e^{i(q - s)}. </math>

Again all four quantities ''p'', ''q'', ''r'', ''s'' are real numbers, and ''r'' may not be 0.

=== Of polynomials ===
One can define the division operation for [[polynomial]]s in one variable over a [[field (mathematics)|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 matrices ===
One can define a division operation for matrices. The usual way to do this is to define {{nowrap|1=''A'' / ''B'' = ''AB''<sup>−1</sup>}}, where {{nowrap|''B''<sup>−1</sup>}} denotes the [[inverse matrix|inverse]] of ''B'', but it is far more common to write out {{nowrap|''AB''<sup>−1</sup>}} explicitly to avoid confusion. An [[elementwise division]] can also be defined in terms of the [[Hadamard product (matrices)|Hadamard product]].

==== Left and right division ====
Because [[matrix multiplication]] is not [[commutative]], one can also define a [[left division]] or so-called ''backslash-division'' as {{math|1=''A'' \ ''B'' = ''A''<sup>−1</sup>''B''}}. For this to be well defined, {{math|''B''<sup>−1</sup>}} need not exist, however {{math|''A''<sup>−1</sup>}} does need to exist. To avoid confusion, division as defined by {{math|1=''A'' / ''B'' = ''AB''<sup>−1</sup>}} is sometimes called ''right division'' or ''slash-division'' in this context.

With left and right division defined this way, {{math|''A'' / (''BC'')}} is in general not the same as {{math|(''A'' / ''B'') / ''C''}}, nor is {{math|(''AB'') \ ''C''}} the same as {{math|''A'' \ (''B'' \ ''C'')}}. However, it holds that {{math|1=''A'' / (''BC'') = (''A'' / ''C'') / ''B''}} and {{math|1=(''AB'') \ ''C'' = ''B'' \ (''A'' \ ''C'')}}.

==== Pseudoinverse ====
To avoid problems when {{math|''A''<sup>−1</sup>}} and/or {{math|''B''<sup>−1</sup>}} do not exist, division can also be defined as multiplication by the [[Generalized inverse|pseudoinverse]]. That is, {{math|1=''A'' / ''B'' = ''AB''<sup>+</sup>}} and {{math|1=''A'' \ ''B'' = ''A''<sup>+</sup>''B''}}, where {{math|''A''<sup>+</sup>}} and {{math|''B''<sup>+</sup>}} denote the pseudoinverses of {{mvar|A}} and {{mvar|B}}.

=== Abstract algebra ===
In [[abstract algebra]], given a [[Magma (algebra)|magma]] with binary operation ∗ (which could nominally be termed multiplication), '''left division''' of ''b'' by ''a'' (written {{math|''a'' \ ''b''}}) is typically defined as the solution ''x'' to the equation {{math|1=''a'' ∗ ''x'' = ''b''}}, if this exists and is unique.  Similarly, '''right division''' of ''b'' by ''a'' (written {{math|''b'' / ''a''}}) is the solution ''y'' to the equation {{math|1=''y'' ∗ ''a'' = ''b''}}.  Division in this sense does not require ∗ to have any particular properties (such as commutativity, associativity, or an identity element).  A magma for which both {{math|''a'' \ ''b''}} and {{math|''b'' / ''a''}} exist and are unique for all ''a'' and all ''b'' (the [[Latin square property]]) is a [[quasigroup]].  In a quasigroup, division in this sense is always possible, even without an identity element and hence without inverses.

"Division" in the sense of "cancellation" can be done in any magma by an element with the [[cancellation property]].  Examples include [[Matrix (mathematics)|matrix]] algebras, [[quaternion]] algebras, and quasigroups.  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 (mathematics)|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'' (in the technical sense) have a division operation, refer to the page on [[division algebra]]s. In particular [[Bott periodicity]] can be used to show that any [[real number|real]] [[normed division algebra]] must be [[isomorphic]] to either the real numbers '''R''', the [[complex number]]s '''C''', the [[quaternion]]s '''H''', or the [[octonion]]s '''O'''.
<!-- Left vs right, definition of quasigroup, relationship to inverse elements in presence of associativity, examples: groups, octonions -->

=== Calculus ===
The [[derivative]] of the quotient of two functions is given by the [[quotient rule]]:
<math display="block">{\left(\frac fg\right)}' = \frac{f'g - fg'}{g^2}.</math>

== Division by zero ==
{{main|Division by zero}}
Division of any number by [[zero]] in most mathematical systems is undefined, because zero multiplied by any finite number always results in a [[multiplication|product]] of zero.<ref>http://mathworld.wolfram.com/DivisionbyZero.html {{Webarchive|url=https://web.archive.org/web/20181023234325/http://mathworld.wolfram.com/DivisionbyZero.html |date=2018-10-23 }} Retrieved October 23, 2018</ref> Entry of such an expression into most [[calculator]]s produces an error message. However, in certain higher level mathematics division by zero is possible by the [[zero ring]] and algebras such as [[Wheel theory|wheels]].<ref>Jesper Carlström. [https://www2.math.su.se/reports/2001/11/2001-11.pdf "On Division by Zero"] {{Webarchive|url=https://web.archive.org/web/20190817102241/https://www2.math.su.se/reports/2001/11/2001-11.pdf |date=2019-08-17 }} Retrieved October 23, 2018</ref> In these algebras, the meaning of division is different from traditional definitions.

== See also ==
{{NIE poster|Division in Mathematics}}
* [[Rod calculus#Division|400AD Sunzi division algorithm]]
* [[Division by two]]
* [[Galley division]]
* [[Inverse element]]
* [[Order of operations]]
* [[Repeating decimal]]
* [[Rule of division (combinatorics)]]

== Notes ==
{{Notelist}}

== References ==
{{Reflist}}

== External links ==
* [https://planetmath.org/division Planetmath division]
* [https://web.archive.org/web/20090416010325/http://webhome.idirect.com/~totton/abacus/pages.htm#Division1 Division on a Japanese abacus] selected from [http://webhome.idirect.com/~totton/abacus/ Abacus: Mystery of the Bead]
* [https://web.archive.org/web/20150503005432/http://webhome.idirect.com/%7Etotton/suanpan/sh_div/ Chinese Short Division Techniques on a Suan Pan]

{{Elementary arithmetic}}
{{Fractions and ratios}}
{{Hyperoperations}}
{{Authority control}}

[[Category:Division (mathematics)| ]]
[[Category:Elementary arithmetic]]