11.8 Derived Operation Relationships

Derived Operation Relationships explore how operations are built from existing ones, revealing structural connections in algebraic systems.

Derived Operation Relationships describes how subtraction and division, which are not commutative or associative on their own, can be rewritten as addition and multiplication using additive and multiplicative inverses, allowing the commutative, associative, and distributive properties to be applied to them indirectly.

Subtraction as Addition in Disguise

Subtraction Derived from Addition

Subtraction is defined as adding the additive inverse of the number being subtracted, meaning that every subtraction expression can be reinterpreted as an addition expression without changing its value.

a - b = a + (- b)

Rewriting Subtraction with an Additive Inverse

To rewrite a subtraction as an addition, the number following the subtraction sign is replaced by its additive inverse, and the subtraction sign itself is replaced by an addition sign, leaving the overall value of the expression exactly unchanged.

9 - 4 = 9 + (- 4) = 5

Division as Multiplication in Disguise

Division Derived from Multiplication

Division is defined as multiplying by the multiplicative inverse of the number being divided by, meaning that every division expression can be reinterpreted as a multiplication expression without changing its value, provided the divisor is not zero.

a \div b = a \times \frac{1}{b}

Rewriting Division with a Multiplicative Inverse

To rewrite a division as a multiplication, the divisor is replaced by its reciprocal, and the division sign itself is replaced by a multiplication sign, leaving the overall value of the expression exactly unchanged as long as the original divisor was not zero.

12 \div 4 = 12 \times \frac{1}{4} = 3

Applying Properties after Rewriting

Property Application after Derived-Operation Rewriting

Once a subtraction is rewritten as addition, or a division is rewritten as multiplication, the commutative, associative, and distributive properties of addition and multiplication can be applied to the rewritten expression, even though those properties do not directly apply to subtraction or division themselves.

5 - 3 + 2 = 5 + (- 3) + 2 = 2 + (- 3) + 5

Restriction Preservation during Rewriting

Rewriting division as multiplication by a reciprocal carries forward the original restriction that the divisor cannot be zero, since a reciprocal cannot be formed from zero; any restriction attached to the original operation must continue to apply to the rewritten form, since the two forms represent the same underlying calculation.

a \div 0 = a \times \frac{1}{0} remains undefined

Confirming the Rewriting Is Valid

Rewriting and Evaluation Result Consistency

Evaluating the original subtraction or division expression directly and evaluating its rewritten addition or multiplication form must always produce the identical numerical result; confirming this consistency for a chosen set of numbers verifies that the rewriting was carried out correctly and that no value was altered in the process of converting between the two equivalent forms.