MaVS

Operation Properties

Definition

An operation is a function, represented by a symbol like "++" or "\cdot", that takes one or more inputs and maps them to an output. The most well-known operations, addition and multiplication, are called binary operations because they are functions with two inputs.

To understand the structure of operations, we can take a look at their different properties, like inverses and identities. In general, denote a binary operation that acts on two inputs aa and bb and produces an output cc by ab=ca*b=c.

Identities

The identity of an operation is whatever number "does nothing" when you apply it to some number.

Example: the additive identity is 00 because 0+a=a+0=a0+a=a+0=a for any number aa.
Example: the multiplicative identity is 11 because 1a=a1=a1 \cdot a = a \cdot 1 = a for any number aa.

In general, if ee is the identity for operation *, then ea=ae=ae * a = a * e = a for any aa.

Inverses

An inverse for an operation is a number that, when combined with another number using the operation, results in the identity.

Example: for addition, the inverse of a number aa is a-a because a+(a)=0a + (-a) = 0.
Example: for multiplication, the inverse of aa is 1a\frac{1}{a} (assuming aa is not zero) because a1a=1a \cdot \frac{1}{a} = 1.

In general, if aa has an inverse a1a^{-1} for operation *, then aa1=a1a=ea * a^{-1} = a^{-1} * a = e, where ee is the identity for *.

What about subtraction and division?

We learn subtraction and division almost as soon as we learn about addition and multiplication, right? Well, it turns out that subtraction isn't really that different from addition, and likewise with division and multiplication. Subtracting two numbers like aba-b can be thought of as adding aa to b-b. Similarly, dividing ab\frac{a}{b} can be thought of as multiplying aa by 1b\frac{1}{b}.

These relationships can be summarized as:

ab=a+(b)a - b = a + (-b)
ab=a1b\frac{a}{b} = a \cdot \frac{1}{b}

We can see that subtracting a number is the same as adding its (additive) inverse, and dividing a number is the same as multiplying by its (multiplicative) inverse. This shows that subtraction is the inverse operation of addition, and division is the inverse operation of multiplication.