# Is division purely an arithmetic operator? Is it not the combination of arithmetic operation and relational operation?

An algorithm for computing the ratio of two positive numbers is the following: determine the number of times that the divisor can be subtracted from the numerator, until the accumulated effect of the subtraction operations produces a value less than the denominator. So, to obtain the ratio (i.e. quotient), we perform an arithmetical operation (specifically, subtraction) and also a comparison (to find whether the net result of subtraction is less than the divisor or not).

In this sense, is the division algorithm that was described above purely arithmetical, or is it a combination of an arithmetical operation and a comparison operation?

• This has nothing whatsoever to do with division-algebras. Please read the tag descriptions before using them. If the tag description is all Greek to you, don't use it. It is guaranteed not to be appropriate. – Jyrki Lahtonen Nov 16 '19 at 8:02
• @Jyrki Lahtonen: If the tag description is all Greek to you, don't use it. It is guaranteed not to be appropriate. --- I see this type of inappropriate tag assignment very often and I've had an opinion what was behind it that is exactly what you said, but I never managed to verbalize my feeling anywhere close to how well you just now verbalized my feeling. The same thing happens in mathoverflow. For example, someone asks a question about how to get a common denominator of some two- or three-digit integers (explicitly given), (continued) – Dave L. Renfro Nov 16 '19 at 8:26
• and I'm left wondering how they thought their question might have been appropriate when it was obvious to me that essentially everything asked there would have been totally Greek to them. – Dave L. Renfro Nov 16 '19 at 8:26

One precise sense in which division is not "arithmetically built from" addition, multiplication, and subtraction (say) is that there is no way to compose those functions to produce division. This leads into the idea of distinguishing between kinds of definability, which is a fundamental concept in logic and universal algebra. In the relevant jargon we could say for example that in $$(\mathbb{R}; +,\times,-)$$ division is definable but not term definable.
Another sense in which division isn't "purely arithmetic" is that (again, in the context of $$\mathbb{R}$$) it is partial: division by zero isn't allowed (while by contrast addition, subtraction, and multiplication are total). This winds up having universal-algebraic consequences: fields do not form a variety - roughly, this means that the basic axioms of division can't be boiled down to simple equations.