Weird question about inverses

You may notice that subtraction can be seen as a special case of addition, i.e. $$a-b=a+(-b)$$ Thus by commutative law, $$a-b=a+(-b)=(-b)+a=-b+a$$ It is certainly not $b-a$.

Similarly, division is as a special case of multiplication, i.e. $$\frac{a}{b}=a\cdot(\frac{1}{b})$$ Where $\frac{1}{b}$ means the inverse element of $b$ with respect to multiplication.

Therefore, $$\frac{a}{b}\cdot{c}=a\cdot\frac{1}{b}\cdot{c}$$ However, $$\frac{a}{b\cdot{c}}=a\cdot\frac{1}{b\cdot{c}}=a\cdot\frac{1}{b}\cdot\frac{1}{c}$$ And they are certainly not equal.

Edited: Since you are motivated to pursue advanced math, I have a little idea to share.

I assume you have intuitively understood the arithmetic about nature numbers. It is based on this simple idea: the one-to-one correspondence between (abstract) nature numbers and (concrete) things. Then you easy find that:

$(+, 1)$ The commutative law of addition $$a+b=b+a$$

$(+, 2)$ The associative law of addition $$a+(b+c)=(a+b)+c$$

$(\times, 1)$ The commutative law of multiplication $$a\cdot{b}=b\cdot{a}$$

$(\times, 2)$ The associative law of multiplication $$a\cdot(b\cdot{c})=(a\cdot{b})\cdot{c}$$

$(\times, 3)$ The identity element of multiplication, i.e. $1$ $$a \cdot 1=1 \cdot a=a$$

$(+, \times)$ the distribution law of multiplication to addition $$a \cdot (b+c)=a\cdot {b}+a \cdot {c}$$

A possible intuitive approach has been shown by Paul Sinclair. And you also have noticed that addition and multiplication can be defined as recursive operation. That is, $$a+b:=a+\underbrace{1+1+1+...+1}_{b \text(terms)}$$ And $$a\cdot{b}:=\underbrace{a\cdot{a}...\cdot{a}}_{b \text(terms)}$$

You also have a nature idea to introduce the inverse operation, i.e. substitution and division. But you may find that $3-5$ is illegal in this stage (it has no definition), and neither is $\frac{3}{5}$.

But that is not hard for you, just noticed that you can define $\frac{3}{5}$ as a ratio: There certainly can be a thing $k$ such that $k\cdot{5}=3$, then we can denote $k$ by $\frac{3}{5}$. Here come the rational numbers! And you may just find

$(\times, 4)$ The reverse element of multiplication $$\text{For every number $a$ there is a number $b$ such that $a\cdot{b}=b\cdot{a}$}$$

And we can easily find that by definition, $b=\frac{1}{a}$. (the "number" here means nature number and positive rational number.)

However you are not satisfied. Sometimes you need to find a way to denote "nothing", so you need

$(+, 3)$ The identity element of addition, i.e. $0$ $$\text{For all $a$, $a+0=0+a=a$}$$

As far as I'm concerned, historically, in a relative long time, $0$ or similar notations were initially but for this kind of convenience.

A similar idea for convenience is negative number, it was originally used to express debt. With introducing negative numbers, we can derive:

$(+, 4)$ The reverse element of addition $$\text{For every number $a$ there is a number $b$ such that $a+b=b+a=0$}$$

And we can also easily find that by definition, $b=-a$.

Indeed, It took people a lot of time to accept the philosophical aspect of "nothingness", or to understand how debt times debt will be income (this was not philosophical confusion initially, but a result of wrong metaphor; however, it finally became one, but that is another story.)

But for mathematics, the most horrible thing is division by 0, it is certainly not legal. There is no help for it, so we have to ban it. Indeed, this is the only difference between addition and multiplication in abstract sense. If you consider about a more general case such as real numbers, the original, recursive idea will failed, or, at least, no more intuitive. Thus you have to define addition and multiplication in a more abstract way, that is, introducing the axioms of addition and multiplication, i.e. $(+,1)-(+,4),(\times,1)-{(\times,4)},(+,\times)$ I've mentioned before. If you compare $(+,1)-(+,4)$ with $(\times,1)-(\times,4)$, you will find they are nearly the same.

A set equipped with two operation satisfying those axioms will be the field which trb456 mentioned. (To say it clearly, the result of those operations must always within that set, and the identity element of addition can't be the same with that of multiplication.) We need this term for other reason: because there are a lot of other structures satisfying this definition. And modern algebra, though I am totally not familiar with it yet, seems like a study of mathematical structures.

This story is obviously not the real history of numbers and their arithmetic, and I just want to introduce a half-intuitive approach to understand those things. I omitted a lot of details, or maybe I just got things wrong. But I hope you enjoy it.


I can believe you don't understand it even though you are in Algebra II. The problem is not in you, but is a weakness of the educational system. Most people, including most of your teachers, view math as little more than a collection of problem-solving techniques that must be memorized. Only a few genuinely try to understand it. And what your teachers don't really understand themselves, they cannot adequately explain to you.

A basic way of seeing intuitively that addition and multiplication ought to be commutative, associative, and that multiplication distributes over addition is by counting. If you have a set of $n$ objects and a set of $m$ objects, with nothing in common, then if you combine them, you have a set of $n + m$ objects. This is how addtion is defined for natural numbers. Does it matter which collection you dump into the combined pile first? No. So it doesn't matter what order addition is done in. If you add in a third collection of $k$ objects, you get $(n + m) + k$, but again, it doesn't matter what order you combined them in, so this is the same as $n + (m + k)$, associativity.

Similarly, multiplication is repeated addition of the same size set. If you have $n$ sets of $m$ objects, you can arrange the objects in $n$ rows of $m$ objects each:$$\begin{matrix} x & x & ... & x \\ x & x & ... & x \\& ...\\x & x & ... & x \end{matrix}$$ The total count is $n \times m$. But note that rotating the array by 90 degrees leaves you with $m$ rows of $n$ objects each. I.e., $n \times m = m \times n$. If you have $k$ such sets of $n \times m$ objects, you can arrange them in $k$ layers, but again, which is a row, a column, or a layer, depends only on how you look at the array, not on the number of objects in it: $(n \times m) \times k = n \times (m \times k)$. And if in the $n \times m$ array, we divide up each row into the first $a$ and last $b$ objectsm then by the definition of addition we have that $a + b = m$, and further, we have divided the entire array into an $n \times a$ array and a $n \times b$ array, so $n \times (a + b) = n \times a + n \times b$, distributivity.

But with subtraction, we don't have these nice pictures to show commutivity, associativity, or distributivity. (There are ways of picturing them, but they don't give us the properties like the pictures for addition or multiplication do.) For these what properties they have are usually obtained from the inverse relationships: $n - m = n + (-m)$ and $ \frac{n}{m} = n \times m^{-1}$.


Maybe the question that you should ask yourself is: Why would you expect that you can interchange them? It's not that subtraction is special in that you cannot exchange the terms, it's rather that addition is special in that you can!

If I give you $a$ dollars and then I give you $b$ dollars, you have the same amount of money as if I first give you $b$ dollars and then $a$ dollars, namely $a+b$ dollars.

If I give you $a$ dollars and then take $b$ dollars away from you, it's clearly not the same as if I give you $b$ dollars and then take $a$ dollars away from you (unless $a=b$, of course). In the first case, your money has changed by $a-b$ dollars, in the second case it has changed by $b-a$ dollars.

Tags:

Arithmetic