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 a∗b=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 1⋅a=a⋅1=a1 \cdot a = a \cdot 1 = a for any number aa.

In general, if ee is the identity for operation ∗*, then e∗a=a∗e=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 a⋅1a=1a \cdot \frac{1}{a} = 1.

In general, if aa has an inverse a−1a^{-1} for operation ∗*, then a∗a−1=a−1∗a=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 a−ba-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:

a−b=a+(−b)a - b = a + (-b)
ab=a⋅1b\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.