Every operation on the real line has an "undo" button. If you add 7 to something, adding -7 takes you right back. If you multiply by 3, multiplying by \tfrac{1}{3} undoes it. Those undo buttons have names — additive inverse and multiplicative inverse — and they always land on the same two special numbers: 0 for addition, 1 for multiplication. Those two numbers are the identities. This satellite makes the undo-button idea physical so you never forget which is which.

Slide a number to reach the identity

Drag the red point. The figure reports the number you've chosen, and then the additive inverse (the number you'd add to land on 0) and the multiplicative inverse (the number you'd multiply by to land on 1).

Interactive number line showing additive and multiplicative inverses of a chosen numberAn interactive number line from minus eight to eight with integer tick marks. A red point is draggable along the line. Above the line, a readout panel reports the chosen value a, the additive inverse negative a which sums with a to zero, and the multiplicative inverse one over a which multiplies with a to one. When a is zero the multiplicative inverse is undefined. −8 −4 0 4 8 ↔ drag the red point
Drag the red point left or right and watch both inverses update. For every non-zero $a$, adding $-a$ lands on $0$, and multiplying by $1/a$ lands on $1$. Drag to exactly $0$ and the multiplicative inverse explodes — the undo button is broken at the single point where the operation itself fails.

The two identity numbers

What are 0 and 1 doing at the centre of all this? They are the two numbers that don't change their operand.

These are the only two numbers in all of \mathbb{R} with that "do-nothing" property under their respective operations. Why: suppose a + e = a for every a. Put a = 0: e = 0. So 0 is the unique additive identity. The multiplicative case is analogous with a = 1.

The identity is the target of every inverse. An additive inverse is the number you have to add to land on 0. A multiplicative inverse is the number you have to multiply by to land on 1. "Undoing" in arithmetic literally means "getting back to the identity."

Why inverse means undo

Think of each operation as a button that transforms a number. Pressing "+7" takes x to x + 7. Pressing "\times 3" takes x to 3x. To undo a press, you press a new button whose effect cancels the first.

To undo "+7": press "+(-7)". Then x + 7 + (-7) = x + (7 + (-7)) = x + 0 = x. Back where you started.

To undo "\times 3": press "\times \tfrac{1}{3}". Then 3x \times \tfrac{1}{3} = x \times (3 \times \tfrac{1}{3}) = x \times 1 = x. Back where you started.

In both cases, the undo button sends the applied operand to the identity — which is what causes the original x to re-emerge. The associative law is what lets you collapse the nested operations into a single identity move. Why: without associativity you couldn't "slide" the combining of 7 and -7 to happen first. Associativity is what makes the undo button work.

Subtraction and division are not new operations

Once you believe in inverses, there is a nice collapse. Subtraction is not a separate operation — it is addition of the additive inverse.

a - b \;=\; a + (-b)

And division is multiplication by the multiplicative inverse.

a \div b \;=\; a \times \tfrac{1}{b} \qquad (b \neq 0)

So the "four operations" you were taught in primary school are really two — addition and multiplication — plus the inverse-of operator. This is why the structural laws (commutative, associative, distributive) are always stated for + and \times: those are the only two operations that actually exist. Subtraction and division inherit their behaviour through inverses.

The one missing inverse

Every real number has an additive inverse. But not every real number has a multiplicative inverse — exactly one is missing: 0.

There is no real x with 0 \times x = 1. Every product with 0 is 0, not 1. So the "undo division by 0" button does not exist. This is the single reason "divide by zero" is undefined across all of arithmetic — it is not a bug; it is a missing inverse.

You can see this in the drag figure: as you slide a toward 0, the multiplicative inverse runs off to infinity on whichever side. The closer a gets to the forbidden value, the wilder the undo button has to swing to reach 1. At a = 0 itself, no finite number suffices.

A worked example: solving 5x + 3 = 18

Every equation you solve in school is just applying undo buttons in the right order.

One equation, two undo buttons

Start with 5x + 3 = 18. Your goal is to isolate x — strip away the +3 and the \times 5.

Step 1. Undo the +3 by adding its additive inverse, -3, to both sides.

5x + 3 + (-3) = 18 + (-3) \;\;\Longrightarrow\;\; 5x = 15

Why: 3 + (-3) = 0, the additive identity, which disappears. The left side collapses to 5x.

Step 2. Undo the \times 5 by multiplying both sides by its multiplicative inverse, \tfrac{1}{5}.

5x \times \tfrac{1}{5} = 15 \times \tfrac{1}{5} \;\;\Longrightarrow\;\; x = 3

Why: 5 \times \tfrac{1}{5} = 1, the multiplicative identity, which disappears. The left side collapses to x.

That is the entire grammar of linear equation solving: find the operations applied to x, and undo them in reverse order using additive and multiplicative inverses. No guessing.

Higher-level preview

The same undo-button language works far beyond arithmetic. Rotations have undo rotations (by the negative angle). Functions have inverse functions — \sqrt{\,} undoes squaring on the non-negative reals. Matrices have inverse matrices. Every time you meet an inverse in a future chapter, the pattern is the same: apply this thing next, and its operand collapses to an identity, which makes the outer expression simplify.

The identity is the thing that goes away when the inverse does its job. That is what "undo" means, from primary-school arithmetic through to linear algebra.

Related: Operations and Properties · Real Numbers and Their Properties · Algebra of Complex Numbers · Algebraic Identities